Vitalik Buterin, fundador de Ethereum, ha descartado la idea de que la IA signifique el fin de la seguridad de las criptomonedas. En una publicación del miércoles en X, sostiene que modelos más sofisticados pueden hacer práctica la verificación formal en sistemas de software completos. Insiste en que el equilibrio aún favorece a los defensores.
«Es una opinión cada vez más común que el hackeo con IA significa que la ciberseguridad está condenada», escribió Buterin. «No estoy de acuerdo. Creo que la ciberseguridad favorece naturalmente a la defensa una vez que la gente se pone las pilas».
El argumento de Buterin sobre la verificación formal
El argumento principal que plantea Buterin es que la IA puede establecer la seguridad de software complicado mediante un teorema matemático. Cita la resolución por parte de la IA de ecuaciones famosamente difíciles como evidencia de que la tecnología puede manejar el razonamiento abstracto.
«Si la IA puede demostrar Navier-Stokes y el Último Teorema de Fermat, entonces la IA puede demostrar la afirmación ‘este programa es seguro’ como un teorema matemático», escribió. «Incluso si el programa es muy complicado».
La seguridad no es simple, dijo, pero la verdadera dificultad radica en definir qué significa «seguro» en primer lugar. Una vez que se establece una definición, la prueba encaja en su lugar.
La reciente racha de avances impulsados por la IA
En todo el sector cripto, los desarrolladores ya utilizan la IA para protegerse contra ataques mediante el escaneo de código, la prueba de exploits y la búsqueda de errores antes de que alguien más pueda aprovecharlos. Tanto la infraestructura de Ethereum como el software de Bitcoin han demostrado contener vulnerabilidades.
En mayo, el investigador de seguridad Taylor Hornby utilizó Claude Opus 4.8 de Anthropic para encontrar una falla de cuatro años en el pool de privacidad Orchard de Zcash que podría haber permitido la falsificación ilimitada e indetectable de ZEC. Los desarrolladores no encontraron evidencia de que se hubiera explotado antes de que la parcharan en junio.
Investigadores de la Fundación Ethereum informaron en julio que agentes de IA habían encontrado debilidades de seguridad en infraestructura clave de la red. Ese mismo mes, los ladrones vaciaron billeteras Coldcard mediante una falla de firmware antigua que debilitaba la generación de semillas, llevándose alrededor de 130 millones de dólares en Bitcoin. El fabricante de la billetera, Coinkite, sugirió que la IA pudo haber ayudado a encontrar el error.
A mediados de agosto, el peligro se había extendido por todo el ecosistema del software de Bitcoin. Boltz puso en pausa su servicio de intercambio, citando a presuntos atacantes que descubrían fallas más rápido de lo que sus desarrolladores podían corregirlas. Core Lightning confirmó que varias vulnerabilidades detectadas en informes generados por IA eran realmente reales. Un grupo de voluntarios conocido como Bitcoin Red Team empleó auditorías asistidas por IA para identificar 4.962 posibles debilidades en 390 proyectos.
Lo que viene para Ethereum
Ethereum pretende seguir un camino durante los próximos años que implica verificar programas completos con IA, según Buterin. Eso contrasta con la dependencia anterior de la IA para revisar solo componentes seleccionados.
«No hay futuro para las blockchains —especialmente las blockchains con escalabilidad y privacidad— sin hacer esto», dijo. «Necesitamos que el software sea realmente seguro. Y ya hemos hecho muchos avances».
La apuesta detrás de la posición de Buterin es que la inteligencia artificial eventualmente se hará cargo de la verificación formal de sistemas completos de software cripto, transformando la seguridad de un juego de adivinanzas en algo que puede demostrarse. Depende de que los constructores de software logren especificar su «desmadre» lo suficientemente bien como para que las máquinas puedan verificarlos.
Hay mucho en riesgo aquí. Si el hackeo con IA supera a sus defensas, las fallas descubiertas por investigadores como Hornby y el Red Team podrían salir a la luz antes de ser parcheadas. Buterin sostiene que ya existen los medios para evitar que eso ocurra, y que quienes poseen activos cripto están apostando a su despliegue exitoso.
Ha comenzado un concurso público, y aquellos encargados de la protección ahora están exponiendo sus argumentos abiertamente.
Recuadro de datos clave
- El descubrimiento de Taylor Hornby en mayo de una falla de cuatro años en Zcash Orchard
- Parche aplicado en junio
- Drenaje de la billetera Coldcard: aproximadamente 130 millones de dólares en Bitcoin
- El Red Team señaló 4.962 vulnerabilidades potenciales en 390 proyectos
Tabla comparativa
| Enfoque | Alcance | Estado actual |
|---|---|---|
| Auditorías asistidas por IA | Comprobaciones puntuales, informes de vulnerabilidades | Ampliamente implementado, encuentra fallas reales |
| Verificación formal | Demostrar que todo el sistema es seguro | Práctico, según Buterin, pero aún no generalizado |
Fuente: “Ethereum Founder Vitalik Buterin Says AI Won’t Doom Crypto Security”, Decrypt.
Recibe El Cuaderno.
Las mejores historias del día y cada veredicto nuevo, en español claro, en tu correo a las siete. Un correo al día, nada más.