El modelo Claude Opus 4.8 de Anthropic, desplegado por el desarrollador sin ánimo de lucro de Zcash, Shielded Labs, descubrió un error lógico de cuatro años en la red de Zcash que podría haber permitido a un atacante acuñar ZEC falsificado ilimitado. La vulnerabilidad ya ha sido corregida, pero la divulgación hizo que ZEC cayera casi un 38% en 24 horas y provocó una reflexión más amplia sobre los fallos ocultos en las finanzas tradicionales y en el mundo cripto.
Por qué es importante
El incidente se interpreta como una prueba de concepto para una nueva clase de descubrimiento de vulnerabilidades asistido por IA, y la superficie de amenaza se extiende mucho más allá de Zcash. El CEO de SingularityNET, Ben Goertzel, dijo a CoinDesk que errores lógicos similares son "muy probables" que estén ocultos en otras redes cripto y que "las infraestructuras de software de los bancos y otras instituciones centralizadas también son muy propensas a albergar errores graves que serán encontrados por herramientas de IA en un futuro cercano." El cofundador de CertiK, Ronghui Gu, enmarcó la dinámica como una guerra asimétrica: los hackers motivados por el lucro pueden utilizar un gran poder de computación de IA en un único objetivo de contrato inteligente, mientras que las empresas de seguridad deben defender a cientos de clientes simultáneamente.
Impacto en el mercado
La caída del 38% de ZEC en un solo día ilustra cuán rápido pueden revalorizarse los tokens debido a vulnerabilidades divulgadas por IA, incluso cuando el error es corregido antes de su explotación. La solución consensuada de Haseeb Qureshi de Dragonfly, Goertzel, Vitalik Buterin y el CEO de ZODL, Josh Swihart, converge en la verificación formal: pruebas matemáticas que garantizan la corrección del código por construcción. Zcash ha incluido la verificación formal en su hoja de ruta. La pregunta más amplia para cada pila de software financiero crítico, ya sea cripto o tradicional, es si la industria puede escalar esas defensas más rápido de lo que los atacantes potenciados por IA pueden encontrar el siguiente fallo.