Vitalik Buterin 提议实现 ZK-SNark 特性