Zcash affirme que la preuve Ironwood exclut les bugs de contrefaçon indétectables
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...