Zcash完成Ironwood升级：形式化验证池替代漏洞屏蔽池

核心提要：Zcash正式激活Ironwood网络升级，以经过机器验证的新型屏蔽池取代存在潜在伪造风险的Orchard。新系统引入独立核算机制与转门检查点，确保供应完整性，并已实现超4万枚ZEC迁移。此次升级由多方团队协同推进，标志着Zcash在隐私与可验证性平衡上的关键进展。

Zcash启用Ironwood协议：以形式化验证重塑屏蔽池安全架构

Zcash已成功部署Ironwood网络升级，在区块高度3,428,143处通过NU6.3硬分叉正式激活。该版本用全新设计、经机器验证的屏蔽池替代原有存在理论漏洞的Orchard组件，旨在杜绝无法被察觉的伪造代币生成行为，并启动旧池资金向新系统的迁移流程。

核心核算体系重构：实现独立追踪与供应可验证性

此次升级引入了具备独立票据承诺树、无效集合与链上价值池的新核算框架，使节点能够对Ironwood屏蔽池进行完全自主验证。同时，系统部署了名为“转门”的公开检查机制，用于控制从Orchard流出的资金规模，防止其超过合法注入量，从而将任何潜在伪造币锁定于旧池内部。

逾四万枚代币完成迁移，大量资产仍滞留旧池

根据监测数据显示，已有约40,207枚ZEC完成向Ironwood的转移，而剩余近360万枚仍保留在Orchard中。尽管新池已全面启用，旧系统已进入仅支持提款状态，用户可自由提取资金，但不再接受新的屏蔽操作。迁移过程仍在持续推进中。

跨团队完成数学证明，验证余额完整性

Project Tachyon联合多个研究团队，使用Lean编程语言构建了覆盖2,700多个定理的机器可验证证明，确认Ironwood在既定密码学假设下无法产生超出实际流入量的余额。该成果涵盖零知识证明系统、电路规则及账本级核算逻辑，为协议安全性提供了形式化背书。值得注意的是，此验证不包含隐私保护部分。

量子就绪设计预留未来恢复路径

新协议集成ZIP 2005标准中的量子可恢复票据功能，为未来应对量子计算威胁预设了可激活的恢复机制。尽管当前交易尚未具备量子抗性，但该特性为长期演进提供了必要接口，需后续单独部署专用协议方可生效。

多机构协作推动协议迭代落地

Shielded Labs、Zcash开放开发实验室（ZODL）、Project Tachyon、Valar Group与Zcash基金会共同主导本次升级。其中，ZODL工程师贡献了约82%的代码变更，项目在五天内完成漏洞修补，六十天内完成完整替换。此外，zcashd节点已停止支持新共识规则，强制要求采用Zebra作为后续唯一节点实现，确保网络一致性。