在概念上,ZK-SNARK证明挺容易理解,只要将上图中Merkle证明替换为证明这些Merkle证明存在的ZK-SNARK。一个ZK-SNARK证明的计算成本约为400,000 gas,并占用约400字节的数据(与基本交易相比,基本交易的计算成本为21,000 gas,数据大小为100字节,在未来可以通过压缩减少到约25字节)。因此,从计算角度来看,ZK-SNARK的成本是当前基本交易成本的19倍,从数据角度来看,ZK-SNARK的成本是基本交易成本的4倍,也是未来基本交易成本的16倍。
尽管这些数字相比Merkle证明有了显著改进,但它们仍然相当昂贵。要改进这一点有两种方法:(一)特殊用途的KZG证明,或者(二)聚合,类似于ERC-4337聚合,但使用更复杂的数学。我们可以研究这两种方法。
6 |* u- u( `+ V& ?" k9 J" w