Investigadores de Ethereum compiten por cerrar la brecha de seguridad zkEVM antes del objetivo de diciembre

El concurso better.codes de Ethereum ha convertido una brecha de prueba criptográfica en una medición pública y reproducible que los investigadores pueden impulsar desde ambos lados.

A las 15:44:47 UTC del 21 de agosto, la tabla de clasificación en vivo mostraba un certificado inferior de 63.99 bits y un certificado superior de 116.13 bits para koalaIRS12. Tras nueve envíos promovidos de siete solucionadores, quedan 52.14 bits sin resolver entre ambos límites.

KoalaIRS12 es un perfil de parámetros fijo para una reducción Reed–Solomon entrelazada utilizada en la investigación de sistemas de prueba. Las preguntas de proximidad Reed–Solomon de este tipo son fundamentales y no periféricas: FRI, el Fast Reed–Solomon IOP of Proximity, es la técnica que STARKs y otros SNARKs basados en hash utilizan para comprobar si una cadena comprometida se encuentra cerca de un polinomio de grado bajo. El repositorio del desafío define su puntuación como una cantidad de verificación puntual y excluye expresamente interpretarla como menos el log2 de la solidez del sistema completo o como la seguridad de todo el protocolo. Lo que los investigadores tienen ahora es una medida pública de la distancia entre lo que el desafío ha demostrado seguro y lo que su certificado superior todavía considera inseguro.

Lo que demuestra la tabla de clasificación

El concurso ejecuta dos pistas diseñadas para cerrar el intervalo desde direcciones opuestas.

La pista de solidez eleva el certificado inferior. En un radio certificado, un envío exitoso demuestra que el límite de error de reducción ejecutable del punto de referencia cumple con el objetivo codificado y luego traduce ese radio a la puntuación mostrada en la tabla.

La pista de ataque reduce el certificado superior. Su teorema certifica un sufijo inseguro bajo la condición de densidad del conjunto ganador del punto de referencia, y el repositorio cubre ese sufijo directamente porque la formalización asume que no existe un teorema de monotonía para la densidad del conjunto ganador. La puntuación de la pista del certificado superior describe el límite formal para koalaIRS12; un costo de ataque sobre Ethereum requeriría un análisis separado de todo el sistema.

Según el anuncio de lanzamiento de la Fundación Ethereum, la declaración del teorema, el punto de parámetros y el entorno de verificación están fijados. Cada envío exporta el teorema requerido, un comparador coteja esa declaración con el objetivo y el kernel de Lean verifica la prueba antes de su promoción. Lean es un demostrador interactivo de teoremas cuyo pequeño kernel de confianza verifica mecánicamente cada paso de la prueba. Un resultado aceptado demuestra el teorema enviado dentro de ese entorno fijado.

La garantía de producción va más allá. También debe cubrir la completitud del modelo, los supuestos incorporados en sus definiciones, la fidelidad de la implementación y la composición de componentes analizados por separado. La revisión de mayo de la Fundación sobre un esfuerzo de verificación formal en SP1, una zkVM desarrollada por Succinct, muestra por qué esas capas adicionales importan: las especificaciones y las declaraciones de teoremas son código, las entradas y las versiones requieren una fijación reproducible, y los resultados a nivel de componente requieren un razonamiento más amplio antes de poder respaldar conclusiones sobre un sistema completo.

Un artículo académico separado de Gal Arnon, Dan Boneh y Giacomo Fenzi identifica la decodificación por listas, las brechas de proximidad Reed–Solomon, el acuerdo correlacionado y el acuerdo mutuo correlacionado como preguntas abiertas para los sistemas de prueba sucintos. Publicado antes de la instantánea actual de la tabla de clasificación, explica la importancia de esta familia de problemas sin evaluar las puntuaciones de hoy.

La Fundación enmarca better.codes como una ruta de investigación con verificación mecánica para la seguridad de los SNARK basados en hash, y mejorar los certificados de koalaIRS12 afinaría una reducción dentro de esa agenda. El certificado de 116.13 bits tiene el mismo alcance limitado: se aplica al punto de parámetros codificado en el desafío, mientras que otras elecciones de parámetros, construcciones y componentes del sistema siguen siendo preguntas de investigación separadas.

El formato de dos lados es lo que hace informativo al intervalo. Cada promoción cambia un límite verificable y el teorema fijado mantiene comparables los resultados sucesivos.

La brecha respecto al objetivo de diciembre de Ethereum

La hoja de ruta de seguridad zkEVM de diciembre de 2025 de la Fundación exigía una seguridad demostrable de 128 bits —una barra que convencionalmente se interpreta como un ataque que requiere del orden de 2^128 operaciones— junto con un tamaño final de prueba de 300 KiB o menos y un argumento formal de solidez para la arquitectura de recursión. Una actualización de febrero sobre el sprint de seguridad trasladó el plazo de M3 a principios de diciembre de 2026 y alineó el argumento de seguridad de la arquitectura con una entrega del 1 de diciembre. La hoja de ruta pide a los equipos que conecten los límites de los componentes con un paquete de sistema auditable.

Para koalaIRS12, un certificado inferior que alcance el objetivo codificado de 128 bits resolvería el lado de solidez del punto de referencia en su punto de parámetros fijo. Una afirmación de zkEVM de producción necesitaría además una contabilidad de solidez en cada componente relevante, el cumplimiento del tamaño de prueba, una topología de recursión documentada, un argumento sobre cómo se componen sus partes y evidencia de que las especificaciones coinciden con las implementaciones.

La página pública de progreso de la Fundación, sincronizada por última vez el 20 de agosto, enumera los resultados de preparación de zkVM y de cumplimiento de ISA, y menciona la generación de pruebas en tiempo real y la integración de soundcalc como criterios. Sus tablas renderizadas no contienen ningún marcador de finalización para el paquete completo de principios de diciembre y guardan silencio sobre el trabajo rastreado en otros lugares.

Una actualización de mayo sobre pruebas de ejecución opcionales describió una fase no crítica para el consenso en la que las pruebas zkEVM complementan las pruebas de mainnet mientras que la reejecución ordinaria del cliente de ejecución sigue impulsando la atestación. Ese papel opcional mantiene la consecuencia inmediata de la tabla de clasificación en el ámbito de la investigación: el movimiento en los certificados cambia la evidencia disponible para futuros argumentos de seguridad sin alterar la ruta actual de validación crítica para el consenso de Ethereum.

En better.codes, los envíos de solidez pueden elevar el certificado inferior de 63.99 bits y los envíos de ataque pueden reducir el certificado superior de 116.13 bits. A lo largo de la hoja de ruta zkEVM, los equipos deben publicar la contabilidad a nivel de sistema, los tamaños de prueba, los argumentos de recursión y la evidencia de implementación requeridos para la revisión de principios de diciembre.

Por ahora, el intervalo de 52.14 bits se mantiene como una medida viva del trabajo inconcluso en koalaIRS12. El caso de producción de 128 bits de Ethereum dependerá de cómo esa evidencia de componentes encaje en la prueba más amplia.

Fuente: CryptoNews