Publication de 2700 vérifications de Zcash, tentative de renforcement de la confiance dans l'offre

Zcash (ZEC) a publié plus de 2700 preuves de vérification mécanique concernant l'intégrité de l'équilibre du nouveau pool de fonds anonymes Ironwood. Cela est interprété comme une mesure pour renforcer la confiance dans l'offre au sein d'une structure de confidentialité qui cache les montants des transactions et les participants. Le projet Tachyon, une organisation de développement, a annoncé le 28 que la preuve a été rédigée en langage de preuve formelle Lean, résultat d'un mois de travail de trois équipes de recherche et de cryptographes. Le cœur de la vérification repose sur l'« intégrité de l'équilibre », stipulant qu'un pool de fonds anonymes ne peut pas émettre plus de valeur qu'il n'en reçoit publiquement. Les chercheurs expliquent que cette preuve couvre le système de preuve à connaissance nulle d'Ironwood, les règles de circuit et la comptabilité des unités de registre. Ironwood a été introduit avec la mise à niveau NU6.3 de Zcash, et une vulnérabilité permettant la contrefaçon de ZEC a été soulevée dans l'ancien pool Orchard. Les développeurs de Zcash ont déclaré qu'aucune preuve d'exploitation réelle de cette faille n'avait été confirmée. Les fonds passant d'Orchard à Ironwood doivent passer par un portail de comptabilité publique appelé turnstile, qui est une procédure de vérification du flux de fonds sortants de l'ancien pool. La réaction du marché est prudente, et ZEC a chuté de près de 40 % après le correctif de la vulnérabilité. L'impact de cette publication de preuve sur la réduction des doutes concernant l'intégrité de l'offre sera probablement vérifié lors du processus de transfert de fonds d'Orchard.