
Le jeton ZEC a fortement chuté suite à de nouveaux détails sur un bug critique dans le pool privé Orchard. Auparavant, la vulnérabilité avait déjà été corrigée grâce à une mise à jour d'urgence, mais le marché a réagi au risque principal : en théorie, l'erreur pourrait permettre la création d'un nombre illimité de pièces.
Au cours de la journée, l'actif a perdu plus de 30 % et s'échangeait autour de 410 $. La capitalisation boursière a chuté de plus de 3 milliards de dollars. Pour les investisseurs, le problème n'était pas seulement la vulnérabilité elle-même, mais aussi le fait qu'en raison de l'architecture privée du réseau, il est impossible de prouver cryptographiquement si quelqu'un a utilisé ce bug avant qu'il ne soit corrigé.
L'erreur aurait pu permettre l'émission de pièces contrefaites
De nouveaux détails ont été révélés par le chercheur en sécurité Taylor Hornby, qui a travaillé avec Shielded Labs. Il a découvert le problème le 29 mai lors d'un test ciblé du système cryptographique d'Orchard et a transmis les données aux ingénieurs du Zcash Open Development Lab.
La vulnérabilité affectait la vérification de multiplication sur une courbe elliptique. En termes simples, les circuits censés vérifier l’exactitude des transactions privées pourraient accepter de fausses entrées. En théorie, cela ouvrait la porte à la création de fausses ZEC au sein du pool sécurisé.
Hornby ne s'est pas limité à une description théorique. Il a compilé et testé un exploit fonctionnel montrant la possibilité de générer un nombre illimité de pièces contrefaites. Selon les chercheurs, si le même outil était exécuté sur le réseau principal, il pourrait créer un faux ZEC introuvable dans le portefeuille de l'attaquant.
Le problème a été résolu via un hard fork
Après la découverte du bug, les développeurs ont lancé une procédure de correction d'urgence. La vulnérabilité a été corrigée via un hard fork activé le 3 juin.
L’équipe avait auparavant temporairement limité Orchard pour atténuer le risque avant une correction complète. La mise à jour a ensuite ramené la fonctionnalité du pool avec un schéma de vérification corrigé. Ce scénario a permis de ne pas attendre une sortie prévue, mais de supprimer rapidement une vulnérabilité critique du circuit actif.
Formellement, c’est une partie positive de l’histoire. L'erreur a été détectée lors d'un audit, et non après une attaque confirmée. Cependant, la réaction du marché a montré que les investisseurs sont davantage préoccupés par autre chose : le bug existe depuis mai 2022, et il est difficile de prouver l’absence totale d’exploitation.
La principale crainte est liée à l’impossibilité de vérification
La confidentialité de Zcash est devenue à la fois un avantage et un problème. Orchard cache les détails des transactions, de sorte que le réseau ne révèle pas toutes les informations qui pourraient être utilisées pour vérifier directement l'état passé.
Shielded Labs a souligné qu'en raison de la nature du pool privé, il n'existe aucun moyen cryptographique de prouver que la vulnérabilité n'a jamais été exploitée avant le correctif. C’est ce qui a provoqué une forte réaction du marché. Même si la probabilité d’une attaque est faible, l’incapacité même de clôturer définitivement l’émission crée une incertitude quant à l’offre de pièces.
Dans le même temps, la société a déclaré qu'elle ne considérait pas le scénario d'exploitation comme le plus probable. Selon elle, l’erreur était suffisamment subtile pour survivre à des années de tests, et sa détection nécessitait des compétences élevées, des tests étroitement ciblés et des outils avancés.
L'IA a aidé à trouver un bug critique
Hornby utilisait Claude Opus 4.8, sorti le 28 mai, la veille de la découverte du problème. L'outil a permis une analyse très ciblée du projet Orchard.
C’est un détail important pour l’ensemble de l’industrie. L’intelligence artificielle n’a pas remplacé le chercheur, mais fait désormais partie du processus de recherche d’une erreur complexe dans un système cryptographique. En conséquence, un bug que les experts n'avaient pas trouvé depuis des années a été découvert lors d'un audit utilisant un nouvel outil.
Pour les projets blockchain, il s’agit d’un signal bidirectionnel. D’une part, l’IA peut accélérer les audits et aider à détecter les erreurs critiques. Dans le même temps, ces outils peuvent être à la disposition non seulement des défenseurs, mais aussi des attaquants. Cela augmente les exigences en matière de révision du code, en particulier dans les protocoles à connaissance nulle.
Arthur Hayes a vendu ZEC après la révélation des détails
Le co-fondateur de BitMEX, Arthur Hayes, a déclaré qu'il avait vendu la totalité de sa ZEC après la divulgation du bug d'Orchard. Dans le même temps, il a noté que l'émission illégale de pièces de monnaie de cette manière semble peu probable, même s'il est impossible de prouver formellement l'impossibilité de l'opération.
Hayes a également déclaré avoir vendu Hyperliquid et Near Protocol cette semaine. Commentant cette décision, il a écrit que sa « sainte trinité » n’était plus d’actualité.
Pour le marché, de telles déclarations ont accru la nervosité. Lorsqu’un investisseur public bénéficiant d’un large public parle de sortir complètement d’une position, cela ajoute un poids informationnel à la vente. Surtout si l'actif est déjà en baisse en raison de risques techniques.
Les développeurs veulent prouver l'intégrité de la proposition
Shielded Labs travaille avec les développeurs sur une nouvelle mise à jour qui devrait permettre à quiconque de vérifier l'intégrité de l'offre ZEC. Le but est de prouver qu’il n’y a pas de pièces contrefaites à Orchard.
Si un tel mécanisme était mis en œuvre, il pourrait éliminer une part essentielle de l’incertitude. Désormais, le marché ne se demande pas tant si le bug est corrigé, mais plutôt si la pureté de l'état précédent peut être prouvée de manière convaincante.
Pour un protocole privé, c'est une tâche difficile. Nous devons préserver les avantages des transactions cachées tout en donnant au marché la possibilité de vérifier la proposition. C'est cet équilibre qui deviendra un test important pour une confiance accrue dans le réseau.
Des risques similaires sont apparus auparavant
Ce n’est pas la première fois que Zcash est confronté au risque de contrefaçon de pièces. En 2018, Electric Coin Company a découvert une vulnérabilité dans la cryptographie sous-jacente aux preuves zk. Le correctif a été mis en œuvre en 2019 et aucune perte n’a alors été enregistrée.
Le PDG d'Helius, Mert Mumtaz, a noté que presque tous les protocoles privés comportent des risques similaires. Selon lui, de telles discussions reviennent régulièrement à mesure que de nouveaux acteurs du marché apprennent comment fonctionnent les pools privés.
Sa thèse est que de telles vulnérabilités constituent un risque théorique pour la plupart des systèmes à connaissance nulle. Ils sont difficiles à trouver, difficiles à utiliser et difficiles à prouver avec le recul. Mais c’est précisément la raison pour laquelle la réaction du marché est vive lorsque le problème devient public.
Quelle est la prochaine étape ?
ZEC n'était pas en vente parce que le réseau avait confirmé l'attaque. La raison principale est différente : le marché a reçu des informations sur un bug qui pourrait potentiellement affecter le point le plus sensible du système privé : la vérifiabilité de la proposition.
La vulnérabilité a déjà été corrigée, mais la confiance doit être restaurée. Pour ce faire, les développeurs devront montrer un mécanisme qui vérifiera l'absence de pièces contrefaites dans Orchard sans détruire le modèle privé du réseau.
Si une telle mise à jour apparaît et se déroule sans problème, certaines craintes pourraient disparaître. Si l'émission reste ouverte, ZEC se négociera avec une prime de risque supplémentaire. Pour les protocoles privés, ce cas sera un rappel : dans les systèmes à forte confidentialité, le marché est particulièrement sensible à tout ce qui touche à l'émission et à la vérifiabilité de la proposition.
En savoir plus: Jupiter a lancé un marché de prédiction sur Solana