吴说获悉,Zcash 开发团队表示,计划通过即将推出的新隐私池 Ironwood 引入形式化验证(Formal Verification),以数学证明方式消除“无法检测的增发漏洞(Undetectable Counterfeiting)”风险。团队称,此前 Orchard 屏蔽池存在的漏洞虽已完成修复且暂无证据显示遭利用,但由于理论上无法通过链上历史确认是否曾发生隐蔽增发,因此社区决定推出全新的 Ironwood 屏蔽池,并对其协议进行全面形式化验证。

ZEC4,41%
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
  • Récompense
  • 3
  • 1
  • Partager
Commentaire
Ajouter un commentaire
Ajouter un commentaire
GateUser-a9315d81
· Il y a 2h
Une preuve mathématique comme garantie, ça sonne bien, mais le coût et la complexité de la vérification formelle ne sont pas faibles. L'équipe pourra-t-elle supporter les dépenses ?
Voir l'originalRépondre0
MildlyRugged
· Il y a 2h
De « indétectable » à « prouvable », ce chemin lui-même nécessite une reconstruction de la confiance de la communauté, il faut attendre et voir.
Voir l'originalRépondre0
VolatilityOfToastingBread
· Il y a 2h
Vérification formelle mise en chaîne, Zcash cette fois-ci veut souder la confidentialité et la détermination ensemble, c'est assez hardcore.
Voir l'originalRépondre0
  • Épinglé