Un bug de solidité a failli compromettre l'intégrité de l'offre de ZEC — hard fork…

Un bug de solidité dans le circuit de preuve à connaissance nulle d'Orchard de Zcash — découvert par le chercheur de Shielded Labs, Taylor Hornby, en utilisant Opus 4.8 d'Anthropic avec un dispositif IA personnalisé — aurait pu permettre la création illimitée de ZEC contrefaits dans le pool protégé sans détection. Hornby a découvert la faille le 29 mai ; les ingénieurs de ZODL l'ont confirmée en quelques heures. Zcash a exécuté un hard fork d'urgence à bloc 3,363,426 le 2 juin, puis le hard fork NU6.2 à bloc 3,364,600 le 3 juin, restaurant la fonctionnalité complète d'Orchard en moins de cinq jours. ZEC est tombé d'un sommet intrajournalier de 611 $ à environ 421 $ après la divulgation.

Pourquoi c'est important

L'incident se situe à l'intersection de deux tendances accélérées : la génération d'exploits assistée par IA atteignant le niveau de preuve et d'argent, et l'impossibilité structurelle d'auditer l'historique protégé d'une pièce de confidentialité après un bug de solidité. La position officielle de Zcash est que le plafond d'offre de 21 millions de ZEC reste intact, protégé par le mécanisme de tourniquet qui suit les flux de valeur agrégés entre les pools. Shielded Labs adopte une position plus stricte — les propriétés de confidentialité d'Orchard rendent cryptographiquement impossible de prouver que l'offre n'a jamais été altérée pendant la fenêtre d'exposition. Une mise à niveau proposée acheminerait les pièces Orchard existantes à travers la comptabilité du tourniquet, convertissant une assurance probabiliste en une assurance cryptographique. Jusqu'à ce que cette mise à niveau soit déployée, l'écart entre "aucune exploitation détectée" et "offre prouvée propre" reste ouvert.

Impact sur le marché

La forte chute intrajournalière de ZEC reflète le marché qui évalue un rabais de confiance résiduel qu'un simple correctif ne peut combler — l'assurance qu'une pièce de confidentialité doit fournir est précisément celle qui est la plus difficile à donner pour un système de confidentialité.