【Zcash新隐私池Ironwood将采用形式化验证，拟根除无法检测的增发漏洞】7月7日消息， Zcash 开发团队宣布计划通过即将推出的新隐私池 Ironwood 引入形式化验证，以数学证明方式消除“无法检测的增发漏洞（Undetectable Counterfeiting）”风险。
此前消息，Orchard 屏蔽池存在的漏洞虽已完成修复且暂无证据显示遭利用，但由于理论上无法通过链上历史确认是否曾发生隐蔽增发，因此社区决定推出全新的 Ironwood 屏蔽池，并对其协议进行全面形式化验证。

原文链接：https://tachyon.z.cash/blog/detecting-counterfeiting-in-zcash/

声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。