Zcash激活Ironwood升级，锁定17亿美元屏蔽池

Zcash于周二在区块3,428,143激活了Ironwood升级，锁定了持有网络大部分私人资金的所谓“屏蔽池”，并开放迁移至一个从零代币开始的新池。 Ironwood（正式名称为NU6.3）退役了之前的Orchard池，该池持有约366万枚ZEC，按当前价格价值约17亿美元。 追踪器显示，Ironwood在激活时持有零ZEC。每一枚代币都必须由其所有者迁移，而离开Orchard的唯一途径是一个“转门”——池边界的一项会计规则，将总提款上限限制为可验证的存款金额。 屏蔽池是Zcash的隐私侧，代币数量和参与者信息均被隐藏。零知识证明提供了存款金额在公开层面得到反映的证据。 5月29日，Shielded Labs研究员Taylor Hornby发现Orchard的证明电路存在一个漏洞，攻击者可借此铸造假ZEC，且不留任何链上痕迹。该漏洞自Orchard于2022年5月推出以来一直存在。 但CoinDesk Research在7月的一份报告发现，证据表明该漏洞未被利用。如果有人铸造了假ZEC，下一步显然是将其转移并出售，这将表现为资金离开该池。然而，在漏洞存在的四年间（包括去年价格飙升、套现最有利可图之时），Orchard的余额稳步增长。 开发人员在几天内修补了该漏洞，但修复无法覆盖其暴露的四年时间。零知识证明仅揭示其验证的事实，不透露其他信息，因此链上没有任何记录表明Orchard交易是否实际发生，也没有人能证明从未有假币被铸造。 “转门”正是应对这一问题的方案。资金进出屏蔽池是公开的，即使内部交易不公开，因此网络已知有多少ZEC存入了Orchard，并且不会释放超过该金额的资金。任何留在池内的假币都将被困住。 截至发稿时，据追踪器显示，已有1500枚ZEC迁移至新池。 Ironwood还带来了Orchard从未有过的两项保护措施。每个代币在链上留下的记录旨在即使量子计算机最终破解当前保护它的密码学，也能保持可恢复性——这一特性由ZIP 2005规定，并从第一个区块起生效。 此外，该池的证明电路（检查每笔隐私交易是否有效的代码）正在接受形式化验证，这将产生一个数学证明，表明软件在所有可能情况下都正确运行，而不仅仅是测试者想到的案例。目的是排除导致Orchard出故障的那类漏洞。 在升级前，ZEC交易价格接近463美元，当日下跌8%，周跌幅15%，但过去一年仍上涨约十倍。 接下来值得关注的数据是366万枚ZEC实际迁移的速度。迁移是自愿的、由用户驱动，在此之前，Zcash的大部分隐私供应量都留在一个无法再存入代币的池中。