Fundación Ethereum detalla avances en zkEVM y hoja de ruta para 2026

En Resumen

La Fundación Ethereum ha informado sobre mejoras en el rendimiento de zkEVM durante el último año y ahora está priorizando la seguridad y la verificación formal, estableciendo hitos para lograr una seguridad demostrable de 128 bits para finales de 2026.

La Fundación Ethereum, una organización sin fines de lucro dedicada a apoyar el desarrollo a largo plazo de Ethereum a través de investigaciones, tecnología e iniciativas comunitarias, ha publicado una actualización sobre el progreso de su ecosistema zkEVM, resumiendo un año de avances y delineando metas futuras.

Según el informe, la latencia para la prueba en tiempo real ha disminuido drásticamente de 16 minutos a 16 segundos, los costos se han reducido 45 veces, y los zkVMs ahora verifican el 99% de los bloques de Ethereum en menos de 10 segundos en hardware de destino. Aunque estas mejoras de rendimiento abordan los principales cuellos de botella, la seguridad sigue siendo una preocupación principal.

Muchos zkEVMs basados en STARK aún dependen de suposiciones matemáticas no probadas, y investigaciones recientes han cuestionado algunas de estas conjeturas, reduciendo el margen de seguridad efectivo. La Fundación Ethereum enfatiza que la seguridad demostrable sigue siendo esencial, apuntando a una seguridad de 128 bits como lo recomiendan los organismos de estandarización y lo validan los benchmarks computacionales, especialmente dado el potencial de que los atacantes exploten fallos de solidez en zkEVMs de Capa 1, lo que podría comprometer grandes cantidades de fondos.

Equilibrar la seguridad y el tamaño de la prueba es fundamental, ya que una mayor seguridad generalmente aumenta el tamaño de la prueba, que debe mantenerse manejable para su propagación en la red de Ethereum. Para abordar esto, la Fundación ha establecido tres hitos clave.

La Fundación Ethereum destaca que para finales de febrero de 2026, se espera que los equipos de zkEVM integren SoundCalc, una herramienta para estimar de manera consistente la seguridad basada en los límites criptográficos actuales y los parámetros de prueba. Para finales de mayo de 2026, el ecosistema aspira a lograr una seguridad demostrable de 100 bits con tamaños de prueba finales por debajo de 600 KiB y una descripción compacta de la arquitectura de recursión. Para finales de 2026, el objetivo es una seguridad demostrable de 128 bits, tamaños de prueba por debajo de 300 KiB y un argumento de seguridad formal para la arquitectura recursiva.

Los desarrollos criptográficos e ingenieriles recientes, incluyendo compromisos polinomiales compactos, técnicas avanzadas de recursión y composición estructurada de circuitos, hacen factibles estos hitos. Documentar la arquitectura y la solidez de la recursión es particularmente importante, ya que los zkEVMs modernos involucran diseños complejos de circuitos recursivos específicos del equipo que son esenciales para la seguridad del sistema en general.

La Fundación Ethereum Cambia su Enfoque a la Seguridad y Verificación Formal de zkEVM Antes del Hito H-star

Existe una razón estratégica para centrarse en la seguridad de zkEVM en esta etapa. Asegurar un sistema que todavía está en evolución es un desafío, pero una vez que las arquitecturas zkVM se estabilicen y los equipos alcancen los objetivos clave, los esfuerzos de verificación formal podrán realizarse completamente. Para el hito H-star, se espera que la capa del sistema de pruebas esté en gran medida definida—no de forma permanente, pero lo suficientemente estable para permitir la verificación formal de componentes críticos, finalizar las pruebas de seguridad y alinear las especificaciones con el código desplegado. Esta estabilidad es esencial para lograr zkEVMs de Capa 1 seguros.

Hace un año, la pregunta principal era si los zkEVMs podían probar transacciones lo suficientemente rápido, y ese desafío ya ha sido abordado. El enfoque actual es si pueden hacerlo de manera confiable y segura, y la confianza es alta en que así será. La Fundación Ethereum planea publicar una entrada en enero formalizando estos hitos, seguida de una actualización técnica que detalla las técnicas del sistema de pruebas para cumplir con los niveles de seguridad y tamaños de prueba objetivos. Ethproofs también se actualizará para reflejar el cambio hacia la énfasis en la seguridad junto con el rendimiento. El equipo de criptografía de la Fundación estará disponible durante todo este proceso. Con la carrera de rendimiento completada, la atención ahora se centra en fortalecer los cimientos.