Zcash 最重要的隐私机制之一中存在的一个理论性缺陷，使其开发者进入了一些人所形容的“战时模式”冲刺。其结果就是Zcash Ironwood 升级：一个经过形式化验证的替代受保护池，已在区块高度 3,428,143 随 NU6.3 网络升级激活——这是该网络历史上最具影响力的安全性大改之一。
Summary
要点速览
- Zcash Ironwood 升级通过 NU6.3 硬分叉在区块高度 3,428,143 激活，以一个经过形式化验证的替代方案取代了存在漏洞的 Orchard 受保护池。
- 研究员 Taylor Hornby 在 5 月下旬发现了 Orchard 中的一个“无穷大（infinity）”漏洞，该漏洞在理论上可能允许在不留下任何可公开检测痕迹的情况下伪造 ZEC。
- 一份由超过 2,700 条定理组成的机器检验数学证明确认，在其设计假设下，Ironwood 无法生成不可检测的伪造 ZEC。
- 目前约有 40,207 枚 ZEC 已迁移至 Ironwood，而大约 360 万枚 ZEC 仍留在 Orchard 中，该池现在已被限制为仅可提现。
- 此次升级使 Zebra 成为必需的节点实现，结束了对旧版 zcashd 软件的支持。
是什么迫使 Zcash 做出这一决定
故事始于 5 月下旬，当时 Shielded Labs 的研究员 Taylor Hornby 发现了后来被 Zcash 社区称为 Orchard“无穷大（infinity）”漏洞的问题——这是隐藏在 Orchard 零知识电路深处的一个缺陷，在理论上存在铸造伪造 ZEC 且不留下任何可公开检测痕迹的风险。虽然没有证据表明该漏洞曾被利用，但这种可能性本身就足够造成打击：在披露公开后，ZEC 价格跌去了超过一半。
6 月上旬部署的紧急补丁暂时禁用了 Orchard，并在五天内通过 NU6.2 硬分叉引入了修正后的电路。但仅仅修补电路还不够。由于 Zcash 隐私模型的工作方式，开发者表示，从数学上不可能以绝对确定性证明旧池中从未发生过隐藏通胀。这一限制使得彻底替换——而不仅仅是修复——成为恢复可验证供给完整性的唯一途径。
从补丁到完全替换，仅用 60 天
选择废弃重建而不是打补丁后继续前行，是这次事件中最关键的战略决策。Shielded Labs 联合创始人 Zooko Wilcox 最初提出直接替换 Orchard，随后在 Shielded Labs、Zcash Open Development Lab（ZODL）、Project Tachyon、Valar Group 和 Zcash Foundation 之间展开了大约 60 天的协同开发。
ZODL 执行董事 Josh Swihart 表示，在此次替换工作中，他所在机构的工程师贡献了 Zcash 协议和钱包代码库中 82% 的合并变更。Shielded Labs 执行董事 Jason McGee 曾指出，基础设施运营方——交易所、钱包服务商、矿池——在为 Ironwood 做准备的同时，也在从 zcashd 切换到新的 Z3 软件栈，不过最终并未因此推迟升级。
Ironwood 如何重塑 Zcash 的安全模型
Ironwood 并非 Orchard 的简单修补版本。它引入了一个完全独立的记账系统，拥有自己的记名承诺树（note commitment tree）、废止记录集合（nullifier set）以及链上价值池，使任何节点都可以独立于此前的一切来追踪新的受保护池。
此次升级还安装了一个公开记账检查点——项目方将其描述为“闸机（turnstile）”。资金可以通过这道闸机离开 Orchard，但该机制在数学上阻止从旧池中流出的价值超过合法流入的总量。其预期效果很直接：任何在漏洞出现前或期间假设性铸造的伪造币，都将被永久困在 Orchard 中，无法污染 Ironwood 的供给记账。
量子可恢复记名与前瞻性设计
除了供给安全护栏，新池还引入了ZIP 2005 量子可恢复记名（quantum-recoverable notes）。这一特性并不会让 Zcash 交易在今天就具备量子安全性——未来仍需设计并激活单独的恢复协议——但它为在量子计算进展削弱当前防护时，构建此类机制奠定了密码学基础。
NU6.3 升级还通过将 Zebra 设为必需的节点实现，完成了一项筹划已久的过渡，结束了对旧版 zcashd 软件在全网范围内的支持。
形式化验证：2,700 条定理的保障
Ironwood 上线中在技术上最具特色的部分，是由 Project Tachyon 与 Zcash 开发者共同完成的机器检验数学证明。该证明使用 Lean 编程语言编写，由三支研究与密码学团队在一个多月时间里开发出的 2,700 余条定理组成——并在其声明的设计假设下，形式化验证了 Ironwood 无法生成不可检测的伪造 ZEC。
该证明覆盖了实现余额完整性所需的组件：Ironwood 的零知识证明系统、其电路规则以及账本层面的记账。Zcash 联合创始人 Sean Bowe 用尖锐的措辞描述了这项工作：“一次跨团队协作刚刚永远改变了 Zcash 的历史，从新的 Ironwood 协议中消除了所有不可检测伪造漏洞的来源。”
需要理解的一个重要边界是：形式化验证覆盖的是余额完整性，但并不扩展到 Ironwood 独立的隐私保证。供给健全性与交易隐私是不同的属性，而该证明只针对前者。
迁移进展以及 Orchard 的去向
Orchard 目前已进入仅退出阶段。该池不再接受新的受保护活动，但用户仍可按自身意愿提取资金。根据Zcash 的迁移追踪器，自激活以来，约有 40,207 枚 ZEC 已迁入 Ironwood。更大的数字——约 360 万枚 ZEC——仍留在 Orchard 中等待迁移，这代表了曾经作为网络主要隐私池的大部分存量。
据 The Block 的数据，在峰值时期，Orchard 占据了 Zcash 近 88% 的受保护代币供给，其余部分由更早的 Sapling 和 Sprout 池构成。如此庞大的历史头寸意味着迁移将需要时间，而迁移进度很可能会成为衡量用户在这次漏洞风波后，对 Zcash 隐私基础设施恢复信心程度的一个清晰信号。
随着闸机机制就位，以及形式化验证为新池的供给模型提供支撑，工程工作已经完成。剩下的问题是，更广泛的 Zcash 生态系统要多久才能缩小那 4 万枚已迁移 ZEC 与仍在另一侧等待的 360 万枚之间的差距。
常见问题
Zcash Ironwood 升级是什么？
Ironwood 是一次 Zcash 网络升级，用一个经过形式化验证的受保护池替换了存在漏洞的 Orchard 受保护池，从而增强供给安全性并维持隐私。它作为 NU6.3 硬分叉的一部分，在区块高度 3,428,143 激活。
为什么 Ironwood 升级是必要的？
该升级之所以必要，是因为在 5 月下旬于 Orchard 池中发现的一个“无穷大（infinity）”漏洞，在理论上存在生成不可检测伪造 ZEC 的风险。由于 Zcash 的隐私模型使得无法证明该漏洞从未被利用，开发者选择彻底替换 Orchard，而不是仅仅依赖补丁。
Ironwood 还能生成伪造 ZEC 吗？
根据由 Project Tachyon 与 Zcash 开发者完成的机器检验数学证明——该证明由使用 Lean 编写的 2,700 余条定理组成——在其设计假设下，Ironwood 无法生成不可检测的伪造 ZEC。该证明覆盖的是余额完整性，但并不扩展到 Ironwood 独立的隐私保证。
仍在 Orchard 池中的资金会怎样？
Orchard 已进入仅退出阶段。用户仍可从中提取资金，但该池不再接受新的受保护交易。大约 360 万枚 ZEC 仍留在 Orchard 中等待迁移至 Ironwood，而约 40,207 枚 ZEC 已经完成迁移。
{“@context”:”https://schema.org”,”@type”:”FAQPage”,”mainEntity”:[{“@type”:”Question”,”name”:”什么是 Zcash Ironwood 升级？”,”acceptedAnswer”:{“@type”:”Answer”,”text”:”Ironwood 是一次 Zcash 网络升级，用一个经过形式化验证的受保护池替换了存在漏洞的 Orchard 受保护池，从而增强供给安全性并维持隐私。它作为 NU6.3 硬分叉的一部分，在区块高度 3,428,143 激活。”}},{“@type”:”Question”,”name”:”为什么 Ironwood 升级是必要的？”,”acceptedAnswer”:{“@type”:”Answer”,”text”:”该升级之所以必要，是因为在 5 月下旬于 Orchard 池中发现的一个“无穷大（infinity）”漏洞，在理论上存在生成不可检测伪造 ZEC 的风险。由于 Zcash 的隐私模型使得无法证明该漏洞从未被利用，开发者选择彻底替换 Orchard，而不是仅仅依赖补丁。”}},{“@type”:”Question”,”name”:”Ironwood 还能生成伪造 ZEC 吗？”,”acceptedAnswer”:{“@type”:”Answer”,”text”:”根据由 Project Tachyon 与 Zcash 开发者完成的机器检验数学证明——该证明由使用 Lean 编写的 2,700 余条定理组成——在其设计假设下，Ironwood 无法生成不可检测的伪造 ZEC。该证明覆盖的是余额完整性，但并不扩展到 Ironwood 独立的隐私保证。”}},{“@type”:”Question”,”name”:”仍在 Orchard 池中的资金会怎样？”,”acceptedAnswer”:{“@type”:”Answer”,”text”:”Orchard 已进入仅退出阶段。用户仍可从中提取资金，但该池不再接受新的受保护交易。大约 360 万枚 ZEC 仍留在 Orchard 中等待迁移至 Ironwood，而约 40,207 枚 ZEC 已经完成迁移。”}}]}
本文由人工智能协助生成，并由编辑团队审核。
