Zcash 已完成其 Ironwood 网络升级，用一个经过形式化验证的替代方案替换了其易受攻击的 Orchard 屏蔽池，该方案旨在防止无法检测的伪造，同时开始将屏蔽资金迁移到新池中。
摘要
- Zcash 已激活 Ironwood 升级，并用一个新的经过形式化验证的屏蔽池替换了 Orchard。
- Ironwood 增加了新的供应保障措施，而 Orchard 现在仅支持资金提取。
- 研究人员完成了一项机器检查证明，确认 Ironwood 在其设计假设下无法创建无法检测的伪造 ZEC。
- 已有超过 40,000 ZEC 迁移到 Ironwood，而约 360 万 ZEC 仍留在 Orchard 中。
据 Project Tachyon 和 Zcash 开发团队称，Ironwood 于周二通过 NU6.3 网络升级在区块高度 3,428,143 按计划激活，引入了一个新的屏蔽池，开发者表示，在围绕 Orchard 的担忧之后，这恢复了人们对 Zcash 供应完整性的信心。
此次激活是在研究人员披露了一个理论上可能允许在未被公开检测的情况下创建伪造 ZEC 的漏洞后，多个 Zcash 组织经过数月工作的结果。
虽然 Ironwood 现已激活，但 Orchard 已进入仅退出阶段。用户仍可自行从旧屏蔽池中提取资金，但它不再接受新的屏蔽活动。来自 Zcash 迁移追踪器的数据显示，大约 40,207 ZEC 已迁移到 Ironwood，而近 360 万 ZEC 仍留在 Orchard 中等待迁移。
根据 crypto.news 价格页面，ZEC (ZEC) 在升级后短暂下跌约 9% 至约 460 美元，随后回升至约 475 美元。该代币在 Orchard 漏洞公开后已经历了大幅波动，从去年 9 月的约 45 美元跌至年底的近 700 美元，期间价值损失过半，后来才反弹。
Ironwood 增加了新的会计边界
新的屏蔽池取代了 Orchard，此前研究人员发现了所谓的 Orchard“无限”漏洞。据 Shielded Labs 称，研究员 Taylor Hornby 于 5 月底在 Orchard 的零知识电路中发现了该漏洞。开发者表示，该漏洞理论上可能允许攻击者在未被立即检测的情况下铸造伪造的 ZEC，但他们也表示没有发现该漏洞曾被利用的证据。
6 月初的紧急升级暂时禁用了 Orchard，随后开发者通过 NU6.2 硬分叉部署了修正后的电路代码。即使在修补漏洞后，开发者表示 Zcash 的隐私模型阻止任何人确切证明隐藏的通胀从未发生，这促使他们开发替代屏蔽池，而不是仅仅依赖修补后的 Orchard 实现。
Ironwood 引入了一个独立的会计系统，拥有自己的笔记承诺树、无效集和链值池，允许节点独立跟踪新的屏蔽池。根据项目的技术文档，该升级还安装了一个称为旋转栅门的公共会计检查点，允许资金离开 Orchard，同时防止离开的价值超过合法进入旧池的价值。
开发者表示，该机制旨在将任何假设的伪造币困在 Orchard 内部，同时允许独立验证 Zcash 的流通供应继续遵守网络 2100 万 ZEC 的发行上限。
形式化验证增强了 Ironwood 的安全模型
在网络激活的同时，Project Tachyon 宣布研究人员完成了一项机器检查的数学证明，覆盖了 Ironwood 的余额完整性，为新的屏蔽池在其声明的密码学假设下无法创造超出公开进入的价值提供了额外保证。
据 Project Tachyon 称，该证明是用 Lean 编程语言编写的，包含超过 2,700 个定理，由三个研究团队和密码学家团队在一个多月内开发完成。
研究人员表示，他们的工作正式验证了余额完整性所需的组件，包括 Ironwood 的零知识证明系统、电路规则和账本级会计。他们还澄清说，该验证不涉及 Ironwood 独立的隐私保证。
Zcash 联合创始人 Sean Bowe 在评论这项工作时表示，跨团队合作消除了新 Ironwood 协议中所有无法检测的伪造漏洞来源。
新的屏蔽池还整合了 ZIP 2005 量子可恢复票据，允许在未来量子计算进步削弱当前密码保护时提供恢复机制。根据 ZIP 规范，该功能不会使当前的 Zcash 交易具备量子安全性，因为未来仍需设计和激活单独的恢复协议。
生态系统团队协调了部署
Ironwood 由 Shielded Labs、Zcash 开放开发实验室 (ZODL)、Project Tachyon、Valar Group 和 Zcash 基金会合作开发。
由 Zcash 创始人 Zooko Wilcox 联合创立的 Shielded Labs 最初提议在漏洞公开后替换 Orchard，以恢复可验证的供应会计。
与此同时，ZODL 执行董事 Josh Swihart 在 X 上表示，在 Orchard 替换工作中，他所在组织的工程师贡献了 Zcash 协议和钱包仓库中 82% 的合并更改。Swihart 补充说，Orchard 在五天内被打上补丁，开发人员在大约 60 天内完成了替换过程。
NU6.3 升级还完成了网络中另一项长期计划的过渡。据 Zcash 基金会称，较旧的 zcashd 节点软件不再支持新的共识规则，使得 Zebra 成为激活后必需的节点实现。
在 Ironwood 上线网络之前，Shielded Labs 执行董事 Jason McGee 曾警告，交易所、钱包提供商和矿池正在同时准备从 zcashd 迁移到新的 Z3 软件栈，同时还要为 Ironwood 进行升级。McGee 表示，一些基础设施运营商需要额外时间，但最终没有做出推迟网络升级的决定。
随着 Ironwood 现已上线，Orchard 迁移正在进行中，重点已转向通过旋转门转移剩余的屏蔽资金，同时网络在新的会计模型下逐步淘汰旧池。
