El cofundador de Ethereum, Vitalik Buterin, afirma que la IA no significa el fin de la ciberseguridad, argumentando en cambio que los modelos avanzados podrían ayudar a que el software cripto sea más difícil de vulnerar.

En una publicación de X el miércoles, Buterin argumentó que la IA no dará a los hackers una ventaja insuperable, añadiendo que los poseedores de criptomonedas —incluido él mismo, con aproximadamente el 90% de su patrimonio neto en cripto— están apostando a que las defensas de seguridad pueden mantenerse al día.

“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 la defensa una vez que la gente se organiza”.

Buterin argumentó que la IA podría hacer práctica la verificación formal —el uso de pruebas matemáticas para establecer que el software es seguro— incluso para sistemas complejos.

“Si la IA puede probar las ecuaciones de Navier-Stokes y el Último Teorema de Fermat, entonces la IA puede probar la afirmación ‘este programa es seguro’ como un teorema matemático”, escribió. “Incluso si el programa es muy complicado”.

En otras palabras, Buterin cree que la IA, lo suficientemente sofisticada como para resolver problemas matemáticos notoriamente difíciles, también podría probar que incluso el software complejo cumple con requisitos de seguridad claramente definidos.

Sin embargo, eso no significa que la seguridad sea fácil, dijo. La parte difícil es definir qué significa “seguro” en primer lugar.

Los desarrolladores de blockchain están utilizando cada vez más agentes de IA para escanear código, probar exploits y verificar errores antes de que los atacantes puedan actuar, y los investigadores han descubierto vulnerabilidades tanto en la infraestructura de Ethereum como en el software de Bitcoin.

Los desarrolladores en todo el espacio cripto están desplegando la IA de forma defensiva tras varios incidentes que avivaron los temores de que la IA estuviera dando una ventaja a los atacantes.

En mayo, el investigador de seguridad Taylor Hornby utilizó Claude Opus 4.8 de Anthropic para descubrir una falla de cuatro años en el fondo de privacidad Orchard de Zcash que podría haber permitido la falsificación ilimitada e indetectable de ZEC, aunque los desarrolladores no encontraron evidencia de que hubiera sido explotada antes de parchearla en junio.

La carrera entre atacantes y defensores se aceleró en julio, cuando investigadores de la Fundación Ethereum dijeron que agentes de IA habían descubierto vulnerabilidades en la infraestructura crítica de la red. Ese mismo mes, los atacantes comenzaron a vaciar billeteras Coldcard a través de una falla de firmware de hace años que debilitaba la generación de semillas, robando finalmente aproximadamente 130 millones de dólares en Bitcoin. El fabricante de Coldcard, Coinkite, dijo que la IA probablemente ayudó a identificar el error.

Para agosto, la amenaza se había extendido por todo el ecosistema de software de Bitcoin. Boltz suspendió su servicio de intercambio, diciendo que los atacantes sospechosos estaban encontrando fallas más rápido de lo que sus desarrolladores podían solucionarlas, mientras que Core Lightning confirmó que varias vulnerabilidades identificadas en informes generados por IA eran genuinas. En respuesta, el Equipo Rojo voluntario de Bitcoin utilizó auditorías asistidas por IA para señalar 4,962 vulnerabilidades potenciales en 390 proyectos.

Buterin dijo que la IA ahora puede verificar programas completos en lugar de componentes seleccionados, un enfoque que Ethereum planea seguir durante los próximos años.

“No hay futuro para las blockchains —especialmente las blockchains con escalabilidad y privacidad— sin hacer esto”, dijo. “Necesitamos hacer que el software sea realmente seguro. Y ya hemos logrado un gran progreso”.