Vitalik Buterin erklärte, dass der „Geschwindigkeitskrieg“ rund um zkEVM nach einem vom zkSync-Team erreichten Meilenstein vollständig gewonnen sei, und betonte, dass sich die Entwicklungsprioritäten nun vollständig auf die Sicherheit verlagern müssten. Er hob hervor, dass die Leistungs-Benchmarks hinreichend erfüllt seien und die formale Verifizierung künftig Vorrang haben sollte. Buterin skizzierte drei konkrete Bereiche, die einer formalen Verifizierung bedürfen: die Herstellung der Äquivalenz zwischen Arithmetisierung und der Ethereum-Spezifikation, die Durchsetzung einer strengen maximalen Obergrenze für das Verhältnis der Verifizierungskosten zum Block-Gas sowie die Überprüfung der Sicherheit des Beweissystems selbst. Diese Maßnahmen sollen die langfristige Protokollintegrität gewährleisten, während die Zero-Knowledge-Technologie reift.