Fundación Ethereum cambia sus prioridades: seguridad en lugar de velocidad, 128 bits como requisito inmutable hasta 2026

zkEVM ecosistema ya ha resuelto el rompecabezas de la velocidad. En el último año, el tiempo de generación de pruebas se ha reducido de 16 minutos a 16 segundos, las comisiones han caído 45 veces, y la mayoría de los participantes en la red ahora verifican el 99% de los bloques en 10 segundos con hardware estándar. La Ethereum Foundation anunció oficialmente este logro el 18 de diciembre — la presión sobre la capacidad de transmisión finalmente cedió. Pero detrás del éxito en velocidad se esconde una crisis en fiabilidad.

De la velocidad a la fiabilidad: un momento de inflexión

Las matemáticas de muchas construcciones basadas en STARK han comenzado a desmoronarse en los últimos meses. Las suposiciones en las que se basaban los diseñadores han resultado ser insostenibles. Esto es especialmente cierto en el caso del “proximity gap” en los protocolos SNARK y STARK basados en hash — suposiciones que ya han sido refutadas por la comunidad académica. Resultado: la seguridad efectiva de algunos parámetros ha caído mucho por debajo de lo declarado.

La Ethereum Foundation concluye que la desconfianza matemática oculta — inaceptable para un sistema L1. En lugar de una estrategia de “seguridad condicional”, han establecido un requisito categórico: seguridad probada, con un conjunto de bits mínimo de 128. Esto alinea con los estándares académicos y la práctica criptográfica de por vida — un nivel que ni siquiera en teoría los atacantes podrán alcanzar.

La lógica es simple: si alguien falsifica una prueba zkEVM, reescribe todo el estado de L1, crea tokens de la nada, hace que el protocolo mienta. No es una vulnerabilidad común del contrato — es un colapso de la confianza en todo el sistema. Por eso EF insiste en un “colchón” de seguridad “indiscutible”.

Tres etapas de implementación con plazos estrictos

Primera etapa — febrero 2026:
Cada equipo zkEVM debe conectar su sistema de pruebas a “soundcalc” — una herramienta universal de cálculo de seguridad soportada por EF. En lugar de que cada proyecto declare su propia seguridad en bits basada en suposiciones únicas, todos trabajan con una misma línea. soundcalc se actualizará ante nuevas amenazas, garantizando la actualidad de las evaluaciones.

Segunda etapa — mayo 2026 (“Glamsterdam”): Seguridad mínima probada de 100 bits, tamaño final de las pruebas hasta 600 kilobytes, además de una explicación pública de la arquitectura de recursión de cada pila. Es una entrada más suave antes del requisito final — un objetivo intermedio que divide condicionalmente entre confiables y claramente insuficientes.

Tercera etapa — diciembre 2026 (“H-star”): Meta completa: seguridad probada de 128 bits, pruebas de tamaño no mayor a 300 kilobytes, justificación criptográfica formal de la topología de la recursión. En esta fase, la ingeniería pasa a la verificación formal — un mundo de pruebas, no de suposiciones.

Arsenal técnico para lograr lo imposible

La Ethereum Foundation no solo estableció requisitos — señalaron las herramientas que hacen posibles pruebas de 128 bits y 300 kilobytes.

WHIR — una nueva prueba de cercanía de Reed-Solomon, que también funciona como esquema de compromiso para polinomios multivariados. Comparado con construcciones FRI anteriores: pruebas 1,95 veces más pequeñas con el mismo nivel de seguridad, verificación varias veces más rápida. Esto garantiza resistencia post-cuántica sin penalizaciones en tamaño.

JaggedPCS — método que evita el llenado excesivo al codificar trazas como polinomios. Los verificadores reducen trabajo innecesario, manteniendo la concisión de los compromisos.

Grinding y topología de recursión bien estructurada — una búsqueda exhaustiva de parámetros del protocolo para encontrar pruebas más baratas y pequeñas dentro de la fiabilidad, además de esquemas multinivel donde cientos de pruebas pequeñas se agregan en una final con seguridad cuidadosamente fundamentada.

Equipos independientes, como Whirlaway, ya experimentan con WHIR para STARK multivariados con mayor eficiencia. La matemática evoluciona rápidamente, pero también se aleja de suposiciones que hace medio año parecían garantizadas.

Grandes apuestas, preguntas sin resolver

Si las pruebas se preparan en menos de 10 segundos y permanecen por debajo de 300 kilobytes, Ethereum podría aumentar radicalmente el límite de gas sin que los validadores domésticos tengan que volver a ejecutar cada transacción. En su lugar, verificarán una prueba compacta — un camino hacia un staking realista con alta capacidad de transmisión.

Pero la realidad aún no alcanza los entornos de prueba de EthProofs. La verificación en tiempo real — aún un estándar fuera de cadena, depende del hardware configurado y cargas controladas. La brecha con miles de validadores independientes que deben ponerlo en marcha en casa todavía es significativa.

Lo más difícil puede no ser la matemática en sí, sino la formalización de arquitecturas completas de recursión. Muchas zkEVM consisten en una docena de esquemas ensamblados con “pegamento” de código. Documentar y verificar la seguridad de estos stacks — una tarea completa para proyectos como Verified-zkEVM, que aún están en etapas iniciales.

Además, el conjunto actual de 100 bits puede ser revisado mañana si aparecen nuevas amenazas. soundcalc se actualiza constantemente, adaptándose a los avances en criptanálisis.

De la carrera por la velocidad a la carrera por la fiabilidad

Hace un año, la pregunta era: ¿pueden zkEVM probar lo suficientemente rápido? La respuesta ya está. Ahora la verdadera pregunta es: ¿pueden probar lo suficientemente confiablemente — a un nivel de seguridad que no dependa de suposiciones frágiles, con pruebas pequeñas para distribución P2P, con arquitecturas formalmente verificadas para cientos de miles de millones de dólares?

La carrera por la capacidad de transmisión ha terminado. La carrera por una seguridad inquebrantable apenas comienza.