Zcash a achevé sa mise à niveau du réseau Ironwood, remplaçant son pool blindé Orchard vulnérable par une alternative formellement vérifiée conçue pour empêcher la contrefaçon indétectable tout en commençant la migration des fonds blindés vers le nouveau pool.
Résumé
- Zcash a activé la mise à niveau Ironwood et remplacé Orchard par un nouveau pool blindé formellement vérifié.
- Ironwood ajoute de nouvelles garanties d'approvisionnement tandis qu'Orchard ne prend désormais en charge que les retraits de fonds.
- Les chercheurs ont complété une preuve vérifiée par machine confirmant qu'Ironwood ne peut pas créer de ZEC contrefaits indétectables selon ses hypothèses de conception.
- Plus de 40 000 ZEC ont déjà été déplacés vers Ironwood tandis qu'environ 3,6 millions de ZEC restent dans Orchard.
Selon Project Tachyon et l'équipe de développement de Zcash, Ironwood a été activé comme prévu à la hauteur de bloc 3 428 143 lors de la mise à niveau du réseau NU6.3 mardi, introduisant un nouveau pool blindé que les développeurs disent restaurer la confiance dans l'intégrité de l'approvisionnement de Zcash après les préoccupations entourant Orchard.
L'activation a suivi des mois de travail à travers plusieurs organisations Zcash après que des chercheurs ont divulgué une faille qui aurait théoriquement pu permettre de créer des ZEC contrefaits sans détection publique.
Bien qu'Ironwood soit maintenant actif, Orchard est entré dans une phase de sortie uniquement. Les utilisateurs peuvent toujours retirer des fonds de l'ancien pool blindé à leur discrétion, mais il n'accepte plus de nouvelle activité blindée. Les données du suivi de migration de Zcash montrent qu'environ 40 207 ZEC ont déjà été déplacés vers Ironwood, tandis que près de 3,6 millions de ZEC restent dans Orchard en attente de migration.
ZEC (ZEC) a brièvement chuté d'environ 9 % à environ 460 $ après la mise à niveau avant de se rétablir à environ 475 $, selon la page des prix de crypto.news. Le jeton avait déjà connu une volatilité significative après que la vulnérabilité d'Orchard soit devenue publique, perdant plus de la moitié de sa valeur avant de rebondir plus tard d'environ 45 $ en septembre dernier à près de 700 $ à la fin de l'année.
Ironwood ajoute une nouvelle frontière comptable
Le nouveau pool blindé remplace Orchard après que des chercheurs ont identifié ce qui est devenu connu sous le nom de bug « infini » d'Orchard. Selon Shielded Labs, le chercheur Taylor Hornby a découvert la faille fin mai dans le circuit à connaissance nulle d'Orchard. Les développeurs ont déclaré que le problème aurait théoriquement pu permettre à un attaquant de créer des ZEC contrefaits sans détection immédiate, bien qu'ils aient également déclaré n'avoir trouvé aucune preuve que la vulnérabilité ait jamais été exploitée.
Les mises à niveau d'urgence début juin ont temporairement désactivé Orchard avant que les développeurs ne déploient un code de circuit corrigé via le hard fork NU6.2. Même après avoir corrigé la faille, les développeurs ont déclaré que le modèle de confidentialité de Zcash empêchait quiconque de prouver avec certitude que l'inflation cachée ne s'était jamais produite, ce qui a incité à travailler sur un pool blindé de remplacement plutôt que de se fier uniquement à l'implémentation corrigée d'Orchard.
Ironwood introduit un système comptable séparé avec son propre arbre d'engagement de notes, ensemble de nullificateurs et pool de valeur de chaîne, permettant aux nœuds de suivre le nouveau pool blindé indépendamment. Selon la documentation technique du projet, la mise à niveau installe également un point de contrôle comptable public connu sous le nom de tourniquet, permettant aux fonds de quitter Orchard tout en empêchant que plus de valeur ne sorte que ce qui a été légitimement entré dans l'ancien pool.
Les développeurs ont déclaré que le mécanisme est destiné à piéger toute pièce contrefaite hypothétique à l'intérieur d'Orchard tout en permettant une vérification indépendante que l'approvisionnement en circulation de Zcash continue de respecter la limite d'émission de 21 millions de ZEC du réseau.
La vérification formelle a renforcé le modèle de sécurité d’Ironwood
Parallèlement à l’activation du réseau, le projet Tachyon a annoncé que les chercheurs ont achevé une preuve mathématique vérifiée par machine couvrant l’intégrité du solde d’Ironwood, fournissant une assurance supplémentaire que le nouveau pool protégé ne peut pas créer de valeur au-delà de ce qui y est publiquement entré selon ses hypothèses cryptographiques déclarées.
Selon le projet Tachyon, la preuve a été écrite dans le langage de programmation Lean et consiste en plus de 2 700 théorèmes développés sur plus d’un mois par trois équipes de chercheurs et de cryptographes.
Les chercheurs ont déclaré que leur travail vérifie formellement les composants requis pour l’intégrité du solde, y compris le système de preuve à connaissance nulle d’Ironwood, les règles de circuit et la comptabilité au niveau du registre. Ils ont également précisé que la vérification ne s’étend pas aux garanties de confidentialité distinctes d’Ironwood.
Commentant ce travail, le cofondateur de Zcash, Sean Bowe, a déclaré que l’effort inter-équipes a éliminé les sources de bugs de contrefaçon indétectables du nouveau protocole Ironwood.
Le nouveau pool protégé intègre également les notes à récupération quantique ZIP 2005, permettant un futur mécanisme de récupération si les progrès de l’informatique quantique affaiblissent éventuellement les protections cryptographiques actuelles. Selon la spécification ZIP, cette fonctionnalité ne rend pas les transactions Zcash actuelles résistantes aux ordinateurs quantiques, car un protocole de récupération distinct devrait encore être conçu et activé à l’avenir.
Les équipes de l’écosystème ont coordonné le déploiement
Ironwood a été développé grâce à la collaboration entre Shielded Labs, le Zcash Open Development Lab (ZODL), le projet Tachyon, le groupe Valar et la Fondation Zcash.
Shielded Labs, cofondé par le fondateur de Zcash, Zooko Wilcox, a initialement proposé de remplacer Orchard pour rétablir la comptabilité vérifiable de l’offre après que la vulnérabilité a été rendue publique.
Pendant ce temps, le directeur exécutif de ZODL, Josh Swihart, a déclaré sur X que les ingénieurs de son organisation ont contribué à 82 % des changements fusionnés dans les dépôts de protocole et de portefeuille de Zcash pendant l’effort de remplacement d’Orchard. Swihart a ajouté qu’Orchard avait été corrigé en cinq jours avant que les développeurs ne terminent le processus de remplacement en environ 60 jours.
La mise à niveau NU6.3 achève également une autre transition planifiée de longue date sur le réseau. Selon la Fondation Zcash, l’ancien logiciel de nœud zcashd ne prend plus en charge les nouvelles règles de consensus, faisant de Zebra l’implémentation de nœud requise après l’activation.
Avant qu’Ironwood n’atteigne le réseau, le directeur exécutif de Shielded Labs, Jason McGee, avait averti que les bourses, les fournisseurs de portefeuilles et les pools de minage se préparaient simultanément à migrer de zcashd vers la nouvelle pile logicielle Z3 tout en effectuant la mise à niveau pour Ironwood. McGee a déclaré que certains opérateurs d’infrastructure avaient besoin de plus de temps, bien qu’aucune décision n’ait finalement été prise pour reporter la mise à niveau du réseau.
Avec Ironwood maintenant en service et la migration d’Orchard en cours, l’accent s’est déplacé vers le transfert des fonds protégés restants à travers le tourniquet tandis que le réseau retire progressivement l’ancien pool sous le nouveau modèle comptable.
