Recientemente me topé con el concurso better.codes de Ethereum, que está ofreciendo a los investigadores una forma pública y reproducible de medir una brecha de prueba criptográfica en koalaIRS12.
Alrededor de las 15:44:47 UTC del 21 de agosto, la clasificación en vivo mostraba un certificado inferior de 63.99 bits y un certificado superior de 116.13 bits, dejando 52.14 bits sin resolver tras nueve envíos promovidos de siete solucionadores.
Lo que llamó mi atención es que koalaIRS12 es un perfil de parámetros fijo para una reducción intercalada de Reed–Solomon utilizada en la investigación de sistemas de pruebas. El repositorio del desafío también se cuida de definir su puntuación como una “cantidad de verificación puntual” y advierte explícitamente contra interpretarla como el logaritmo negativo de la solidez de todo el sistema o como seguridad de protocolo completa.
El concurso ataca la brecha desde dos direcciones.
En la vía de solidez, los investigadores intentan elevar el certificado inferior. Un envío exitoso prueba que el acotamiento de error de reducción ejecutable del benchmark cumple con el objetivo codificado y luego asigna ese radio certificado a la puntuación en la clasificación.
En la vía del ataque, los investigadores intentan reducir el certificado superior. Su teorema identifica un sufijo inseguro bajo la condición de densidad del conjunto ganador del benchmark. El repositorio cubre ese sufijo de forma directa porque su formalización asume “no hay un teorema monótono para la densidad del conjunto ganador”.
Para mí, la distinción importante es que el certificado superior describe un límite formal para koalaIRS12, no un costo de ataque en Ethereum. Convertir ese resultado en una afirmación sobre un sistema de producción requeriría un análisis separado de seguridad de todo el sistema.
La Fundación Ethereum afirma que el enunciado del teorema, el punto de parámetros y el banco de verificación están fijados. Cada envío exporta el teorema requerido, un comparador lo verifica frente al objetivo y el núcleo de Lean valida la prueba antes de que el resultado se promocione.
Eso hace que cada resultado aceptado sea significativo: prueba el teorema enviado dentro del entorno fijado. Pero la garantía para producción aún requiere comprobar la completitud del modelo, las suposiciones incorporadas en sus definiciones, la fidelidad de 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 de SP1 destaca por qué esas capas importan. Las especificaciones y los enunciados de los teoremas son código en sí mismos; las entradas y las versiones necesitan fijación reproducible, y las pruebas a nivel de componente requieren un razonamiento más amplio antes de que puedan sustentar conclusiones sobre un sistema completo.
También encontré un artículo académico de Gal Arnon, Dan Boneh y Giacomo Fenzi que identifica la decodificación por listas, las brechas de proximidad de Reed–Solomon, el acuerdo correlacionado y el acuerdo correlacionado mutuo como preguntas abiertas para sistemas de pruebas concisas. El artículo es anterior a la instantánea actual de la clasificación, por lo que no evalúa las puntuaciones de hoy, pero ayuda a explicar por qué este campo de investigación es importante.
En última instancia, veo a better.codes como una vía de investigación verificable por máquina hacia una seguridad de SNARK basada en hashes más sólida. Mejorar los certificados koalaIRS12 afinaría una reducción dentro de esa agenda más amplia.
El certificado de 116.13 bits tiene un alcance específico: se aplica al punto de parámetros codificado en el desafío. Otras elecciones de parámetros, construcciones y componentes del sistema permanecen como preguntas de investigación separadas.
Lo que hace que la clasificación actual sea especialmente interesante para mí es el movimiento de doble sentido. Cada promoción cambia un límite verificable, mientras que el teorema fijado mantiene comparables los resultados sucesivos. Eso convierte una brecha criptográfica abstracta en algo que los investigadores pueden atacar, verificar y medir públicamente.
