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