Zcash的后续方案重点有两个方面： 首先是开一个新的池子Ironwood，老池则进入只出不进的状态，所有从老池流出的币将强制通过一个turnstile (闸机会计) 进入新池。 如果从老池出来的币数量≤曾经合法进入的数量，等于间接证明这个池里没有增发假币。 如果超出了怎么办，那就说明有问题了，闸机 会直接卡住，超发的部分无法离开老池子，实际上被永久锁死，所以不管怎么样，都会保障固定总量。 另外， 就是如何杜绝以后再出问题，长期来说就是推动形式化验证，这也是Vitalik认为的区块链安全的最终解，这个东西可以了解一下，它没有大面积落地的原因就是技术门槛极高，成本极大，目前在一些尖端领域比如航空航天有所应用，但AI的出现有可能推动它，这是目前AI在安全防御工程中最大的贡献。而且它的特点也非常适合公链安全、智能合约安全领域。 Shielded Labs也将启动一个项目来专门实现这个事情，它会绑定到 Ironwood 网络升级的一部分。完成以后，将从数学上证明程序无bug，未来同类漏洞几乎不可能重现。(CM)