广告

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

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

发表我的意见

专栏作者

9804

文章

0

提问

547万+

阅读量

0

回答

41万+

被赞

0

余额

关于我们 联系我们 加入我们 免责声明 版权声明 Sitemap 标签Tag 侵权删除:8512807@qq.com 微信:Suipai8888 Investor Relations © 2026 穗牌官网 广州穗牌电动车有限公司版权所有 粤ICP备2024261588号 增值电信经营许可证:粤ICP备2024261588号