Zcash 开发者在区块高度 3,428,143 激活了 Ironwood 升级，作为 NU6.3 网络升级的一部分，将 Orchard 受保护池替换为一个经过形式化验证的替代方案。该替代方案源于研究员 Taylor Hornby 在 5 月下旬发现 Orchard 存在一个“无穷”漏洞，该漏洞在理论上可能带来无法被检测到的假冒 ZEC 创建风险。该漏洞位于 Zcash 核心隐私机制之一，促使开发者所描述的“一种战时模式开发冲刺”，以部署完整替换方案而非补丁。
Hornby 在 5 月下旬发现 Orchard 无穷漏洞
Taylor Hornby，Shielded Labs 的研究员，在 5 月下旬发现了 Orchard 无穷漏洞。该缺陷存在于 Orchard 的零知识电路深处，理论上可能在不留下任何公开可检测痕迹的情况下铸造假冒 ZEC。未出现任何证据表明该漏洞曾被利用。ZEC 在披露后损失了超过一半的价值。
在 6 月初部署的紧急补丁暂时禁用了 Orchard。经过修正的电路在 5 天内通过 NU6.2 硬分叉到达。开发者表示：无法在数学上证明旧池中从未发生过隐藏通胀，因此完整替换是恢复可验证的供币完整性的唯一途径。
Shielded Labs 联合创始人 Zooko Wilcox 起初提出应当直接替换 Orchard。随后开展了约 60 天的协同开发，参与方包括 Shielded Labs、Zcash Open Development Lab（ZODL）、Project Tachyon、Valar Group 以及 Zcash Foundation。ZODL 执行董事 Josh Swihart 表示，其组织的工程师在替换工作期间为 Zcash 的协议与钱包仓库合并变更贡献了 82%。
Ironwood 引入独立记账系统与可量子恢复的备注
Ironwood 引入了一个完全独立的记账系统，并拥有其自身的备注承诺树、nullifier 集合以及链价值池。该结构使任何节点都能独立于此前发生的一切来跟踪新的受保护池。
该升级安装了一个由项目描述为“检票口”的公共记账检查点。资金可以通过该检票口从 Orchard 离开，但该机制在数学上防止从旧池中“退出”的价值多于合法进入旧池的价值。在漏洞窗口之前或期间于 Orchard 内铸造的任何假设性假币，都将被永久困在其中，无法污染 Ironwood 的供币记账。
新的池纳入了 ZIP 2005 可量子恢复备注。该功能并不会让当前的 Zcash 交易具备量子安全性——未来仍需设计并激活一个单独的恢复协议。NU6.3 升级使 Zebra 成为所需的节点实现，并结束了网络范围内对旧版 zcashd 软件的支持。
Project Tachyon 完成 2,700 条定理的形式化验证
Project Tachyon 与 Zcash 开发者一起完成了一项经过机器核查的数学证明。该证明使用 Lean 编程语言编写，由三支研究员与加密学者团队在一个多月内共同发展出超过 2,700 条定理。该证明形式化验证了在其所声明的设计假设下，Ironwood 无法创建不可检测的假冒 ZEC。
该证明覆盖了平衡完整性所需的组件：Ironwood 的零知识证明系统、电路规则以及账本级别的记账。Zcash 联合创始人 Sean Bowe 表示：“跨团队协作刚刚永远改变了 Zcash 的历史，消除了新 Ironwood 协议中所有导致不可检测造假漏洞的来源。”
该形式化验证覆盖平衡完整性，但不延伸到 Ironwood 独立的隐私保证。供币可行性与交易隐私是不同的属性，而该证明只针对前者。
迁移追踪器显示 40,207 ZEC 已迁移至 Ironwood
Orchard 进入仅可退出的阶段。该池不再接受新的受保护活动，但用户仍可自行决定提取资金。根据 Zcash 的迁移追踪器，自激活以来，约 40,207 ZEC 已迁入 Ironwood。大约 360 万 ZEC 仍留在 Orchard 中，等待迁移。
根据 The Block 的数据，Orchard 在峰值时几乎占据了 Zcash 受保护代币供给的 88%，其余部分由旧的 Sapling 与 Sprout 池构成。
常见问题
Zcash Ironwood 升级是什么？
Ironwood 是一次 Zcash 网络升级，用形式化验证过的受保护池替换了存在漏洞的 Orchard 受保护池。它在 NU6.3 硬分叉作为一部分于区块高度 3,428,143 激活。
为什么需要 Ironwood 升级？
需要该升级，因为 5 月下旬在 Orchard 池中发现的“无穷”漏洞在理论上可能带来无法被检测到的假冒 ZEC 创建风险。开发者表示：无法在数学上证明该漏洞从未被利用，因此必须进行完整替换，而不能仅依赖补丁。
Orchard 池中的资金会怎样？
Orchard 进入仅可退出的阶段。用户仍可从其中提取资金，但该池不再接受新的受保护交易。大约 360 万 ZEC 仍留在 Orchard 中，等待迁移到 Ironwood；而大约 40,207 ZEC 已经跨过去了。
