L'IA découvre un défaut de Zcash vieux de 4 ans qui aurait pu frapper…

Le modèle Claude Opus 4.8 d'Anthropic, déployé par le développeur à but non lucratif de Zcash, Shielded Labs, a découvert un bug logique vieux de quatre ans dans le réseau Zcash qui aurait pu permettre à un attaquant de frapper des ZEC contrefaits illimités. La vulnérabilité a depuis été corrigée, mais la divulgation a fait chuter le ZEC de près de 38 % en 24 heures et a déclenché une prise de conscience plus large concernant les défauts cachés dans la crypto et la finance traditionnelle.

Pourquoi c'est important

L'incident est interprété comme une preuve de concept pour une nouvelle classe de découverte de vulnérabilités assistée par l'IA — et la surface de menace s'étend bien au-delà de Zcash. Le PDG de SingularityNET, Ben Goertzel, a déclaré à CoinDesk que des erreurs logiques similaires sont "très probablement" présentes dans d'autres réseaux crypto et que "les infrastructures logicielles des banques et d'autres institutions centralisées sont également très susceptibles d'incarner de graves bugs à découvrir par des outils d'IA dans un avenir proche." Le co-fondateur de CertiK, Ronghui Gu, a décrit la dynamique comme une guerre asymétrique : les hackers motivés par le profit peuvent brûler une puissance de calcul IA concentrée sur une seule cible de contrat intelligent, tandis que les entreprises de sécurité doivent défendre des centaines de clients simultanément.

Impact sur le marché

La chute de 38 % du ZEC en une seule journée illustre à quelle vitesse les vulnérabilités révélées par l'IA peuvent revaloriser un token, même lorsque le bug est corrigé avant exploitation. Le consensus sur la solution proposé par Haseeb Qureshi de Dragonfly, Goertzel, Vitalik Buterin et le PDG de ZODL, Josh Swihart, converge vers la vérification formelle — des preuves mathématiques qui garantissent la correction du code par construction. Zcash a inscrit la vérification formelle dans sa feuille de route. La question plus large pour chaque pile logicielle financière critique, qu'elle soit crypto ou traditionnelle, est de savoir si l'industrie peut mettre à l'échelle ces défenses plus rapidement que les attaquants alimentés par l'IA ne peuvent trouver le prochain défaut.