Un bug de Zcash a révélé un risque d’inflation dans le pool de transactions privées

Zcash a contenu une faille grave, mais la vérification reste complexe

Zcash a corrigé une vulnérabilité critique qui, en théorie, aurait pu permettre à des attaquants de créer de nouvelles unités de cryptomonnaie dans son pool de transactions blindées Orchard. La réponse d’urgence a inclus une restriction temporaire via une soft fork, suivie d’une hard fork qui a rétabli les transactions blindées avec le correctif en place.

Selon le rapport fourni, la faille provenait d’un problème de solidité dans le circuit de preuve à divulgation nulle de connaissance utilisé pour valider les transactions privées. En principe, ce défaut aurait pu permettre des transitions d’état invalides ou une création de valeur non autorisée que le réseau aurait quand même acceptée. Dans un système axé sur la confidentialité, c’est particulièrement sensible, car les observateurs externes peuvent avoir une capacité limitée à vérifier si une inflation cachée s’est produite.

La Zcash Foundation a indiqué qu’il n’existe aucune preuve de création de valeur non autorisée. En même temps, l’article souligne une tension fondamentale : les propriétés de confidentialité qui rendent les transactions blindées attrayantes rendent aussi la confirmation indépendante difficile.

Comment le réseau a réagi

Le problème aurait été identifié le 29 mai lors d’un audit de protocole mené pour Shielded Labs par le chercheur indépendant Taylor Hornby. Les développeurs ont ensuite coordonné discrètement avec les mineurs et les plateformes d’échange, en utilisant d’abord une soft fork pour désactiver l’activité dans le pool Orchard affecté, puis en activant une hard fork au bloc 3,364,600 pour rétablir les transactions blindées après le correctif.

Cette réponse a probablement limité le risque technique immédiat, mais elle a aussi ravivé des débats de gouvernance bien connus dans la crypto. Les critiques ont soutenu que la capacité à coordonner rapidement des changements de protocole d’urgence n’est pas gratuite. Elle peut réduire les dégâts en période de crise, mais elle peut aussi donner l’impression que le système est plus centralisé que son image ne le laisse entendre.

L’article met en avant les critiques de Seth for Privacy, de Cake Wallet, qui a qualifié cette coordination d’excessivement centralisée. Il cite également le chercheur de longue date Peter Todd, qui a affirmé que la confidentialité au niveau du consensus crée des dangers particuliers parce que les bugs d’inflation peuvent être plus difficiles à détecter.

Pourquoi cela compte au-delà d’un seul incident

Ce n’est pas la première fois que Zcash fait face à un bug aux implications théoriques de contrefaçon. Le rapport mentionne une faille antérieure de 2018 qui aurait également pu permettre la création illimitée d’unités monétaires dans certaines conditions. Cet historique est important, car l’intégrité monétaire est le socle non négociable de tout système de cryptomonnaie. Si les participants commencent à douter de l’offre, la proposition de valeur de l’actif s’en trouve fragilisée au cœur même de son modèle.

L’épisode souligne aussi un défi structurel dans la conception de cryptos préservant la confidentialité. Les systèmes à divulgation nulle de connaissance peuvent offrir une forte confidentialité, mais ils augmentent aussi l’exigence de correction du système de preuve. Quand le système fonctionne, cette complexité est invisible. Quand il échoue, les conséquences peuvent être exceptionnellement difficiles à auditer de l’extérieur.

Ce compromis ne restera pas limité à Zcash. Les débats sur l’ajout de fonctionnalités de confidentialité plus fortes aux principales blockchains se poursuivent depuis des années, et des incidents comme celui-ci fournissent des arguments aux critiques qui estiment que la confidentialité au niveau du consensus peut introduire des risques monétaires et de gouvernance inacceptables.

Un rappel de fragilité cachée

Pour Zcash elle-même, la priorité immédiate était de corriger la faille et de rétablir le fonctionnement de base du réseau. Sur ce point, la séquence d’urgence semble avoir réussi. Mais le défi à long terme est la confiance : confiance dans le système de preuve, confiance dans le processus de gouvernance et confiance dans le fait que les vulnérabilités futures pourront être découvertes avant d’être exploitées.

• Le bug a touché Orchard, le pool de transactions blindées de Zcash.
• Il créait une voie théorique vers une inflation cachée via une faille du circuit de preuve.
• Le réseau a d’abord gelé l’activité affectée avec une soft fork, puis l’a rétablie après une hard fork.
• Les critiques disent que l’incident révèle à la fois des faiblesses techniques et de gouvernance.

Les systèmes crypto présentent souvent l’immuabilité et la décentralisation comme des faits acquis. Des incidents comme celui-ci montrent qu’il s’agit d’acquis opérationnels à défendre sous pression, surtout lorsque la confidentialité rend la vérification indépendante plus difficile que d’habitude.

Cet article est basé sur un reportage de Gizmodo. Lire l’article original.