Zcash Ironwood升级：果园漏洞后，它能否重建信任？

ZCash在发现 Orchard 屏蔽池的严重漏洞后，Ironwood 提出的升级方案可能有助于恢复用户信任。该方案将允许用户独立验证 ZCash激活后，通过运行节点并检查各个活跃资金池的余额，即可立即更新流通供应量。这直接解决了Orchard漏洞引发的主要问题，即用户无法独立验证是否存在伪造的ZEC。

该提案是在Zcash经历了一段动荡时期后提出的。在漏洞披露后，该项目的市值大幅下跌。 下跌超过3亿美元 由于投资者对供应链完整性的担忧，开发商做出了反应。尽管开发商表示没有证据表明该漏洞被利用，但Ironwood旨在消除不确定性并恢复可验证性。

果园脆弱性事件期间发生了什么？

问题涉及 Zcash 的 Orchard 屏蔽池，这是一个以隐私为中心的交易系统，旨在提高网络的屏蔽交易能力。

安全工程师泰勒·霍恩比 (Taylor Hornby) 于 5 月 29 日在与 Shielded Labs 合作时发现了该漏洞。他负责任地将该漏洞披露给了 Zcash 开放开发实验室 (ZODL)，后者协调生态系统参与者进行了紧急网络升级。

研究人员表示，理论上，该漏洞可能允许攻击者通过绕过加密验证过程来制造无限量的伪造ZEC。

在Anthropic公司的Claude Opus 4.8的协助下，一次有针对性的审计帮助发现了这个问题。 AI 该模型用于分析 Orchard 隐私池底层的加密电路。

据开发者称：

• 没有证据表明该漏洞被利用。
• 没有证据表明会对用户资金造成任何影响。
• 没有证据表明ZEC的总供应量发生了变化。
• 果园隐私保护措施未受影响。

问题在于 Orchard 的隐私功能使得无法通过加密方式证明漏洞在被修复之前是否已被利用。

Zcash 为什么需要铁木？

Ironwood 的主要目标是恢复供应链的可验证性。

据 Zcash 联合创始人 Zooko Wilcox-O'Hearn 称，Ironwood 将立即恢复每个用户通过运行节点来验证流通供应健全性的能力。

这意味着用户无需依赖对其他参与者行为或动机的假设。

铁木升级是如何运作的？

Ironwood 将引入一个基于 Orchard 协议构建的新型屏蔽池，该漏洞已得到修复。

该提案包含几项关键变更：

• 利用修补过的Orchard电路创建一个新的屏蔽池。
• 拒绝在当前 Orchard 池中创建新输出的交易。
• 独立安全审计。
• 对更新后的电路进行形式化验证。
• 额外的AI辅助安全审查。

目标是确保用户在激活后能够立即独立验证 Zcash 的流通供应量。

旋转闸门如何保护供应链完整性

该提案的关键部分是 Zcash 的旋转门机制。

旋转闸门会追踪流入和流出屏蔽资金池的ZEC数量。它们会拒绝任何试图转出超过合法存入金额的ZEC的交易。

铁木激活后：

• 资金不能再在现有的Orchard资金池内流通了。
• 现有的果园资金只能通过旋转门流出。
• 多余的零排放碳不能转移到其他碳池。
• 用户可以通过共识规则独立验证供应完整性。

由于这些限制，用户无需等待所有人迁移资金即可验证流通供应量。

Ironwood能否揭露是否存在造假行为？

开发人员认为 Ironwood 还可以提供证据，证明该漏洞是否曾被利用。

当用户将资金从 Orchard 转移到 Ironwood 时，假设的造假者将面临一个艰难的选择。

结果A：未发现超额ZEC

如果没有多余的 ZEC 试图离开 Orchard，这将有力地证明该漏洞从未被利用。

开发商认为，任何持有假币的人都有强烈的动机在迁移活动结束前转移这些假币。

结果 B：过剩的 ZEC 试图退出

如果过量的ZEC试图离开果园：

• 旋转闸门会阻止交易。
• 多余的硬币将被销毁。
• 造假行为的公开证据将会浮出水面。

开发人员表示，根据目前的分析，他们认为这种结果不太可能发生。

钱包用户会有哪些变化？

预计用户向 Ironwood 过渡的过程将非常简单。

我们鼓励钱包提供商支持新的资金池，并在激活后帮助用户迁移资金。

激活后的用户体验

• 现有的果园地址仍然有效。
• 用户无需生成新的接收地址。
• 钱包可以一键提示用户迁移数据。
• 发送到旧 Orchard 收款人的资金将自动进入新的资金池。

开发者指出，迁移确实会带来隐私问题，因为转账金额和时间在迁移过程中会变得可见。不过，他们认为可以通过优化钱包设计来降低这种影响。

Ironwood何时能够发射？

ZODL 目前的目标是在 2026 年 7 月下旬激活。

时间表取决于：

• 发展进展。
• 安全审查。
• 测试和验证。
• 生态系统协调。
• 基础设施准备就绪。

另一个重要因素是 zcashd 的持续弃用。

ZODL、Zcash基金会、Shielded Labs、Tachyon Group和Valar Group正在开展迁移工作，包括Zebra的采用、Zallet的开发、钱包支持的更新以及基础设施的协调。这些工作预计将影响最终的部署时间表。

结语

Ironwood旨在解决Orchard漏洞遗留的主要问题：供应量验证。该方案通过引入一个新的受保护资金池、限制现有Orchard资金池内的活动，并采用闸机式记账机制，使用户能够在激活后立即独立验证Zcash的流通供应量。 

通过正式验证、独立审计和额外的安全审查，Ironwood 旨在增强人们对 Zcash 供应完整性的信心，同时保持网络以隐私为中心的设计。

相关资源

1. Zcash联合创始人Zooko谈XShielded Labs就Ironwood提案发表声明
2. Zcash Open Development Lab on XZcash开放开发实验室（ZODL）Ironwood提案
3. Zcash on XZcash基金会协调最新进展
4. CoinDesk报道Zcash价格上涨45%，此前开发商提议推出新的“铁木”升级方案。