Vitalik Buterin, zkSync ekibinin ulaştığı bir kilometre taşının ardından zkEVM "hız savaşının" tamamen kazanıldığını belirtti ve geliştirme önceliklerinin artık tamamen güvenliğe kayması gerektiğini vurguladı. Buterin, performans ölçütlerinin yeterince karşılandığını ve bundan böyle biçimsel doğrulamanın öncelikli olması gerektiğini de vurguladı. Buterin, biçimsel doğrulama gerektiren üç alanı sıraladı: aritmetizasyon ile Ethereum spesifikasyonu arasında eşdeğerliğin kurulması, doğrulama maliyetinin blok gazına oranı için katı bir üst sınırın uygulanması ve ispat sisteminin kendisinin güvenliğinin doğrulanması. Bu önlemler, sıfır bilgi teknolojisi olgunlaşırken uzun vadeli protokol bütünlüğünü sağlamayı amaçlıyor.