Zcash已完成Ironwood网络升级，用经过正式验证的新屏蔽池替换了存在漏洞的Orchard池，该池旨在防止不可检测的伪造代币，同时开始将屏蔽资金迁移至新池。
摘要
Zcash激活了Ironwood升级，并用新的正式验证屏蔽池取代了Orchard。Ironwood新增了供应安全机制，而Orchard目前仅支持资金提取。研究人员完成了一项机器检查证明，确认在Ironwood的设计假设下无法创建不可检测的伪造ZEC。已有超过4万ZEC迁移至Ironwood，而约360万ZEC仍留在Orchard。
根据Project Tachyon和Zcash开发团队的说法，Ironwood于周二在区块高度3,428,143通过NU6.3网络升级如期激活，引入了新的屏蔽池。开发者表示，在Orchard问题引发担忧后，该升级恢复了人们对Zcash供应完整性的信心。
Zcash's biggest network upgrade in years is now live
— Gemini (@Gemini) July 28, 2026
Ironwood brings:
– A new Ironwood shielded pool
– Stronger security guarantees for shielded transactions
– Independently verifiable supply integrity
– Privacy remains protected
– A stronger foundation for the Zcash network
At… https://t.co/NK13aDnvbk
此次激活是在多个Zcash组织经过数月工作后进行的，此前研究人员披露了一个理论上可使攻击者在不被公开检测的情况下创建伪造ZEC的漏洞。虽然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编程语言编写，包含超过2700个定理，由三个研究团队和密码学家耗时一个多月开发。研究人员表示，他们的工作正式验证了余额完整性所需的组件，包括Ironwood的零知识证明系统、电路规则和账本级会计。他们还澄清，该验证不适用于Ironwood的单独隐私保证。
Zcash联合创始人Sean Bowe在评论此工作时表示，跨团队努力消除了新Ironwood协议中不可检测伪造漏洞的来源。
Soundness of our zk-SNARK would have been great on its own. But a cross-team collaboration has just changed Zcash's history forever, eliminating all sources of undetectable counterfeiting bugs from the new Ironwood protocol. https://t.co/BUciBdzUJV
— Sean Bowe (@ebfull) July 28, 2026
新屏蔽池还整合了ZIP 2005量子可恢复备注，允许在未来量子计算进步削弱当前密码保护时提供恢复机制。根据ZIP规范，该功能并未使当前的Zcash交易达到量子安全，因为仍需要设计并激活单独的恢复协议。
生态系统团队协调部署
Ironwood由Shielded Labs、Zcash Open Development Lab（ZODL）、Project Tachyon、Valar Group和Zcash Foundation合作开发。由Zcash创始人Zooko Wilcox联合创立的Shielded Labs最初提议在漏洞公开后替换Orchard，以恢复可验证的供应核算。与此同时，ZODL执行董事Josh Swihart在X上表示，在Orchard替换工作中，其组织的工程师贡献了Zcash协议和钱包代码库中82%的合并更改。Swihart补充说，Orchard在5天内得到修补，随后开发者在约60天内完成了替换过程。
NU6.3升级还完成了网络另一项长期规划的过渡。根据Zcash Foundation的说法，较旧的zcashd节点软件不再支持新的共识规则，使得Zebra成为激活后所需的节点实现。在Ironwood上线前，Shielded Labs执行董事Jason McGee曾警告，交易所、钱包提供商和矿池正同时准备从zcashd迁移至新的Z3软件栈，同时为Ironwood升级做准备。McGee表示部分基础设施运营商需要额外时间，但最终未决定推迟网络升级。
随着Ironwood现已上线且Orchard迁移正在进行，焦点已转向通过旋转门移动剩余屏蔽资金，同时网络在新的会计模型下逐步淘汰旧池。