Tras un año de arduo trabajo, el ecosistema zkEVM ha logrado un salto de rendimiento, con el tiempo de prueba de bloques de Ethereum cayendo de 16 minutos a 16 segundos y los costos disminuyendo 45 veces. Los zkVMs participantes ahora pueden completar el 99 % de las pruebas de bloques de la red principal en menos de 10 segundos en 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 de los cuellos de botella de rendimiento, pero enfatizó que el verdadero desafío radica en la fiabilidad. La velocidad sin el respaldo de la seguridad se convertirá en una carga, y varias conjeturas matemáticas en las que se basa el zkEVM con el algoritmo STARK han sido refutadas en los últimos meses, lo que ha llevado a una disminución del nivel de seguridad.
La EF estableció previamente un objetivo integral para la prueba en tiempo real en julio, cubriendo múltiples dimensiones como latencia, hardware y seguridad, y ahora ha superado la prueba de referencia EthProofs.
Su cambio central radica en pasar de buscar el rendimiento a la seguridad comprobable. Está claro que el zkEVM de nivel L1 debe cumplir con el estándar de seguridad de 128 bits y alinearse con las especificaciones de cifrado predominantes. Debido a que la falsificación de pruebas puede conducir a riesgos fatales como la falsificación de tokens y la manipulación del estado de L1, el margen de seguridad no es negociable.
La EF publicó simultáneamente una hoja de ruta de seguridad en tres fases:
- Para fines de febrero de 2026, todos los equipos de zkEVM deben integrar sus sistemas de prueba con la herramienta de evaluación de seguridad soundcalc de la EF para unificar los estándares de cálculo de seguridad.
- El estándar Glamsterdam se logrará para fines de mayo, alcanzando objetivos transicionales como la seguridad comprobable de 100 bits.
- El objetivo final de H-star se completará para fines de diciembre, logrando una seguridad comprobable de 128 bits y proporcionando una demostración formal de seguridad de la topología recursiva.
Para lograr su objetivo, la EF menciona herramientas tecnológicas centrales como WHIR y JaggedPCS, que pueden mejorar la eficiencia optimizando la generación de pruebas y evitando el desperdicio de capacidad de cómputo, al tiempo que reducen el tamaño de las pruebas mediante técnicas como la topología recursiva.
Sin embargo, persisten múltiples desafíos: las pruebas en tiempo real aún no se han implementado en la cadena de bloques, y la efectividad real de los validadores es cuestionable; los parámetros de seguridad deben ajustarse dinámicamente a medida que se refutan las conjeturas matemáticas; se desconoce si algunos equipos podrán cumplir los objetivos a tiempo; los proyectos de verificación formal con arquitecturas recursivas aún están en etapas tempranas, y el ecosistema se desarrolla de manera desigual.
Vale la pena señalar que, una vez que el zkEVM cumpla con los requisitos, podrá respaldar a Ethereum para aumentar los límites de gas, aumentando así la capacidad de los bloques mientras se garantiza la viabilidad del staking, promoviendo que L1 se convierta en una capa de liquidación confiable y difuminando los límites entre la ejecución de L2 y L1.
Ahora que el sprint de rendimiento ha terminado, el problema central del ecosistema zkEVM ha cambiado a lograr pruebas de seguridad suficientemente fiables para respaldar activos valorados en cientos de miles de millones sin depender de conjeturas frágiles. La carrera de seguridad ha comenzado oficialmente y será el tema principal de Ethereum en 2026.
