Auteur original : Jason McGee, PDG de Shielded Labs et Zooko Wilcox, fondateur de Zcash
Compilé par | Odaily Planet Daily Qin Xiaofeng(@QinXiaofeng 888 )
Note de l'éditeur : Le 5 juin, heure de Pékin, il a été révélé que le pool de confidentialité de nouvelle génération Orchard du projet de confidentialité Zcash présentait une faille critique de contrefaçon. Le jeton Zcash, le ZEC, a chuté de moitié, tombant à un minimum d'environ 250 dollars. Après une dizaine de jours d'agitation, la panique du marché s'est quelque peu dissipée et le prix du ZEC s'est également rétabli, revenant à 500 dollars aujourd'hui.
Ce matin, le fondateur de Zcash, Zooko Wilcox, a de nouveau publié un long article en réponse aux préoccupations du marché. Il a déclaré qu'il était fort probable que la vulnérabilité d'Orchard n'ait pas été exploitée auparavant, et que les fonds légitimes d'Orchard pouvaient être récupérés ; actuellement, les utilisateurs ne peuvent pas encore vérifier par eux-mêmes si l'offre de Zcash est dépassée, mais la mise à niveau d'Ironwood scellera le pool Orchard et restaurera cette capacité de vérification ; aucun autre défaut de contrefaçon n'a été découvert lors des audits continus, mais une certitude absolue nécessite encore plus de travail.
Voici l'article original de Zooko Wilcox, compilé par Odaily Planet Daily, enjoy~
————————————
La récente vulnérabilité d'Orchard soulève des questions importantes concernant l'offre de Zcash et la sécurité des fonds des utilisateurs. La discussion mélange plusieurs sujets distincts, rendant difficile de comprendre l'impact réel de cette vulnérabilité sur les utilisateurs. Cet article tente de séparer ces questions et d'expliquer individuellement leur signification pour les utilisateurs.
La vulnérabilité d'Orchard soulève quatre questions importantes :
- La vulnérabilité d'Orchard a-t-elle déjà é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é gonflée ?
- Comment savons-nous qu'il n'existe pas d'autres vulnérabilités de contrefaçon ?
La vulnérabilité 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, bien que cela ne puisse être complètement exclu. Nous pensons que la vulnérabilité est probablement restée inexploitée pour trois raisons :
Bien que de nombreux cryptographes et chercheurs en sécurité de premier plan dans le monde aient continuellement audité le code pendant des années, cette vulnérabilité 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, dans le but d'identifier de manière proactive ce type de faille de sécurité avant qu'un attaquant malveillant ne le fasse. Taylor a utilisé des techniques de recherche de sécurité avancées assistées par l'IA et des outils personnalisés spécialement conçus pour trouver des défauts subtils que d'autres auraient pu manquer. Il serait plus difficile pour quelqu'un ne maîtrisant pas profondément la base de code de Zcash d'y parvenir.
Une fois la vulnérabilité découverte, les développeurs de Zcash (menés par l'équipe de Zcash Open Development Labs) ont rapidement coordonné avec les pools de minage pour geler temporairement le pool Orchard et déployer un correctif, limitant ainsi la fenêtre d'opportunité pour toute 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 vulnérabilité, un attaquant devrait échanger les ZEC contrefaits contre des actifs de valeur, ce qui entraînerait généralement la sortie des ZEC du pool Orchard via un mécanisme de tourniquet (turnstile). Si la vulnérabilité avait été exploitée avant la correction, nous nous attendrions à ce que des preuves aient émergé à ce jour. Historiquement, les exploits dans les cryptomonnaies sont généralement des opérations de type "casse", et non des stratégies cachées pendant des mois ou des années comme des "échecs 4D".
Les fonds légitimes d'Orchard peuvent-ils être récupérés ?
Nous pensons que oui, car nous pensons que la vulnérabilité n'a jamais été exploitée. Si cette hypothèse est correcte, tous les fonds légitimes d'Orchard peuvent toujours être entièrement récupérés.
D'un autre côté, si une contrefaçon a effectivement eu lieu dans Orchard, le mécanisme de tourniquet existant limiterait le montant total de la migration au montant de ZEC légitimement entré dans le pool. Par conséquent, si les fonds contrefaits migrent avant les fonds légitimes, les utilisateurs ne pourront 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 les plus prudents, il est toujours recommandé de transférer leurs ZEC hors d'Orchard. Avant de le faire, ils doivent toutefois être conscients des points suivants :
- Transférer des fonds vers un pool transparent (c'est-à-dire vers une adresse t) révèle à la fois le montant et l'heure de la transaction, et ces fonds seront également publiquement associés à cette adresse t.
- Transférer des fonds du pool Orchard vers le pool Sapling révèle le montant et l'heure de la transaction, mais contrairement au transfert vers une adresse t, il n'associe pas ces fonds à une adresse ou à un historique de transactions spécifique.
- Le pool Sapling s'appuie sur la cérémonie de paramètres de confiance (trusted setup) réalisée en 2018. S'appuyer sur la sécurité 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 auto-hébergés largement utilisés qui prennent en charge le pool Sapling.
- Transférer des fonds vers un nouveau portefeuille ou un service de garde introduit des risques supplémentaires, notamment des erreurs de l'utilisateur, des bugs logiciels, des risques liés au gardien ou d'autres problèmes imprévus.
Dans l'ensemble, nous considérons que les risques ci-dessus sont modérés. Si vos fonds sont actuellement dans un portefeuille auto-hébergé privé (shielded), compte tenu de notre évaluation selon laquelle une contrefaçon antérieure est improbable, 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é gonflée ?
Pas encore. L'existence antérieure de cette vulnérabilité empêche les utilisateurs de vérifier de manière indépendante si les ZEC en circulation dans les pools privés actuels ne dépassent pas le montant correct.
Cependant, comme nous l'avons souligné dans un article précédent, la mise à niveau Ironwood restaure cette capacité. L'illustration ci-dessous explique pourquoi.
La mise à niveau du réseau proposée résout ce problème en ajoutant la garantie qu'« il n'existe plus de vulnérabilités de contrefaçon inconnues » et en scellant le pool Orchard. Aucun nouveau fonds ne peut plus y entrer et les fonds du pool ne peuvent plus circuler. La seule voie restante est la sortie via le mécanisme de tourniquet existant, qui garantit que le montant de ZEC sortant du pool Orchard ne dépassera pas le montant légitimement entré.
Ce changement rétablit la capacité de vérifier l'intégrité de l'offre de Zcash.
Actuellement, s'il existe des fonds contrefaits dans le pool 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 potentiel des attaquants ou des autres utilisateurs. Le protocole lui-même fournit une garantie vérifiable : les ZEC excédentaires ne peuvent pas continuer à circuler au sein d'Orchard et gonfler l'offre.
Ceci est important car la crédibilité à long terme de Zcash dépend de la capacité des utilisateurs à vérifier par eux-mêmes l'intégrité de son offre. Ironwood restaure 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 vulnérabilités de contrefaçon ?
Nous ne pouvons pas en être complètement certains pour l'instant, mais nous avons des raisons de penser qu'il n'y en a pas d'autres. Shielded Labs et plusieurs autres équipes ont soigneusement audité le protocole Zcash pour détecter d'autres vulnérabilités de contrefaçon. Cela inclut, avec l'aide d'Anthropic, l'utilisation du modèle IA Mythos non encore publié pour rechercher des vulnérabilités supplémentaires, peu de temps avant la suspension de Mythos. Nous prévoyons de partager plus de détails sur cet audit et ses découvertes dans un prochain article de blog.
Jusqu'à présent, aucune autre vulnérabilité de contrefaçon n'a été découverte. L'expertise de haut niveau, les efforts consacrés et l'analyse avancée assistée par l'IA impliqués dans cette recherche nous donnent davantage confiance dans le fait qu'aucune vulnérabilité similaire ne reste non découverte.
De plus, nous collaborons avec des projets comme Tachyon Project pour fournir des garanties supplémentaires qu'il n'existe pas d'autres vulnérabilités de contrefaçon dans Zcash. Nous en dirons également plus dans de futurs articles de blog.
Conclusion
La vulnérabilité d'Orchard soulève quatre questions importantes : si la vulnérabilité a été exploitée, si les fonds légitimes d'Orchard peuvent être récupérés, si les utilisateurs peuvent vérifier que l'offre de Zcash n'a pas été gonflée, et s'il existe d'autres vulnérabilités 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 peuvent être récupérés et l'offre actuelle de Zcash est sûre. Sur la base des audits continus de plusieurs chercheurs et équipes indépendants, nous sommes également de plus en plus convaincus qu'il n'existe pas d'autres vulnérabilités de contrefaçon non découvertes. Cependant, les utilisateurs ne peuvent actuellement pas vérifier la sécurité de l'offre de Zcash, et ils ne devraient pas se fier à notre évaluation – ni à celle de quiconque.
La mise à niveau du réseau proposée résout ce problème. En scellant le pool Orchard, elle restaure 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 déterminer si une contrefaçon a eu lieu pour vérifier que les limites d'offre du protocole sont respectées.
