La Fundación Ethereum lanza el desafío evm.fast para verificar los límites de bloque
Machine translatedView English original
Reading sizeRead report ↓
Loading image
El resultado del desafío podría mejorar la seguridad y la eficiencia de Ethereum al establecer costos de verificación predecibles y mitigar los riesgos de ataque.
Dado Ruvic 2
Un desafío abierto pide a los colaboradores que demuestren un límite finito del peor caso de pasos para la verificación de bloques de Ethereum en un modelo RISC-V
Lun 2 nov 2026 · 23:34 EST · 3 min de lectura
En Tecnología
Compartir
La Ethereum Foundation ha abierto un desafío técnico en evm.fast con un objetivo poco habitual. La mejor puntuación actual es infinito.
La tarea consiste en demostrar un límite en el peor de los casos sobre cuánta computación se necesita para verificar un bloque de Ethereum. Cualquier respuesta finita, respaldada por una prueba verificada por máquina, supera el récord existente.
Cómo funciona la puntuación
El desafío mide un número llamado K. K es el límite superior certificado de pasos de ejecución para un modelo RISC-V de 64 bits, aplicado a cada entrada que abarca el desafío. Los pasos de inicio cuentan para el total, de modo que los participantes no pueden omitir discretamente el calentamiento.
El modelo se ejecuta a través de Flapjack. Flapjack es una adaptación a Lean 4 del compilador Pancake, creada para una arquitectura RISC-V de 64 bits. Lean 4 es un asistente de demostración, un software que verifica demostraciones matemáticas línea por línea. RISC-V es un conjunto de instrucciones abierto, el vocabulario básico que entiende un procesador.
El programa de referencia, compilado por el compilador verificado Flapjack, ya demuestra que la verificación de bloques termina eventualmente. Lo que no demuestra es una cota uniforme, un límite máximo fijo que se cumpla en todas las entradas. Por eso el programa de referencia declara una puntuación de ∞.
El desafío se presenta como abierto a colaboradores. No se han anunciado premios económicos, plazos ni plataformas de envío.
Por qué importan los límites del peor caso para la prueba zk
El esfuerzo encaja en la agenda más amplia de pruebas de conocimiento cero de la Fundación. Una prueba de conocimiento cero permite que una parte demuestre que un cálculo se realizó correctamente sin que el verificador tenga que rehacerlo por completo. Los sistemas que generan estas pruebas para programas generales se denominan zkVM. Muchos de ellos compilan el código hasta RISC-V.
Los objetivos de la Fundación para 2025 y 2026 incluyen la seguridad demostrable, la solidez de la recursión y los costos de prueba predecibles. La solidez de la recursión se refiere a las pruebas que verifican otras pruebas, las cuales deben mantenerse correctas a medida que se acumulan. Los costos de prueba predecibles son el punto donde este desafío interviene de forma más directa.
La velocidad ya ha mejorado notablemente en este ámbito. La latencia se ha reducido de aproximadamente 16 minutos a menos de 10 segundos para el 99% de los bloques de la red principal en hardware objetivo, en el contexto de pruebas en tiempo real de bloques completos de Ethereum.
Contexto sobre la verificación formal en Ethereum
El desafío se suma a otros trabajos en curso de la Fundación sobre estimación de seguridad, verificación de programas invitados y semántica de RISC-V en la ejecución de Ethereum. Un programa invitado es el código que ejecuta y prueba una zkVM, en este caso la lógica que verifica un bloque de Ethereum.
Qué significa esto
La prueba en tiempo real de bloques completos solo funciona si los probadores pueden presupuestar el bloque más difícil posible, no solo el típico. Un K demostrado otorga a ese presupuesto una base matemática en lugar de una estimación empírica.
También existe una dimensión de denegación de servicio. Si un atacante pudiera crear un bloque que requiera muchísimos más pasos de verificación de los esperados, los probadores podrían quedar rezagados. Un límite máximo certificado hace que ese tipo de sorpresa sea mucho más difícil de diseñar, porque el peor caso ya se conoce y está documentado.
Dado que la línea base se sitúa en el infinito, la primera entrada válida gana por defecto, incluso con un límite holgado. A partir de ahí, la verdadera competencia consiste en ajustar K hacia una cifra con la que los probadores puedan planificar realmente.
Divulgación: Este artículo fue editado por Estefano Gomez. Para obtener más información sobre cómo creamos y revisamos el contenido, consulte nuestra Política Editorial.
