在接下来一个系列的文章中将为你一一介绍，从零知识证明的概念一直到零知识证明背后的密码学实现。
谈到ZKP算法，大伙可能听过一些，比如zk-snark，zk-stark, bulletproof， aztec， plonk等等。今天，咱就给大伙聊聊这一对“表面兄弟”，zk-stark和zk-snark算法的异同之处。
ZK Rollup 可扩展性解决方案的基础是让大的计算任务（或者一大批小的计算任务）在链下执行，链下的计算资源富足得多；然后生成出计算执行过程的有效性证明并发送到区块链上（伴随着一个对新状态的承诺）；然后由一个验证者智能合约来验证这些证明。通过验证之后，网络参与者就能相信整个计算是有效的。
吴寿鹤
juneocean
EthFans