Виталик Бутерин заявил, что «война скоростей» вокруг zkEVM полностью выиграна после вехи, достигнутой командой zkSync, подчеркнув, что теперь приоритеты разработки должны полностью сместиться в сторону безопасности. Он отметил, что показатели производительности были достигнуты в достаточной мере, и формальная верификация должна иметь приоритет в дальнейшем. Бутерин выделил три конкретных области, требующие формальной верификации: установление эквивалентности между арифметизацией и спецификацией Ethereum, введение жёсткого максимального ограничения на отношение стоимости верификации к газу блока, а также проверка безопасности самой системы доказательств. Эти меры направлены на обеспечение долгосрочной целостности протокола по мере созревания технологии нулевого разглашения.