Herzlichen Glückwunsch an das @zksync-Airbender-Team zu diesem Meilenstein.
An diesem Punkt halte ich den Wettlauf um Geschwindigkeit endgültig für entschieden, und die höchste Priorität für zkEVMs sollte sich nun vollständig auf die Sicherheit verlagern.
Für mich bedeutet das, formal zu verifizieren:
(i) die Äquivalenz der Arithmetisierung mit der Ethereum-Spezifikation
(ii) eine harte Obergrenze für (Kosten des Provers) / (Gasmenge im Block)
(iii) die Sicherheit des Proof-Systems selbst
https://firefly.social/post/x/2110011544360607842
An diesem Punkt halte ich den Wettlauf um Geschwindigkeit endgültig für entschieden, und die höchste Priorität für zkEVMs sollte sich nun vollständig auf die Sicherheit verlagern.
Für mich bedeutet das, formal zu verifizieren:
(i) die Äquivalenz der Arithmetisierung mit der Ethereum-Spezifikation
(ii) eine harte Obergrenze für (Kosten des Provers) / (Gasmenge im Block)
(iii) die Sicherheit des Proof-Systems selbst
https://firefly.social/post/x/2110011544360607842