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

收藏

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

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

来源

风险提示

风险提示

链捕手ChainCatcher提醒，请广大读者理性看待区块链，切实提高风险意识，警惕各类虚拟代币发行与炒作， 站内所有内容仅系市场信息或相关方观点，不构成任何形式投资建议。如发现站内内容含敏感信息，可点击“举报”，我们会及时处理。