Note de l'éditeur : Le 5 juin à l'heure de Pékin, le projet de confidentialité Zcash a révélé que la nouvelle piscine de confidentialité Orchard avait autrefois contenu une faille critique de contrefaçon, faisant chuter le jeton ZEC, qui a perdu près de la moitié de sa valeur pour atteindre un minimum d’environ 250 dollars.

Après une dizaine de jours de diffusion, la panique du marché s'est quelque peu atténuée et le prix du ZEC s'est également redressé, revenant aujourd'hui à 500 dollars. (Lecture recommandée : « Une faille d’« impression illimitée » dormait depuis quatre ans, le ZEC chute de moitié en un jour »)

Ce matin, le fondateur de Zcash, Zooko Wilcox, a à nouveau publié un long article pour répondre aux préoccupations du marché.

Il a déclaré qu'il était très probable que la faille d'Orchard n'avait pas été exploitée auparavant, et que les fonds légitimes d'Orchard pourraient être récupérés ; pour l'instant, les utilisateurs ne peuvent pas encore vérifier par eux-mêmes si l'offre de Zcash dépasse la limite, mais la mise à niveau Ironwood scellera la piscine Orchard et restaurera cette capacité de vérification ; l'examen continu n'a pas révélé d'autres failles de contrefaçon, mais une certitude absolue nécessite encore des travaux supplémentaires.

La récente faille d'Orchard a soulevé d'importantes questions concernant l'offre de Zcash et la sécurité des fonds des utilisateurs. Les discussions mêlent plusieurs sujets distincts, rendant difficile la compréhension de l'impact réel de cette faille sur les utilisateurs. Cet article tente de séparer ces questions et d'expliquer individuellement leur signification pour les utilisateurs.

La faille d'Orchard soulève quatre questions importantes :

1. La faille d'Orchard a-t-elle déjà été exploitée ?

2. Les fonds légitimes d'Orchard peuvent-ils être récupérés ?

3. Les utilisateurs peuvent-ils vérifier que l'offre de Zcash n'a pas été augmentée ?

4. Comment savoir s'il n'existe pas d'autres failles de contrefaçon ?

La faille d'Orchard a-t-elle déjà été exploitée ?

Inconnu. Nous pensons qu'il est peu probable qu'elle ait été exploitée auparavant, même si cela ne peut être totalement exclu. Nous pensons que la faille n'a très probablement pas été exploitée, pour trois raisons :

Bien que des cryptographes et chercheurs en sécurité de premier plan du monde entier aient examiné le code de manière continue pendant des années, cette faille n'avait pas été découverte auparavant. Sa découverte finale n'était pas accidentelle ; elle a été trouvée par Taylor Hornby de Shielded Labs, dont l'objectif était de proactivement identifier ce type de faille de sécurité avant qu'un attaquant malveillant ne le fasse.

Taylor a utilisé des techniques avancées de recherche en sécurité assistée par IA et des outils personnalisés spécialement conçus pour détecter des défauts subtils que d'autres auraient pu manquer. Pour quelqu'un qui ne maîtrise pas profondément la base de code de Zcash, cela aurait été plus difficile.

