Les développeurs de Zcash ont activé la mise à niveau Ironwood à la hauteur de bloc 3 428 143 dans le cadre de la mise à niveau du réseau NU6.3, en remplaçant le pool shieldé Orchard par une alternative formellement vérifiée. Ce remplacement a fait suite à la découverte, fin mai, par la chercheuse Taylor Hornby d’un bug d’infinité dans Orchard, qui présentait un risque théorique de création de ZEC contrefaits indétectables. La vulnérabilité dans l’un des mécanismes centraux de confidentialité de Zcash a conduit, selon les développeurs, à un sprint de développement en « mode temps de guerre » afin de déployer un remplacement complet plutôt qu’un simple correctif.
Hornby a découvert le bug d’infinité d’Orchard fin mai
Taylor Hornby, chercheuse au sein de Shielded Labs, a découvert le bug d’infinité d’Orchard fin mai. La faille existait profondément à l’intérieur du circuit à connaissance nulle d’Orchard et présentait un risque théorique de frapper des ZEC contrefaits sans laisser aucune trace publiquement détectable. Aucune preuve n’a émergée indiquant que la vulnérabilité avait déjà été exploitée. ZEC a perdu plus de la moitié de sa valeur après que la divulgation soit devenue publique.
Des correctifs d’urgence déployés début juin ont temporairement désactivé Orchard. Un circuit corrigé est arrivé via le hard fork NU6.2 dans un délai de cinq jours. Les développeurs ont indiqué qu’il était mathématiquement impossible de prouver avec certitude que l’inflation cachée n’avait jamais eu lieu dans l’ancien pool, ce qui faisait du remplacement complet la seule voie pour rétablir l’intégrité vérifiable de l’offre.
Le cofondateur de Shielded Labs, Zooko Wilcox, avait initialement proposé de remplacer Orchard purement et simplement. La suite a consisté en environ 60 jours de développement coordonné entre Shielded Labs, le Zcash Open Development Lab (ZODL), Project Tachyon, Valar Group et la Zcash Foundation. Josh Swihart, directeur exécutif de ZODL, a déclaré que des ingénieurs de son organisation avaient contribué à 82 % des changements fusionnés dans les dépôts de protocoles et de portefeuilles de Zcash pendant l’effort de remplacement.
Ironwood introduit un système de comptabilité séparé et des notes récupérables quantiquement
Ironwood a introduit un système de comptabilité entièrement séparé, avec son propre arbre d’engagements de note, son ensemble de nullifiants et son pool de valeur de chaîne. Cette structure permet à n’importe quel nœud de suivre le nouveau pool shieldé indépendamment de tout ce qui existait auparavant.
La mise à niveau installe un point de contrôle de comptabilité publique, décrit par le projet comme une sorte de tourniquet. Les fonds peuvent quitter Orchard via ce tourniquet, mais le mécanisme empêche mathématiquement toute sortie de plus de valeur que ce qui a été entré légitimement dans l’ancien pool. Tout coin contrefait hypothétique frappé à l’intérieur d’Orchard avant ou pendant la fenêtre de vulnérabilité y serait piégé définitivement, incapable de contaminer la comptabilité de l’offre d’Ironwood.
Le nouveau pool intègre des notes récupérables quantiquement ZIP 2005. La fonctionnalité ne rend pas aujourd’hui les transactions Zcash sûres contre l’informatique quantique : un protocole de récupération distinct devrait encore être conçu et activé à l’avenir. La mise à niveau NU6.3 a fait de Zebra l’implémentation de nœud requise, mettant fin à la prise en charge du logiciel plus ancien zcashd sur l’ensemble du réseau.
Project Tachyon termine la vérification formelle de 2 700 théorèmes
Project Tachyon a achevé une preuve mathématique vérifiée par machine aux côtés des développeurs de Zcash. Écrite dans le langage de programmation Lean, la preuve 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. La preuve vérifie formellement qu’Ironwood ne peut pas créer de ZEC contrefaits indétectables dans le cadre des hypothèses de conception annoncées.
La preuve couvre les éléments nécessaires à l’intégrité du solde : le système de preuve à connaissance nulle d’Ironwood, ses règles de circuit et la comptabilité au niveau du grand livre. Le cofondateur de Zcash, Sean Bowe, a déclaré : « Une collaboration entre plusieurs équipes vient de changer l’histoire de Zcash pour toujours, en éliminant toutes les sources de bugs de contrefaçon indétectable du nouveau protocole Ironwood. »
La vérification formelle couvre l’intégrité du solde, mais ne s’étend pas aux garanties de confidentialité séparées d’Ironwood. La solidité de l’offre et la confidentialité transactionnelle sont des propriétés distinctes, et la preuve ne traite que de la première.
Le suivi de la migration montre 40 207 ZEC transférés vers Ironwood
Orchard est passé à une phase de sortie uniquement. Le pool n’accepte plus aucune nouvelle activité shieldée, mais les utilisateurs peuvent toujours retirer des fonds à leur discrétion. D’après le suivi de la migration de Zcash, environ 40 207 ZEC ont été déplacés vers Ironwood depuis l’activation. Environ 3,6 million ZEC restent dans Orchard en attente de migration.
Au plus fort, Orchard représentait près de 88 % de l’offre de tokens shieldés de Zcash, selon des données de The Block, les pools Sapling et Sprout plus anciens constituant le reste.
FAQ
Quelle est la mise à niveau Zcash Ironwood ?
Ironwood est une mise à niveau du réseau Zcash qui a remplacé le pool shieldé Orchard vulnérable par un pool shieldé formellement vérifié. Elle s’est activée à la hauteur de bloc 3 428 143 dans le cadre du hard fork NU6.3.
Pourquoi la mise à niveau Ironwood était-elle nécessaire ?
La mise à niveau était requise car un bug d’infinité découvert fin mai dans le pool Orchard présentait un risque théorique de création de ZEC contrefaits indétectables. Les développeurs ont indiqué qu’il était mathématiquement impossible de prouver que le bug n’avait jamais été exploité, ce qui rendait nécessaire un remplacement complet plutôt que de s’appuyer uniquement sur un correctif.
Que devient l’argent encore présent dans le pool Orchard ?
Orchard est passé à une phase de sortie uniquement. Les utilisateurs peuvent toujours retirer des fonds depuis ce pool, mais celui-ci n’accepte plus de nouvelles transactions shieldées. Environ 3,6 million ZEC restent dans Orchard en attente de migration vers Ironwood, tandis qu’environ 40 207 ZEC ont déjà été déplacés.
