Zcash termine la vérification formelle d’Ironwood : des règles de preuve fondées sur 2 700 théorèmes excluent la contrefaçon indétectable
D’après Project Tachyon, mardi, des chercheurs de Zcash ont achevé la vérification formelle d’Ironwood, en publiant une preuve vérifiée par machine qui montre que le nouveau pool protégé du réseau ne contient pas de bugs de contrefaçon indétectables dans le cadre de ses hypothèses cryptographiques définies. La preuve, écrite dans le langage de programmation Lean, comprend plus de 2 700 théorèmes et a été finalisée par trois équipes de chercheurs et de cryptographes sur plus d’un mois. Les travau
ZEC+1,16%
GateNews·07-29 01:19
