Zcash a achevé sa mise à niveau réseau Ironwood, remplaçant son pool blindé Orchard vulnérable par une alternative formellement vérifiée conçue pour prévenir la contrefaçon indétectable, tout en amorçant la migration des fonds blindés vers le nouveau pool.
Selon Project Tachyon et l'équipe de développement Zcash, Ironwood a été activé comme prévu au bloc 3 428 143 via la mise à niveau réseau NU6.3 mardi, introduisant un nouveau pool blindé qui, selon les développeurs, restaure la confiance dans l'intégrité de l'approvisionnement de Zcash après les inquiétudes concernant Orchard.
L'activation a fait suite à des mois de travail au sein de plusieurs organisations Zcash après que des chercheurs ont divulgué une faille qui aurait pu théoriquement permettre la création de ZEC contrefaits sans détection publique.
Bien qu'Ironwood soit désormais 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 nouvelles activités blindées. Les données du suivi de migration de Zcash montrent qu'environ 40 207 ZEC ont déjà été transférés vers Ironwood, tandis que près de 3,6 millions de ZEC restent dans Orchard en attente de migration.
Le ZEC (ZEC) a brièvement chuté d'environ 9 % pour atteindre environ 460 $ après la mise à niveau avant de se redresser à 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 d'environ 45 $ en septembre dernier à près de 700 $ à la fin de l'année.
Le nouveau pool blindé remplace Orchard après que des chercheurs ont identifié ce qui est devenu connu sous le nom de bogue "infini" d'Orchard. Selon Shielded Labs, le chercheur Taylor Hornby a découvert la faille fin mai à l'intérieur du circuit à connaissance nulle d'Orchard. Les développeurs ont déclaré que le problème aurait pu théoriquement 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.
Des 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 qu'aucune inflation cachée n'avait jamais eu lieu, ce qui a incité à travailler sur un pool blindé de remplacement au lieu de se fier uniquement à l'implémentation Orchard corrigée.
Ironwood introduit un système de comptabilité distinct avec son propre arbre d'engagement de note, son ensemble de nullifiers et son 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 appelé "turnstile", permettant aux fonds de quitter Orchard tout en empêchant plus de valeur de sortir que ce qui avait été légitimement entré dans l'ancien pool.
Les développeurs ont déclaré que ce mécanisme est destiné à piéger toutes les pièces contrefaites hypothétiques à 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.
Parallèlement à l'activation du réseau, Project Tachyon a annoncé que des chercheurs avaient achevé une preuve mathématique vérifiée par machine couvrant l'intégrité du solde d'Ironwood, offrant une assurance supplémentaire que le nouveau pool blindé ne peut pas créer de valeur au-delà de ce qui y a été publiquement entré selon ses hypothèses cryptographiques déclarées.
Selon Project Tachyon, la preuve a été écrite dans le langage de programmation Lean et se compose de 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 grand livre. 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 avait éliminé les sources de bogues de contrefaçon indétectables du nouveau protocole Ironwood.
Le nouveau pool blindé intègre également les notes récupérables par ordinateur quantique ZIP 2005, permettant un futur mécanisme de récupération si les avancées de l'informatique quantique venaient à affaiblir les protections cryptographiques actuelles. Selon la spécification ZIP, cette fonctionnalité ne rend pas les transactions Zcash actuelles sécurisées contre les attaques quantiques, car un protocole de récupération distinct devrait encore être conçu et activé à l'avenir.
Ironwood a été développé grâce à la collaboration entre Shielded Labs, le Zcash Open Development Lab (ZODL), Project Tachyon, Valar Group et la Zcash Foundation.
Shielded Labs, cofondé par le fondateur de Zcash, Zooko Wilcox, a initialement proposé de remplacer Orchard pour restaurer une comptabilité de l'approvisionnement vérifiable après que la vulnérabilité soit devenue publique.
Pendant ce temps, le directeur exécutif de ZODL, Josh Swihart, a déclaré sur X que les ingénieurs de son organisation avaient 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 prévue de longue date à travers le réseau. Selon la Zcash Foundation, 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 se mettant également à niveau pour Ironwood. McGee a déclaré que certains opérateurs d'infrastructure avaient besoin de temps supplémentaire, bien qu'aucune décision n'ait finalement été prise de reporter la mise à niveau du réseau.
Avec Ironwood désormais en ligne et la migration d'Orchard en cours, l'accent a été mis sur le déplacement des fonds blindés restants via le "turnstile" tandis que le réseau retire progressivement l'ancien pool sous le nouveau modèle comptable.
