Une vulnérabilité importante dans le réseau de confidentialité Zcash, non détectée pendant quatre ans, a récemment été découverte grâce au modèle d'IA Opus 4.8 d'Anthropic. Cette faille, qui aurait pu permettre la création illimitée de jetons contrefaits, a été corrigée, mais sa révélation a fait chuter le jeton Zcash de près de 38 % en 24 heures. Les experts avertissent que des vulnérabilités similaires pourraient exister dans d'autres cryptomonnaies et dans les systèmes bancaires traditionnels, potentiellement identifiables par des outils d'IA. Des personnalités éminentes de l'industrie de la crypto, telles que Haseeb Qureshi de Dragonfly et Ben Goertzel de SingularityNET, plaident pour l'adoption de la vérification formelle afin d'améliorer la sécurité des logiciels. Ce processus consiste à utiliser l'IA pour vérifier automatiquement des preuves mathématiques, ce qui pourrait prévenir de futures vulnérabilités. Cependant, la mise en œuvre de ces protections pose des défis, comme le souligne Ronghui Gu, PDG de CertiK, qui insiste sur la nécessité de défenses évolutives face à des menaces de plus en plus sophistiquées pilotées par l'IA.