Una vulnerabilidad significativa en la red de privacidad Zcash, no detectada durante cuatro años, fue recientemente descubierta utilizando el modelo de IA Opus 4.8 de Anthropic. La falla, que podría haber permitido la creación ilimitada de tokens falsificados, ha sido corregida, pero su revelación provocó que el token de Zcash cayera casi un 38 % en 24 horas. Los expertos advierten que vulnerabilidades similares pueden existir en otras criptomonedas y en los sistemas bancarios tradicionales, y que podrían ser identificadas por herramientas de IA. Figuras prominentes en la industria cripto, como Haseeb Qureshi de Dragonfly y Ben Goertzel de SingularityNET, abogan por la adopción de la verificación formal para mejorar la seguridad del software. Este proceso implica el uso de IA para verificar automáticamente pruebas matemáticas, lo que podría prevenir vulnerabilidades futuras. Sin embargo, implementar estas protecciones presenta desafíos, como destacó Ronghui Gu, CEO de CertiK, quien enfatiza la necesidad de defensas escalables contra amenazas cada vez más sofisticadas impulsadas por IA.