隐私币 Zcash 的核心开发者 Sean Bowe 6 月 12 日在 X 平台公布 Ironwood 升级最新进展。过去 48 小时内，参与协议开发的各组织已召开两场会议，就 Ironwood 的规范和实现细节达成共识。目前，形式化验证与三家审计公司的安全审计同步推进。
三项关键变更已敲定
各组织在会议中确定的三项重点变更包括：停用 Coinbase 中的 Orchard 池绑定，降低早期验证者的计算负担；硬件钱包迁移认证数据，将锚定点作为硬件钱包迁移至新隐私池的验证数据来源；ZIP 与规范处理顺序，确立 Zcash 改进提案与规范文件的处理优先级，避免开发中的规格冲突。这三项变更对应 Ironwood 升级的三大技术支柱：规范定义、钱包兼容性和开发流程一致性。此前 Zcash 在 5 月检测到 Orchard 隐私池的无限铸币漏洞，导致 ZEC 单日跌超 48%，Ironwood 升级即是为修复该漏洞而生的核心方案。
形式验证与审计同步推进
目前 Ironwood 电路和 ZIP 2005 整合草案正处于同行审查阶段。Valar Group 已完成测试网搭建，并完成部分钱包端变更。形式化验证工作同步进行，开发者计划于 6 月 13 日召开会议确定最终验证策略。形式化验证是区块链开发中的“数学证明”方法——用计算机科学的严谨推导，证明程序逻辑不存在隐性漏洞，相比传统测试能覆盖所有可能的输入组合。此外，至少三家主流区块链审计公司已启动对 Orchard 隐私池的安全审计，多套 AI 审计工具也在同步执行，双重保障 Ironwood 升级的可靠性。
从检测到验证：Zcash 的升级时间轴
Ironwood 升级的路径可追溯至 5 月中旬：AI 模型先检测到 Orchard 隐私池的无限铸币漏洞 → Zcash 公开 Ironwood 提案 → 开发团队敲定 7 月上线时间表 → 各组织就规范细节达成共识 → 目前进入形式验证与多审计公司并行的最后阶段。若验证和审计按时完成，Ironwood 升级预计在7 月正式启动，Zcash 的隐私池将从 Orchard 切换至新规格，ZEC 流通量也变��可验证。