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

Traducción:

Wu Shuo ha informado que el equipo de desarrollo de Zcash ha anunciado planes para introducir la Verificación Formal (Formal Verification) a través del próximo nuevo pool de privacidad Ironwood, con el objetivo de eliminar el riesgo de "Falsificación Indetectable" mediante pruebas matemáticas. El equipo indicó que, aunque la vulnerabilidad existente en el pool de privacidad Orchard ya ha sido reparada y no hay evidencia de que haya sido explotada, dado que teóricamente no es posible confirmar a través del historial en cadena si ha ocurrido una emisión encubierta, la comunidad ha decidido lanzar un nuevo pool de privacidad Ironwood y someter su protocolo a una verificación formal completa.