Zcash 激活 Ironwood，Orchard 因漏洞转为仅退出模式
NU6.3 关闭了 Orchard 的新增屏蔽活动，启用了替代资金池，并启动迁移。目前已有超过 40,000 ZEC 转入 Ironwood，而约 3.6 million ZEC 仍留在 Orchard。
ZEC
事实核查
《加密货币时报》的文章证实了该说法的所有要素：Ironwood（NU6.3）将于 2026 年 7 月 28 日在区块 3,428,143 激活；创建一个新的受屏蔽资金池；冻结/限制旧的 Orchard 资金池；引入一个公开记账的旋转门机制；其起因是一项关键的健全性缺陷，引发了对无法被察觉的伪造行为的担忧。TechTimes 和 BitcoinFoundation 也分别证实了相同的区块高度（3,428,143）和 7 月 28 日这一日期。鉴于 event_time 为 7 月 28 日，而当前日期为 7 月 27 日，“明天”这一表述准确无误。多家独立来源结论一致，且不存在相互冲突的证据。
摘要
Zcash 于 7 月 28 日通过 NU6.3 在区块 3,428,143 激活 Ironwood 网络升级。在 Orchard 的零知识电路发现严重漏洞、理论上存在无法被察觉的伪造 ZEC 风险后，Orchard 被永久置于仅退出模式，同时启用了替代性的屏蔽资金池。已有超过 40,000 ZEC 转入 Ironwood，而约 3.6 million ZEC 仍留在 Orchard，等待迁移。Ironwood 采用了一个 turnstile 机制，将 Orchard 的提款限制在可验证存入的金额范围内，从而阻止任何假设存在的超额代币进入新资金池。研究人员表示，在既定密码学假设下，一份由机器检验的 Lean 证明涵盖了超过 2,700 条定理，正式验证了 Ironwood 的余额完整性。升级后，ZEC 一度下跌约 9% 至约 $460，随后回升至约 $475。
术语与概念
- turnstile: 一种协议检查点，用于将可从 Orchard 转出的 ZEC 数量限制在可证明已流入该资金池的金额范围内。
- formal verification: 一种数学过程，用于证明软件或协议逻辑满足特定性质。
- balance integrity: 在既定假设下，确保屏蔽资金池无法创造或支付超过其合法流入价值的保证。