据 Woofun AI 消息，Zcash 开发团队计划通过即将推出的全新隐私池 Ironwood 引入正式验证机制。该机制旨在利用数学证明方法，消除因链上交易记录无法确认而导致的隐秘伪造行为风险。

尽管此前 Orchard 屏蔽池的漏洞已修复且无攻击迹象，社区仍决定构建 Ironwood 并对协议进行全面正式验证，以彻底解决潜在的安全隐患。