广场
最新
热门
资讯
我的主页
发布
Zcash 新隐私池 Ironwood 将采用形式化验证，拟根除无法检测的增发漏洞
MarsBit News
2026-07-07 12:38:30
关注
火星财经消息，Zcash 开发团队宣布计划通过即将推出的新隐私池 Ironwood 引入形式化验证，以数学证明方式消除“无法检测的增发漏洞”风险。此前消息，Orchard 屏蔽池存在的漏洞虽已完成修复且暂无证据显示遭利用，但由于理论上无法通过链上历史确认是否曾发生隐蔽增发，因此社区决定推出全新的 Ironwood 屏蔽池，并对其协议进行全面形式化验证。
ZEC
3.23%
此页面可能包含第三方内容，仅供参考（非陈述/保证），不应被视为 Gate 认可其观点表述，也不得被视为财务或专业建议。详见
声明
。
赞赏
点赞
评论
转发
分享
评论
请输入评论内容
请输入评论内容
评论
暂无评论
热门话题
查看更多
#
GUSD年化升至3.8%
78.46万 热度
#
预测世界杯阿根廷VS埃及
22.94万 热度
#
Strategy上周减持3588枚BTC
1465.33万 热度
#
GT二季度销毁257万枚
11.66万 热度
#
SK海力士ADR获超额认购
48.54万 热度
置顶
网站地图
Zcash 新隐私池 Ironwood 将采用形式化验证，拟根除无法检测的增发漏洞