广场
最新
热门
资讯
我的主页
发布
吴说区块链
2026-07-07 12:30:17
关注
吴说获悉，Zcash 开发团队表示，计划通过即将推出的新隐私池 Ironwood 引入形式化验证（Formal Verification），以数学证明方式消除“无法检测的增发漏洞（Undetectable Counterfeiting）”风险。团队称，此前 Orchard 屏蔽池存在的漏洞虽已完成修复且暂无证据显示遭利用，但由于理论上无法通过链上历史确认是否曾发生隐蔽增发，因此社区决定推出全新的 Ironwood 屏蔽池，并对其协议进行全面形式化验证。
ZEC
5.66%
此页面可能包含第三方内容，仅供参考（非陈述/保证），不应被视为 Gate 认可其观点表述，也不得被视为财务或专业建议。详见
声明
。
5人点赞了这条动态
赞赏
5
3
1
分享
评论
请输入评论内容
请输入评论内容
评论
GateUser-a9315d81
· 2小时前
数学证明兜底，听起来很美，但形式化验证的成本和复杂度也不低，团队资金撑得住吗？
回复
0
Mildly Rugged
· 3小时前
从「无法检测」到「可被证明」，这条路径本身就需要社区信任重建，慢慢看吧。
回复
0
烤面包的波动率
· 3小时前
形式化验证上链，Zcash 这次是要把隐私和确定性焊死在一起，挺硬核的。
回复
0
热门话题
查看更多
#
GUSD年化升至3.8%
78.64万 热度
#
预测世界杯阿根廷VS埃及
23.34万 热度
#
Strategy上周减持3588枚BTC
799.21万 热度
#
GT二季度销毁257万枚
11.71万 热度
#
SK海力士ADR获超额认购
48.64万 热度
置顶
网站地图
吴说获悉，Zcash 开发团队表示，计划通过即将推出的新隐私池 Ironwood 引入形式化验证（Formal Verification），以数学证明方式消除“无法检测的增发漏洞（Undetectable Counterfeiting）”风险。团队称，此前 Orchard 屏蔽池存在的漏洞虽已完成修复且暂无证据显示遭利用，但由于理论上无法通过链上历史确认是否曾发生隐蔽增发，因此社区决定推出全新的 Ironwood 屏蔽池，并对其协议进行全面形式化验证。