Une fois la faille découverte, les développeurs de Zcash (dirigés par l'équipe de Zcash Open Development Labs) ont rapidement coordonné avec les pools miniers pour geler temporairement la piscine Orchard et déployer un correctif, limitant ainsi toute fenêtre d'opportunité pour une attaque.

Les exploits de vulnérabilités dans les cryptomonnaies sont courants, et les attaquants ont tendance à les monétiser aussi rapidement que possible, surtout après leur divulgation publique. Pour tirer profit de cette faille, un attaquant aurait dû échanger les ZEC contrefaits contre des actifs de valeur, ce qui impliquerait généralement leur sortie de la piscine Orchard via un mécanisme de tourniquet (turnstile).

Si la faille avait été exploitée avant sa correction, nous nous attendrions à ce que des preuves soient apparues d'ici maintenant. Historiquement, les exploits de cryptomonnaies sont généralement des opérations de « rafle », et non des stratégies de « 4D chess » cachées pendant des mois, voire des années.

Les fonds légitimes d'Orchard peuvent-ils être récupérés ?

Nous pensons que oui, car nous pensons que la faille n'a jamais été exploitée. Si cette évaluation est correcte, tous les fonds légitimes d'Orchard peuvent être entièrement récupérés.

D'autre part, si une contrefaçon a effectivement eu lieu dans Orchard, le mécanisme de tourniquet existant limiterait la migration totale à la quantité de ZEC qui est légalement entrée dans cette piscine.

Par conséquent, si des fonds contrefaits étaient migrés avant les fonds légitimes, les utilisateurs ne pourraient pas récupérer une partie ou la totalité de leurs fonds légitimes d'Orchard.

Nous pensons que ce scénario est peu probable. Cependant, pour les utilisateurs plus prudents, il est toujours recommandé de transférer leurs ZEC hors d'Orchard.

Mais avant de le faire, ils doivent comprendre les points suivants :

· Transférer des fonds vers une piscine transparente (c'est-à-dire vers une adresse « t ») exposera à la fois le montant et l'heure de la transaction, et ces fonds seront publiquement associés à cette adresse « t ».

· Transférer des fonds de la piscine Orchard vers la piscine Sapling exposera le montant et l'heure de la transaction, mais contrairement au transfert vers une adresse « t », cela n'associera pas ces fonds à une adresse spécifique ou à un historique de transactions.

· La piscine Sapling s'appuie sur une cérémonie d'initialisation de confiance (trusted setup) effectuée en 2018. La sécurité dépendant de cette configuration de confiance est un risque supplémentaire dont les utilisateurs doivent être conscients.

· À notre connaissance, YWallet et Zkool sont actuellement les seuls portefeuilles Zcash en autodépossession largement utilisés qui prennent en charge la piscine Sapling.

· Transférer des fonds vers un nouveau portefeuille ou un service de garde introduit des risques supplémentaires, notamment des erreurs utilisateur, des défauts logiciels, des risques liés au gardien ou d'autres problèmes imprévus.

Globalement, nous considérons que le niveau de risque ci-dessus est modéré.

Si vos fonds se trouvent actuellement dans un portefeuille en autodépossession blindé (shielded), étant donné que nous estimons qu'une contrefaçon antérieure est peu probable, les y laisser est un choix raisonnable. Si vous avez un moyen sûr de les transférer ailleurs, cela peut également être raisonnable. Les utilisateurs peuvent tirer des conclusions différentes selon leur situation.

Les utilisateurs peuvent-ils vérifier que l'offre de Zcash n'a pas été augmentée ?

Pas encore. L'existence antérieure de cette faille empêche les utilisateurs de vérifier de manière indépendante si la quantité de ZEC en circulation dans les piscines blindées actuelles ne dépasse pas le montant correct.

Cependant, comme nous l'avons indiqué dans un article précédent, la mise à niveau Ironwood rétablit cette capacité. Le schéma ci-dessous en explique la raison.

La mise à niveau proposée du réseau résout ce problème en ajoutant la garantie qu'« il n'existe pas plus de failles de contrefaçon inconnues » et en scellant la piscine Orchard. Aucun nouveau fonds ne peut y entrer, et les fonds à l'intérieur ne peuvent plus circuler.

Le seul chemin restant est de sortir via le mécanisme de tourniquet existant, qui garantit que les ZEC quittant la piscine Orchard ne dépasseront pas la quantité qui y est entrée légalement.

Ce changement rétablit la capacité de vérifier la solidité de l'offre de Zcash.

Actuellement, si des fonds contrefaits existent dans la piscine Orchard, ils peuvent continuer à y circuler. Après la mise à niveau, cela ne sera plus possible. Qu'une contrefaçon ait eu lieu ou non, toute personne exécutant un nœud pourra vérifier que les ZEC en circulation ne dépassent pas le montant correct.

Les utilisateurs n'ont pas besoin d'attendre que les fonds quittent Orchard, ni de déduire le comportement possible des attaquants ou d'autres utilisateurs. Le protocole lui-même fournit une garantie vérifiable : les ZEC excédentaires ne peuvent pas continuer à circuler dans Orchard et gonfler l'offre.

C'est important, car la crédibilité à long terme de Zcash dépend de la capacité des utilisateurs à vérifier eux-mêmes la solidité de son offre. Ironwood rétablit la capacité des utilisateurs à vérifier de manière indépendante si les limites d'offre du protocole sont respectées.

Comment savons-nous qu'il n'existe pas d'autres failles de contrefaçon ?

Nous ne pouvons pas en être totalement sûrs pour l'instant, mais nous avons des raisons de penser qu'il n'en existe pas d'autres. Shielded Labs et plusieurs autres équipes examinent attentivement le protocole Zcash pour détecter d'éventuelles autres failles de contrefaçon.

Cela inclut, avec l'aide d'Anthropic, l'utilisation du modèle AI Mythos non encore publié peu avant sa suspension pour rechercher des vulnérabilités supplémentaires. Nous prévoyons de partager plus de détails sur cet examen et ses découvertes dans un prochain article de blog.

Jusqu'à présent, aucune autre faille de contrefaçon n'a été découverte. Le haut niveau d'expertise, les efforts déployés et l'analyse avancée assistée par IA impliqués dans cette recherche nous donnent davantage confiance dans le fait qu'aucune vulnérabilité similaire n'est restée non détectée.

De plus, nous collaborons avec des projets tels que Tachyon Project pour fournir des garanties supplémentaires qu'il n'existe pas d'autres failles de contrefaçon dans Zcash. Nous en parlerons également davantage dans de futurs articles.

Conclusion

La faille d'Orchard soulève quatre questions importantes : la faille a-t-elle été exploitée, les fonds légitimes d'Orchard peuvent-ils être récupérés, les utilisateurs peuvent-ils vérifier que l'offre de Zcash n'a pas été augmentée, et existe-t-il d'autres failles de contrefaçon non découvertes.

Nous pensons qu'il est peu probable qu'elle ait été exploitée auparavant, donc les fonds légitimes d'Orchard sont récupérables et l'offre actuelle de Zcash est sûre. Sur la base des examens continus de multiples chercheurs et équipes indépendants, nous sommes également de plus en plus confiants qu'il n'existe pas d'autres failles de contrefaçon non découvertes.

Cependant, pour l'instant, les utilisateurs ne peuvent pas vérifier la sécurité de l'offre de Zcash, et ils ne devraient pas se fier à notre évaluation — ou à celle de quiconque.

La mise à niveau proposée du réseau résout ce problème. En scellant la piscine Orchard, elle rétablit la capacité des utilisateurs à vérifier de manière indépendante la sécurité de l'offre de Zcash. Les utilisateurs n'ont plus besoin de juger si une contrefaçon a eu lieu pour vérifier que les limites d'offre du protocole sont respectées.