Vitalik Buterin a déclaré que la « guerre de la vitesse » des zkEVM avait été entièrement remportée après une étape franchie par l’équipe zkSync, affirmant que les priorités de développement doivent désormais être entièrement tournées vers la sécurité. Il a souligné que les critères de performance ont été suffisamment atteints et que la vérification formelle doit désormais avoir la priorité. Buterin a identifié trois domaines spécifiques nécessitant une vérification formelle : établir une équivalence entre l’arithmétisation et la spécification Ethereum, imposer une limite maximale stricte au ratio entre le coût de vérification et le gas du bloc, et vérifier la sécurité du système de preuve lui-même. Ces mesures visent à garantir l’intégrité du protocole à long terme, alors que la technologie à divulgation nulle de connaissance arrive à maturité.