Zcash Ironwood升级修复4年漏洞，封存366万ZEC矿池

区块链文库报道：

区块链安全新闻

Zcash（ZEC）于7月28日在区块高度3,428,143处激活了一项名为Ironwood的网络升级。该升级正式名称为NU6.3，永久关闭了Orchard屏蔽池。与此同时，一个全新的池子开启，其中初始余额为零。所有在Orchard中持有资金的ZEC用户必须手动将代币转入新池。

升级时，Orchard池中持有约366万枚ZEC。按7月28日每枚约463美元的价格计算，这些代币总价值约17亿美元。升级激活后，新代币将无法再进入Orchard池。

潜伏四年的漏洞引发应对

Shielded Labs研究员Taylor Hornby于5月29日发现了Orchard证明电路中的一个缺陷。该漏洞可能允许攻击者铸造假ZEC，且不会在区块链上留下任何可见记录。该漏洞自2022年5月Orchard上线以来便存在，意味着它在被发现前已活跃了四年。开发者在发现后数天内发布了补丁。

补丁修复了此后的代码，但无法解决四年间的不确定性。Orchard是一个屏蔽池，它利用零知识证明来隐藏交易金额和参与者身份。这些证明在确认交易有效的同时，不透露任何底层细节。由于这一设计，区块链上并未记录这四年间池内发生的实际交易。

一份7月发布的研究报告显示，现有证据并不支持漏洞被利用的说法。在漏洞活跃的每一年里，Orchard的余额都在稳步增长，包括去年价格上涨期间。任何伪造代币后进行的出售行为，都会表现为池内净流出。然而，在整个四年期间，并未记录到任何此类净流出。

转门机制锁定无法证明的遗留问题

Ironwood升级通过一项名为“转门”的规则解决了剩余的不确定性。转门位于Orchard池与新池之间的边界，它将从Orchard池中提取的总量上限设定为已被验证存入该池的金额。任何可能存在的伪造代币都无法离开，因为池子不会释放超过已被证明进入的金额。

根据追踪数据，截至升级激活时，已有1500枚ZEC转入新池。剩余的366万枚ZEC将留在Orchard池中，直到每位持有者自行选择迁移。新池上线时具备了两项Orchard从未有过的保护措施。交易记录设计为即使在量子计算机最终破解当前加密标准时也能保持可恢复性，这一特性由ZIP 2005定义。此外，证明电路正在接受形式化验证，这是一个数学过程，用于确认代码在每一种可能的输入下都能正确运行。该验证旨在防范与影响Orchard同类别的漏洞。ZEC在7月28日交易价格约为463美元，当日下跌约8%，过去一周下跌15%，但仍比一年前高出约十倍。