Zcash拟推Ironwood隐私池并引入形式化验证

Zcash开发团队宣布计划通过即将推出的新隐私池Ironwood引入形式化验证，以数学证明方式消除“无法检测的增发漏洞（Undetectable Counterfeiting）”风险。

据Odaily星球日报报道，此前Orchard屏蔽池存在的漏洞虽已完成修复且暂无证据显示遭利用，但由于理论上无法通过链上历史确认是否曾发生隐蔽增发，社区决定推出全新的Ironwood屏蔽池，并对其协议进行全面形式化验证。