Zcash ZEC gagne 12 % alors que la vérification formelle Ironwood approche de son achèvement

Le jeton ZEC de Zcash a augmenté d'environ 12 % après que les développeurs du Projet Tachyon ont annoncé être proches de prouver formellement que le nouveau pool blindé Ironwood du réseau ne présente aucun défaut de contrefaçon indétectable. Cette hausse de prix fait suite aux progrès des travaux de vérification formelle visant à écarter un bogue de solidité dans le circuit zk-SNARK de Zcash qui aurait pu permettre le minage caché de ZEC. La faille Orchard, découverte par le chercheur Taylor Hornby, était une vulnérabilité dans le circuit que Zcash utilise pour blinder les transactions, bien que les développeurs estiment qu'aucune exploitation n'a eu lieu. Ironwood doit être activé fin juillet avec un mécanisme de tourniquet qui permet aux utilisateurs de transférer des fonds du pool Orchard vulnérable et aide à démontrer qu'aucune contrefaçon n'a eu lieu.

La faille Orchard a permis une contrefaçon cachée potentielle

La faille Orchard était un bogue de solidité dans le circuit zk-SNARK que Zcash utilise pour blinder les transactions. Un bogue de solidité permet à un prouveur malhonnête de convaincre le réseau d'une fausse déclaration, ce qui, dans ce cas, aurait pu permettre à un attaquant de minter des ZEC contrefaits sans aucune trace en chaîne. Comme toute exploitation serait invisible, les développeurs pouvaient corriger la faille, mais ne pouvaient pas prouver qu'elle n'avait jamais été utilisée. Taylor Hornby a découvert la vulnérabilité.

Ironwood introduit la vérification formelle et le mécanisme de tourniquet

Ironwood est un nouveau pool blindé basé sur Orchard, reconstruit avec la faille corrigée. L'équipe Tachyon a déclaré avoir « principalement entrepris un effort complet pour vérifier formellement Ironwood, éliminant les bogues de contrefaçon indétectables », et a noté que ces bogues « ne peuvent exister que dans la spécification » car les erreurs d'implémentation laissent des preuves détectables sur le registre.

Pour gérer les pièces déjà dans le pool vulnérable, Ironwood inclut un tourniquet. Les portefeuilles migrent les fonds d'Orchard vers Ironwood, et la désactivation des paiements dans l'ancien pool fixe une limite supérieure à la quantité de ZEC en circulation, ce qui aide à démontrer qu'aucune contrefaçon n'a eu lieu. Les développeurs disent croire qu'aucune exploitation n'a eu lieu, et le tourniquet est conçu pour transformer cette croyance en quelque chose que le réseau peut vérifier.

Les développeurs disent qu'ils s'attendent à activer Ironwood fin juillet, et que la vérification formelle du nouveau pool est le travail qui déterminera si la faille de contrefaçon a jamais été un risque réel.

Le prix du ZEC a récupéré environ la moitié des pertes post-divulgation

Le ZEC est passé d'environ 600 $ à environ 300 $ dans les deux jours suivant la divulgation, puis a récupéré à environ 457 $. Le jeton a maintenant regagné environ la moitié de ce qu'il avait perdu. Le gain de 12 % a suivi l'annonce des développeurs du Projet Tachyon concernant les progrès de la vérification formelle.

Équipes de développement derrière la mise à niveau Ironwood

La mise à niveau est construite par un groupe d'équipes Zcash, dont le Zcash Open Development Lab, une scission d'anciens ingénieurs d'Electric Coin Company qui a levé 25 millions de dollars cette année pour financer des travaux sur la confidentialité. Taylor Hornby, qui a découvert la faille Orchard, travaille chez Shielded Labs.

FAQ

Qu'est-ce que la faille Orchard dans Zcash ?

La faille Orchard était un bogue de solidité dans le circuit zk-SNARK de Zcash qui aurait pu permettre à un attaquant de minter des ZEC contrefaits sans aucune trace en chaîne. Découvert par le chercheur Taylor Hornby, le bogue permet à un prouveur malhonnête de convaincre le réseau d'une fausse déclaration, bien que les développeurs estiment qu'aucune exploitation n'a eu lieu.

Comment fonctionne le mécanisme de tourniquet d'Ironwood ?

Le tourniquet permet aux portefeuilles de migrer des fonds du pool Orchard vulnérable vers le nouveau pool Ironwood. La désactivation des paiements dans l'ancien pool fixe une limite supérieure à la quantité de ZEC en circulation, ce qui aide à démontrer qu'aucune contrefaçon n'a eu lieu pendant la période de vulnérabilité.

Quand Zcash activera-t-il la mise à niveau Ironwood ?

Les développeurs s'attendent à activer Ironwood fin juillet. La vérification formelle du nouveau pool est le travail qui déterminera si la faille de contrefaçon a jamais été un risque réel.