Vitalik Buterin afirmó que la “guerra de velocidad” de las zkEVM se ha ganado por completo tras un hito alcanzado por el equipo de zkSync, y sostuvo que las prioridades de desarrollo deben ahora desplazarse íntegramente hacia la seguridad. Enfatizó que los referentes de rendimiento se han cumplido de manera suficiente y que la verificación formal debe tener prioridad de aquí en adelante. Buterin delimitó tres áreas específicas que requieren verificación formal: establecer la equivalencia entre la aritmetización y la especificación de Ethereum, imponer un límite máximo estricto a la proporción entre el coste de verificación y el gas del bloque, y verificar la seguridad del propio sistema de pruebas. Estas medidas tienen como objetivo garantizar la integridad del protocolo a largo plazo a medida que madura la tecnología de conocimiento cero.