Les chercheurs de Zcash ont publie plus de 2700 theoremes verifies par machine afin d’exclure les bugs de contrefaçon indetectables dans Ironwood. Redigee en langage de programmation Lean, cette preuve a necessite la collaboration de trois equipes de chercheurs et de cryptographes pendant plus d’un mois. Elle etablit une propriete de securite appelee integrite de balance, garantissant que le pool blinde ne peut pas depenser plus de valeur que celle qui y est entr ee publiquement. Ironwood a ete introduit lors de la mise a niveau NU6.3 en reponse a une vulnerabilite decouverte dans le pool blinde Orchard, qui aurait pu theoriquement permettre une contrefaçon de ZEC indetectable. Les developpeurs de Zcash n’ont trouve aucune preuve d’exploitation de cette faille.
Source: Lire l’article original
