Zcash宣布，新推出的Ironwood隐私池正在进行“形式化验证”，以排除所有不可检测的假币铸造漏洞。
Ironwood池是在该项目的主力隐私池Orchard被发现一个可能铸造新ZEC代币的假币漏洞后，作为解决方案提出的。
然而，鉴于Zcash协议强大的隐私设计，无法验证该漏洞是否曾被利用。
六月初，该领域知名人物，如Arthur Hayes，抛售了其持有的ZEC，并抨击该项目缺乏能力证明该漏洞未被用来铸造新代币。
这种市场恐惧、不确定性和怀疑情绪打击了市场情绪，将ZEC价格从640美元拖低至251美元，三天内暴跌超过60%。顶级隐私支持者试图平息市场波动的努力未能奏效。
ZEC价格的暴跌直到该项目提出一个新的可审计的Ironwood隐私池后才有所缓解。这个新池拥有内部机制，可以在不损害隐私的情况下验证ZEC供应量。
现在，这是该池首次接受‘形式化验证’，以测试其是否按设计工作。
这会重振对Zcash的信任吗？
对于该项目而言，上月发现的漏洞将因新的可审计Ironwood隐私池而成为最后一个此类漏洞。
最近在Orchard池中发现的不可检测的假币漏洞并非Zcash中首次出现。得益于对Ironwood的形式化验证，这将是最后一次。
针对此更新，隐私倡导者、Helius Labs创始人Mertz Mumtaz称此举“意义重大”。
这意义重大。我来解读一下：这使得未来在Zcash中出现不可检测的假币漏洞在数学上成为不可能。这曾是私密货币面临的最大权衡，而Zcash已经解决了它。
在他看来，市场需要一段时间来理解这次更新，但他预计这最终会将ZEC推高至每枚1万美元。
除了上月的漏洞问题外，该协议还在推进其抗量子可恢复钱包的计划。综合来看，形式化验证、隐私性和抗量子技术的推进可能有助于重建对该协议的信任。
话虽如此，尽管上月在漏洞引发的市场恐慌中赎回了近100万枚ZEC，Orchard池仍在隐私池供应量中占据主导地位。
截至撰稿时，Ironwood池的供应量为零，它是否会吸引ZEC用户还有待观察。
ZEC会重拾上涨动能吗？
在价格图表上，Zcash [ZEC]价格在此次更新后上涨了6%，触及512美元。
只有当ZEC果断收复500美元作为支撑位时，才能确认进一步的复苏。如果实现，则可能还有30%的上涨潜力，目标看向640-680美元。否则，若在500美元遭遇阻力，则可能将ZEC拖回380美元（200日简单移动平均线，蓝线）。
最终总结
- Zcash已开始对Ironwood隐私池进行形式化验证，以消除在Orchard池中出现的不可检测的假币铸造漏洞。
- 如果此次更新能重建对该协议的信任，ZEC可能带来额外超过30%的涨幅。
