La Fundación Ethereum ha presentado better.codes, una plataforma de investigación colaborativa que aplica la inteligencia artificial al fortalecimiento de la seguridad de los SNARK basados en funciones hash. La iniciativa forma parte del esfuerzo más amplio de Ethereum por preparar su infraestructura criptográfica para los posibles riesgos que planteen las computadoras cuánticas del futuro.

La plataforma se centra en koalaIRS12, un problema de proximidad de Reed-Solomon que desempeña un papel importante en los sistemas modernos de pruebas criptográficas. A través de better.codes, los investigadores pueden emplear agentes de IA para mejorar las cotas de solidez de las pruebas de koalaIRS12, y los resultados se someten luego a verificación mediante el kernel de Lean. Lean, un demostrador de teoremas y lenguaje de programación de código abierto desarrollado originalmente en Microsoft Research, verifica cada paso de la prueba contra un kernel confiable reducido, de modo que los resultados aceptados cuentan con garantías verificadas por máquina en lugar de depender únicamente de la revisión manual por pares.

La iniciativa busca establecer garantías de seguridad verificadas por máquina para koalaIRS12, mientras avanza hacia un objetivo de seguridad de 128 bits que podría fortalecer las defensas de Ethereum frente a futuras amenazas cuánticas. El proyecto fue desarrollado junto con Yukon y zkSecurity y se estructura en torno a contribuciones incrementales. Las soluciones aceptadas se acreditan tanto a los investigadores o solucionadores como a los modelos de IA involucrados en su elaboración, un enfoque pensado para fomentar la colaboración transparente y crear un registro verificable del progreso en la investigación criptográfica.

Ethereum se prepara para los riesgos de la computación cuántica

El giro de Ethereum hacia la criptografía postcuántica responde a la preocupación por la seguridad a largo plazo de los sistemas criptográficos que se utilizan actualmente en toda la blockchain. Las tecnologías basadas en curvas elípticas sustentan áreas como las firmas de transacciones, la infraestructura de consenso y las pruebas de conocimiento cero.

Una computadora cuántica suficientemente potente podría, en potencia, vulnerar algunas de estas primitivas criptográficas mediante el algoritmo de Shor, desarrollado por el matemático Peter Shor en 1994, que ataca los problemas de factorización y de logaritmo discreto que subyacen a gran parte de la criptografía de clave pública actual. Aunque este tipo de máquinas no son capaces hoy de romper, a escala práctica, la criptografía de uso generalizado en Ethereum —y los principales fabricantes de hardware como IBM y Google han publicado hojas de ruta que sitúan las computadoras cuánticas con tolerancia a fallas recién hacia fines de la década—, la posible amenaza futura ha impulsado a los desarrolladores de blockchain a investigar alternativas con antelación.

Por ello, Ethereum ha estado examinando enfoques criptográficos que se apoyan en funciones hash en lugar de en logaritmos discretos de curvas elípticas. Los SNARK y STARK basados en funciones hash se cuentan entre las tecnologías consideradas como parte de esta transición. Esta dirección es paralela al trabajo de estandarización más allá de la blockchain: en 2024, el Instituto Nacional de Estándares y Tecnología de Estados Unidos (NIST) finalizó sus primeras normas de criptografía postcuántica, entre ellas SLH-DSA, un esquema de firma digital basado en funciones hash, que llevó la criptografía basada en hash a un uso productivo aprobado por el gobierno. La iniciativa better.codes aborda uno de los desafíos asociados a ese esfuerzo al buscar garantías de seguridad más sólidas y formalmente verificadas para los códigos de proximidad de Reed-Solomon, códigos que sustentan varios sistemas de pruebas criptográficas y que resultan importantes para el desarrollo de tecnologías de conocimiento cero escalables.

Objetivo de seguridad de 128 bits

El desafío de better.codes se centra en alcanzar un nivel de seguridad de 128 bits para koalaIRS12, un objetivo acorde con la meta a más largo plazo de Ethereum de desarrollar sistemas criptográficos capaces de mantenerse seguros en un entorno postcuántico. La Fundación Ethereum anunció la iniciativa en X:

Learn more in the announcement ↓

— Ethereum Foundation (@ethereumfndn) August 20, 2026

Publicación completa: https://x.com/ethereumfndn/status/2090485717273043227?ref_src=twsrc%5Etfw

El trabajo da continuidad a la iniciativa Proximity Prize, lanzada a comienzos de 2026 con un fondo de investigación de 1 millón de dólares dedicado a problemas no resueltos relacionados con la decodificación de listas y el acuerdo correlacionado. Al expresar estos problemas criptográficos en Lean 4, la Fundación Ethereum busca que los resultados de investigación sean más fáciles de verificar mecánicamente y, potencialmente, acelerar el avance hacia construcciones criptográficas más confiables. La combinación del aprendizaje automático con la verificación formal de pruebas también refleja una tendencia de investigación más amplia: AlphaProof, de Google DeepMind, que alcanzó un desempeño de nivel de medalla de plata en la Olimpiada Matemática Internacional de 2024 al producir pruebas verificadas en Lean, ilustró cómo los sistemas de IA pueden contribuir a las matemáticas con verificación formal.

Una verificación más sólida de estos supuestos criptográficos podría beneficiar a los desarrolladores que construyen rollups, máquinas virtuales de conocimiento cero y otros sistemas de escalado que dependen cada vez más de la tecnología basada en SNARK.

Seguridad a largo plazo frente al impacto inmediato en el mercado

No se espera que la iniciativa tenga un efecto directo en el corto plazo sobre el precio de ETH. Su importancia radica, más bien, en la seguridad del protocolo de Ethereum a largo plazo y en la preparación para los riesgos tecnológicos que podrían surgir a medida que se desarrolle la computación cuántica.

Los esfuerzos recientes en todo el ecosistema de Ethereum también han puesto un énfasis mayor en la seguridad postcuántica, incluidas propuestas que involucran pruebas STARK recursivas y la creación de un equipo de seguridad dedicado a las amenazas relacionadas con la computación cuántica. Para los desarrolladores y proveedores de infraestructura, estos avances indican que la resiliencia criptográfica se está convirtiendo en una consideración cada vez más importante a medida que las tecnologías de conocimiento cero se expanden en la industria blockchain.

Se prevé que la plataforma better.codes evolucione más allá de su desafío inicial, y la Fundación Ethereum planea añadir problemas de investigación adicionales bajo reglas del programa que abarcan la elegibilidad, la evaluación y los premios. Los investigadores pueden participar iniciando sesión con GitHub, accediendo al repositorio correspondiente y aportando soluciones al desafío de koalaIRS12.

Según informes, la iniciativa representa un esfuerzo por llevar la investigación postcuántica más allá de las discusiones teóricas y hacia una implementación verificable de manera independiente. Al combinar la investigación asistida por IA con la verificación formal en Lean, better.codes podría ofrecerle a Ethereum una vía más estructurada hacia sistemas criptográficos diseñados para resistir las amenazas de la futura era cuántica.

Fuente: CoinTrust