El ecosistema zkEVM, tras un año de esfuerzos, ha logrado un salto de rendimiento: el tiempo de prueba de bloques de Ethereum se ha reducido drásticamente de 16 minutos a 16 segundos, con una reducción de costes de 45 veces. Los zkVM participantes ya pueden completar el 99% de las pruebas de bloques de la red principal en menos de 10 segundos en el hardware objetivo.
El 18 de diciembre, la Fundación Ethereum (EF) anunció la implementación del mecanismo de prueba en tiempo real y la eliminación del cuello de botella de rendimiento, pero enfatizó que el verdadero desafío radica en la confiabilidad. La velocidad sin soporte de seguridad se convertirá en una carga, y varias conjeturas matemáticas en las que se basan múltiples zkEVM con algoritmo STARK han sido refutadas en los últimos meses, lo que ha reducido el nivel de seguridad.
La EF estableció previamente en julio un objetivo integral de prueba en tiempo real, que abarca múltiples dimensiones como la latencia, el hardware y la seguridad, y que ya ha cumplido los estándares mediante las pruebas de referencia EthProofs.
El cambio central radica en la transición de buscar el rendimiento a priorizar la seguridad demostrable. Se ha definido claramente que los zkEVM de nivel L1 deben alcanzar el estándar de seguridad de 128 bits, alineándose con las especificaciones criptográficas predominantes, ya que la falsificación de pruebas podría conllevar riesgos críticos como la creación falsa de tokens o la manipulación del estado de L1, y el margen de seguridad no es negociable.
La EF publicó simultáneamente una hoja de ruta de seguridad en tres etapas:
- Antes de finales de febrero de 2026, todos los equipos de zkEVM deben conectar sus sistemas de prueba a la herramienta de evaluación de seguridad soundcalc de la EF, unificando el estándar de medición de seguridad;
- Lograr antes de finales de mayo el estándar Glamsterdam, alcanzando objetivos interinos como una seguridad demostrable de 100 bits;
- Completar antes de diciembre el objetivo final H-star, alcanzando una seguridad demostrable de 128 bits, y proporcionando argumentos de seguridad formalizados para la estructura topológica recursiva.
Para lograr estos objetivos, la EF mencionó herramientas técnicas clave como WHIR y JaggedPCS, que pueden mejorar la eficiencia optimizando la generación de pruebas y evitando el desperdicio de capacidad computacional, al tiempo que reducen la escala de las pruebas mediante técnicas como la topología recursiva.
Sin embargo, aún existen múltiples desafíos: las pruebas en tiempo real aún no se han implementado on-chain, y la efectividad real de los verificadores es cuestionable; los parámetros de seguridad deben ajustarse dinámicamente debido a la refutación de conjeturas matemáticas; se desconoce si algunos equipos podrán cumplir los plazos; y los proyectos de verificación formal para arquitecturas recursivas aún se encuentran en etapas tempranas, con un desarrollo desigual del ecosistema.
Es importante destacar que los zkEVM que cumplan con los estándares podrán permitir que Ethereum aumente el límite de Gas, mejorando la capacidad de los bloques mientras se garantiza la viabilidad del staking, impulsando a L1 como una capa de liquidación confiable y difuminando los límites entre la ejecución de L2 y L1.
Ahora que la carrera de rendimiento ha concluido, la premisa central del ecosistema zkEVM se ha transformado en lograr pruebas de seguridad lo suficientemente confiables, sin depender de conjeturas propensas a fallos, para soportar una escala de activos de billones de dólares. La competencia en seguridad acaba de comenzar y será el tema principal de Ethereum en 2026.
