Zcash finalise la preuve de vérification Ironwood contre les bugs de contrefaçon

Des chercheurs de Zcash ont achevé mardi la vérification formelle d’Ironwood, en publiant une preuve vérifiée par machine qu’il n’existe, dans le nouveau pool shielded du réseau, aucun bogue de contrefaçon indétectable dans le cadre de ses hypothèses cryptographiques énoncées. Le projet Tachyon a déclaré que cette preuve garantit que le pool shielded ne peut pas verser plus de valeur que ce qui y a été publiquement entré. Ironwood a été introduit via la mise à niveau NU6.3 de Zcash, en réponse à une vulnérabilité découverte dans son pool shielded Orchard qui aurait pu théoriquement permettre une contrefaçon indétectable de ZEC.

Project Tachyon Publishes Lean-Based Proof With 2,700+ Theorems

Le projet Tachyon a déclaré mardi que la preuve, rédigée dans le langage de programmation Lean, comprend plus de 2 700 théorèmes et a nécessité plus d’un mois de travail pour trois équipes de chercheurs et de cryptographes. Ce travail établit une propriété de sécurité connue sous le nom d’intégrité de solde, conçue pour garantir que le pool shielded ne peut pas verser plus de valeur que ce qui y a été publiquement entré.

Verification Covers Zero-Knowledge Proof System and Circuit Rules

Les chercheurs ont indiqué que la preuve couvre les éléments nécessaires à cette propriété, notamment le système de preuves à connaissance nulle d’Ironwood, les règles des circuits et la comptabilité au niveau du registre (ledger). La preuve ne couvre pas les garanties de confidentialité distinctes d’Ironwood.

Ironwood Responds to Orchard Shielded Pool Vulnerability

Ironwood a été introduit via la mise à niveau NU6.3 de Zcash en réponse à une vulnérabilité découverte dans son pool shielded Orchard qui aurait pu théoriquement permettre une contrefaçon indétectable de ZEC. Des développeurs de Zcash ont déclaré n’avoir trouvé aucune preuve que le défaut ait été exploité. Le nouveau pool a été conçu pour restaurer la confiance dans l’intégrité de l’offre de Zcash.

Turnstile Mechanism Blocks Hypothetical Excess Coins From Ironwood

Les fonds migrant depuis Orchard doivent passer par un point de contrôle de comptabilité publique connu sous le nom de turnstile, conçu pour empêcher toute entrée hypothétique de coins en excès dans Ironwood. Au fur et à mesure que les fonds quittent Orchard, le processus pourrait aussi fournir une preuve grandissante indiquant si l’ancien pool a été exploité.

FAQ

What did Zcash researchers complete on Tuesday? Zcash researchers completed formal verification of Ironwood on Tuesday, en publiant une preuve vérifiée par machine qu’il n’existe, dans le nouveau pool shielded du réseau, aucun bogue de contrefaçon indétectable dans le cadre de ses hypothèses cryptographiques énoncées.

Why was Ironwood introduced through Zcash's NU6.3 upgrade? Ironwood a été introduit via la mise à niveau NU6.3 de Zcash en réponse à une vulnérabilité découverte dans son pool shielded Orchard, qui aurait pu théoriquement permettre une contrefaçon indétectable de ZEC. Le nouveau pool a été conçu pour restaurer la confiance dans l’intégrité de l’offre de Zcash.

What is the turnstile mechanism in Ironwood? Le turnstile est un point de contrôle de comptabilité publique que les fonds migrant depuis Orchard doivent traverser. Il est conçu pour empêcher toute entrée hypothétique de coins en excès dans Ironwood.