广告

Zcash新隐私池Ironwood将采用形式化验证,拟根除无法检测的增发漏洞

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

发表我的意见

9110

文章

0

提问

766万+

阅读量

0

回答

63万+

被赞

0

余额

关于我们 联系我们 加入我们 免责声明 广告服务 Sitemap 标签Tag 侵权文章删除:13607219@qq.com 微信:wenlian123com Investor Relations © 2025 金牌网 中值联认证中心(北京)有限公司版权所有 ICP备案:京ICP备20020888号 增值电信经营许可证:京B2-20201851