Zcash激活Ironwood升级，发现未公开漏洞后封存Orchard池

区块链文库报道：

Zcash 激活 Ironwood 升级，在发现未公开漏洞后封闭 Orchard 池

Zcash 正式启动了 Ironwood（NU6.3）升级，封闭了此前持有约 366 万枚 ZEC 的 Orchard 屏蔽池，并开启了一个从零枚代币起步的新隐私池。

开发者修复关键漏洞，迁移流程启动

决定停用 Orchard 池，源于其证明电路中发现了重大漏洞。Shielded Labs 的研究员 Taylor Hornby 于 5 月 29 日识别出该缺陷，揭示其可能允许在区块链上不留痕迹地创建伪造的 ZEC 代币。该漏洞自 2022 年 5 月 Orchard 上线以来便存在，引发了对 Zcash 隐私池完整性的担忧。

开发者在数天内迅速实施了补丁。然而，漏洞存在长达四年之久，加之屏蔽池提供的隐私保护，使得无法验证是否有伪造代币被生成。区块链上仅包含有效的密码学证明，而非具体交易细节。

为防止任何未经验证的 ZEC 从 Orchard 池流出，Ironwood 现在强制执行了一种转门机制。这种会计保障措施确保提现上限不超过已可验证的存款金额，从而有效冻结了那些无法追溯至真实流入的铸造代币。

Zcash 的新转门机制确保从 Orchard 池提取的 ZEC 总量不超过此前记录的存款总额，从而锁定了可能存在于屏蔽池中的任何潜在伪造代币。

小词典： 屏蔽池（Zcash）——Zcash 区块链上的一个隐私分区，交易金额和参与者通过密码学证明被隐藏，使其链上活动匿名化。

Ironwood 引入增强安全保障

Ironwood 对 Zcash 协议而言是一次重大升级，其意义远超安全性。每枚转入新池的代币都会留下一条记录，该记录设计为即便量子计算机最终破解了当前密码学，也能保持可恢复性。这种“抗量子”设计遵循 ZIP 2005 规范，自 Ironwood 的第一个区块起便已生效。

此外，Ironwood 的证明电路正在进行形式化验证。这种数学方法确保软件在所有潜在场景下都能正确运行，而不仅仅是在手动测试所考虑的范围内，从而降低了未来出现类似漏洞且未被发现的可能性。

迁移的速度取决于用户选择将 ZEC 从 Orchard 池转移至新池的速度。根据链上追踪数据，截至周二，已有约 1500 枚 ZEC 完成转移。

Zcash 网络上的屏蔽池通过利用零知识证明来提供隐私，这是一类密码学技术，能够在验证交易真实性的同时隐藏交易细节。

对 Zcash 供应量与网络监控的影响

随着 Ironwood 在区块 3,428,143 处激活，Orchard 池现已封闭。所有者必须自行迁移各自的代币才能参与新池。在用户驱动的迁移完成之前，Zcash 的大部分隐私供应量仍保留在 Orchard 池中，转门机制将阻止其余额的任何增加。

追踪 ZEC 在不同池之间的流动，为社区提供了持续保障，以防范潜在的伪造代币问题。进出两个池的资金公开可见，但其内部流动仍保持隐私。

旧池（Orchard）：关闭时持有 366 万枚 ZEC；漏洞自 2022 年 5 月起存在；无形式化验证；无转门机制，存在未经验证提现的风险。

新池（Ironwood）：启动时持有 0 枚 ZEC；首日迁移 1500 枚 ZEC；抗量子且正在形式化验证；转门机制将提现限制为已验证存款。

升级前 ZEC 交易价格接近 463 美元，单日下跌 8%，周跌幅达 15%，但仍远高于一年前水平。需关注的关键数据仍是 ZEC 持有者从 Orchard 池迁移至 Ironwood 池的规模，该过程完全由个体所有者控制。