Des chercheurs de Zcash ont publié un ensemble de plus de 2 700 théorèmes vérifiés par machine, conçus pour éliminer les bugs de contrefaçon indétectables dans la prochaine mise à niveau du protocole Ironwood. Ces travaux, publiés par l'équipe derrière la cryptomonnaie axée sur la confidentialité, visent à prouver mathématiquement que le nouveau code ne peut pas être exploité pour créer de fausses pièces sans être détecté.
Des chercheurs de Zcash publient 2 700 théorèmes vérifiés par machine pour bloquer la contrefaçon dans Ironwood
