Los investigadores de Ethereum compiten por cerrar una brecha de 52 bits en la seguridad criptográfica del zkEVM antes de una revisión en diciembre de 2026. La clasificación en directo del concurso better.codes, capturada a las 15:44:47 UTC del 21 de agosto, mostró un certificado de solidez de 63,99 bits y un certificado de ataque de 116,13 bits para koalaIRS12, dejando 52,14 bits sin resolver entre los dos resultados promovidos tras nueve envíos de siete solucionadores. koalaIRS12 es un perfil de parámetros fijo para una reducción Reed-Solomon intercalada utilizada en la investigación de sistemas de pruebas, no el zkEVM completo en sí. El intervalo abierto se sitúa muy por debajo del objetivo de seguridad demostrable de 128 bits de Ethereum para el sistema en general.
Por qué importa
Los certificados son límites verificados automáticamente dentro de un entorno Lean fijado, donde los envíos de solidez elevan el certificado inferior y los envíos de ataque reducen el certificado superior. Cada promoción mueve un límite reproducible, pero el marco prohíbe explícitamente interpretar cualquier certificado como una afirmación de solidez para todo el sistema. Un zkEVM de grado de producción necesitaría capas adicionales: completitud, las suposiciones integradas en las definiciones formales, la fidelidad entre las especificaciones y las implementaciones, y la composición de pruebas entre componentes analizados por separado.
Una revisión de mayo de un esfuerzo de verificación formal de SP1 mostró por qué importan esas capas. Las especificaciones y los enunciados de teoremas son también código, los componentes necesitan fijado de versiones, y los resultados individuales requieren un razonamiento más amplio antes de poder respaldar una afirmación de sistema. Un artículo académico de Gal Arnon, Dan Boneh y Giacomo Fenzi señaló por separado la descodificación de listas, las brechas de proximidad de Reed-Solomon y las cuestiones de acuerdo correlacionado como problemas abiertos para los sistemas sucintos de pruebas.
Impacto en el mercado
La hoja de ruta de seguridad del zkEVM de diciembre de 2025 pedía una seguridad demostrable de 128 bits, tamaños de prueba iguales o inferiores a 300 KiB, y un argumento formal de solidez para la arquitectura de recursión. Una actualización de febrero aplazó la fecha límite de M3 a principios de diciembre de 2026, con el argumento de seguridad de la arquitectura ahora anclado a un entregable del 1 de diciembre. Para koalaIRS12 por sí solo, un certificado inferior que alcanzase los 128 bits resolvería solo el lado de solidez de este referente en su punto de parámetros fijo.
Preguntas frecuentes
-
¿Qué es la brecha de 52 bits en el zkEVM de Ethereum?
Es el intervalo sin resolver entre un certificado de solidez de 63,99 bits y un certificado de ataque de 116,13 bits para el referente koalaIRS12, capturado en la clasificación de better.codes a las 15:44:47 UTC del 21 de agosto tras nueve envíos de siete solucionadores.
-
¿Qué es koalaIRS12?
koalaIRS12 es un perfil de parámetros fijo para una reducción Reed-Solomon intercalada utilizada en la investigación de sistemas de pruebas del zkEVM. El concurso better.codes puntúa los certificados frente a este único perfil, no frente al zkEVM completo de Ethereum.
-
¿Qué es el hito M3 de diciembre de 2026?
M3 se estableció originalmente en la hoja de ruta de seguridad del zkEVM de diciembre de 2025 y se aplazó en febrero. Pide una seguridad demostrable de 128 bits, tamaños de prueba iguales o inferiores a 300 KiB, y un argumento formal de solidez para la arquitectura de recursión antes de principios de diciembre de 2026.
-
¿Afecta la brecha de 52 bits a la mainnet de Ethereum hoy?
No. Una actualización de la Fundación de mayo enmarcó las pruebas zkEVM como pruebas opcionales no críticas para el consenso. La atestación de la mainnet sigue dependiendo de la reejecución ordinaria del cliente de ejecución, mientras que las pruebas zkEVM complementan las pruebas.
-
¿Cómo cierra el concurso better.codes el intervalo?
Los envíos de solidez elevan el certificado inferior hacia el objetivo codificado de 128 bits, mientras que los envíos de ataque reducen el certificado superior. Cada promoción aceptada es un cambio de límite verificado automáticamente dentro de un entorno Lean fijado.
Crypto News
CoinDesk
Crypto Rank News
TheBlock
CoinTelegraph
WuBlockchain