Les chercheurs de Zcash ont publié plus de 2 700 théorèmes vérifiés automatiquement, conçus pour exclure les bogues de contrefaçon indétectables à Ironwood.
Les chercheurs de Zcash ont terminé la vérification formelle d'Ironwood, publiant une preuve vérifiée par machine que le nouveau pool protégé du réseau ne contient pas de bogues de contrefaçon indétectables selon ses hypothèses cryptographiques déclarées.
Mardi, le projet Tachyon a déclaré que la preuve, écrite dans le langage de programmation Lean, comprend plus de 2 700 théorèmes et a nécessité plus d'un mois à trois équipes de chercheurs et de cryptographes. Le travail établit une propriété de sécurité connue sous le nom d'intégrité de l'équilibre, conçue pour garantir que le pool protégé ne peut pas payer plus de valeur que ce qui y est publiquement entré.
Les chercheurs ont déclaré que la preuve couvre les composants nécessaires à cette propriété, y compris le système de preuve sans connaissance d'Ironwood, les règles de circuit et la comptabilité au niveau du grand livre. Elle ne couvre pas les garanties de confidentialité distinctes d'Ironwood.
En savoir plus
Voir l’article original en anglais
