Par : Zooko Wilcox, Jason McGee et Taylor Hornby de Shielded Labs
Résumé
Shielded Labs travaille avec la Zcash Foundation, le Tachyon Group, le Valar Group et le Zcash Open Development Lab (ZODL) sur une proposition appelée « Ironwood » visant à restaurer la capacité des utilisateurs à vérifier la solidité de l'offre en circulation de Zcash.
La semaine dernière, une vulnérabilité critique de contrefaçon a été découverte dans le pool Orchard de Zcash. La vulnérabilité a été corrigée via une mise à niveau d'urgence du réseau coordonnée par ZODL et d'autres participants de l'écosystème, et a été achevée le 2 juin.
Bien que nous pensions qu'il était peu probable que la vulnérabilité ait été exploitée (pour les raisons données dans notre divulgation), les propriétés de confidentialité d'Orchard empêchent les utilisateurs de le vérifier par eux-mêmes.
Ironwood permettrait aux utilisateurs de vérifier que l'offre en circulation de Zcash est correcte. Les utilisateurs obtiendraient cette capacité immédiatement après l'activation d'Ironwood, en additionnant simplement les soldes des pools actifs. Ils n'auraient pas besoin de raisonner sur les incitations ou les actions des autres, ni d'attendre la migration depuis le pool Orchard, pour vérifier que l'offre totale en circulation de Zcash est correcte.
Ironwood
L'objectif d'Ironwood est de restaurer la capacité de chaque utilisateur de Zcash à vérifier l'intégrité de l'offre de Zcash. Cette vérifiabilité a été compromise par l'existence de la vulnérabilité de contrefaçon. Immédiatement après l'activation, les utilisateurs pourront vérifier de manière indépendante que l'offre en circulation de Zcash est saine, simplement en exécutant un nœud.
Pour y parvenir, Ironwood :
- Créerait un nouveau pool protégé utilisant le circuit Orchard avec la récente vulnérabilité de contrefaçon corrigée.
- Rejetterait comme invalide toute transaction créant une nouvelle sortie dans l'ancien pool Orchard.
- Augmenterait l'assurance concernant la base de code, en utilisant des techniques telles que l'audit de sécurité assisté par IA et la vérification formelle, le tout visant à garantir l'absence de bogues de contrefaçon supplémentaires.
Pourquoi Ironwood fonctionne
Ironwood modifie ce qui peut se produire à l'intérieur du pool Orchard.
Dès l'activation, toute transaction créant une nouvelle sortie dans le pool Orchard serait rejetée. Cela signifie que ZEC ne pourrait plus continuer à circuler au sein de ce pool. À partir de ce moment, les fonds dans le pool Orchard ne pourraient se déplacer qu'en sortant du pool via un tourniquet.
Les tourniquets sont le mécanisme comptable en chaîne de Zcash pour les transferts entre pools. Ils suivent la quantité de ZEC qui est entrée et sortie de chaque pool et rejettent toute transaction qui tente de déplacer plus de ZEC que ce qui est légitimement entré.
Ensemble, ces règles signifient que les utilisateurs n'ont pas besoin d'attendre la migration de tous, ni même d'une partie, des fonds Orchard. Dès qu'Ironwood est activé, les utilisateurs peuvent vérifier à partir des règles de consensus qu'aucune quantité de ZEC supérieure à la quantité correcte ne peut être en circulation. Cela fournit une garantie immédiate et sans confiance de la solidité de l'offre en circulation de Zcash. L'excès de ZEC ne peut pas circuler secrètement entre les utilisateurs du pool Orchard, ni s'échapper vers un autre pool.
Génération de preuves de l'exploitation ou non de la vulnérabilité
Ironwood peut également fournir des preuves quant à savoir si la vulnérabilité Orchard a déjà été exploitée, mais la réalisation de son objectif ne dépend pas de l'émergence de telles preuves.
Lorsque les utilisateurs migrent leurs fonds du pool Orchard existant vers le nouveau pool, tout contrefacteur hypothétique est confronté à un choix : tenter de déplacer les fonds contrefaits et risquer d'exposer leur existence, ou les laisser derrière et risquer de ne pas pouvoir les déplacer à l'avenir.
Cela crée deux résultats possibles :
Résultat A : Aucun excès de ZEC ne tente de quitter le pool Orchard existant. Ce serait une preuve solide que la vulnérabilité n'a jamais été exploitée, car un contrefacteur aurait une forte incitation à déplacer les fonds contrefaits avant que les utilisateurs légitimes n'aient terminé leurs migrations.
Résultat B : Un excès de ZEC tente de quitter le pool Orchard existant. Dans ce cas, les fonds excédentaires ne pourraient pas quitter le pool et seraient effectivement détruits. Malheureusement, cela est nécessaire pour préserver l'offre en circulation actuelle dans tous les pools. Cela fournirait également une preuve publiquement vérifiable qu'une contrefaçon a eu lieu. Comme nous pensons que la vulnérabilité n'a pas été exploitée, nous pensons que ce résultat est peu probable.
Portefeuilles
Nous recommandons que tous les portefeuilles qui prennent en charge le pool Orchard existant ajoutent la prise en charge du nouveau pool.
Les portefeuilles devraient continuer à prendre en charge le pool Orchard existant normalement jusqu'à l'activation d'Ironwood, puis migrer les fonds des utilisateurs du pool Orchard existant vers le nouveau pool. Bien que la migration ait des implications sur la confidentialité (à savoir, elle expose le montant de ZEC transféré et le moment où le transfert a eu lieu), nous pensons que l'impact sur la confidentialité des utilisateurs est modeste et peut être davantage atténué par le comportement du portefeuille.
Les récepteurs Orchard existants (c'est-à-dire les adresses) restent valides et n'auraient pas besoin d'être changés. Le ZEC envoyé aux récepteurs Orchard créés avant l'activation d'Ironwood serait automatiquement reçu comme ZEC dans le nouveau pool.
Calendrier
Comme la plupart des mises à niveau du réseau, Ironwood nécessitera du développement, des tests, des révisions et une coordination au sein de l'écosystème. L'expérience a montré que ce travail prend souvent plus de temps que prévu, nous pensons donc qu'il est préférable d'être prudent lorsqu'on discute des délais plutôt que de promettre trop et de ne pas tenir ses engagements.
Une source supplémentaire d'incertitude est la dépréciation en cours de zcashd. Bien que Shielded Labs n'ait pas été directement impliqué dans cet effort, la migration des bourses, des pools miniers, des portefeuilles et d'autres fournisseurs d'infrastructure vers Zebra pourrait affecter le calendrier de cette mise à niveau du réseau.
Nous nous attendons à mieux comprendre le calendrier à mesure que les plans de mise en œuvre mûrissent et que les discussions se poursuivent.
Conclusion
Nous tenons à souligner que nous pensons qu'une exploitation antérieure de la vulnérabilité Orchard est peu probable. Mais les utilisateurs ne devraient pas avoir à se fier à notre évaluation, ni à celle de quiconque, en ce qui concerne l'intégrité de l'offre de Zcash.
Ironwood est conçu pour restaurer une garantie de l'offre en circulation de Zcash que chacun peut vérifier par lui-même. Que la vulnérabilité ait été exploitée ou non, l'objectif est le même : faire en sorte que l'intégrité de l'offre de Zcash soit vérifiable.
Nous pensons qu'Ironwood est la meilleure voie à suivre et nous nous réjouissons de discuter de cette proposition avec la communauté Zcash.
Remerciements
Merci à Sean Bowe, Dev Ojha, David Campbell, Alex Bornstein, Nate Wilcox, Kris Nuttycombe, Vitalik Buterin, Balaji Srinivasan, et Taylor Hornby, Josh Swihart, et Tatyana pour leur révision et leurs commentaires. Un merci tout particulier à Kris Nuttycombe pour avoir suggéré que la mise à niveau Ironwood désactive les transactions qui créent des sorties dans l'ancien pool Orchard. Cela s'avère crucial pour qu'Ironwood atteigne son objectif.
