吴说获悉，Zcash 开发团队表示，计划通过即将推出的新隐私池 Ironwood 引入形式化验证（Formal Verification），以数学证明方式消除“无法检测的增发漏洞（Undetectable Counterfeiting）”风险。团队称，此前 Orchard 屏蔽池存在的漏洞虽已完成修复且暂无证据显示遭利用，但由于理论上无法通过链上历史确认是否曾发生隐蔽增发，因此社区决定推出全新的 Ironwood 屏蔽池，并对其协议进行全面形式化验证。

Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.