区块链 | 以太坊layer 2 数据可用性解决方案 ZK Rollup

Rollup 是继 Plasma 和状态通道之后最新的一代扩容方案的概念统称，从具体方案上又会分为 ZK Rollup 和 Optimistic Rollup 两类。ZK Rollup 是利用零知识证明这类密码学技术确保网络和数据的安全性，而 Optimistic Rollup 则是利用类似 Plasma 的「欺诈证明」，以博弈机制确保网络的安全性。

 

什么是 Rollup？

Rollup 是一种类似于 Plasma 的 Layer-2 扩展方案：用主链上的单个合约来保管所有的资金，并保存一条指向 “侧链” 状态的简洁密码学承诺（通常来说就是一棵由账户、账户余额等状态组成的默克尔树）。侧链的状态是由用户以及链下运营者来维护的，不会占用 Layer-1 的存储空间（这种对存储空间的节约才是可扩展性优势的最大来源）。

Rollup 与 Plasma 有所不同的是，Plasma 会面临交易数据可用性的问题（也是 Plasma 最大的问题）。而 Rollup 则通过在 Layer-1 网络上为每一笔交易公开一些数据解决了这个问题（具体而言，在以太坊上是通过 CALLDATA 交易来实现这个目标的）。因此，几千笔交易可以被打包（roll up）到一个 Rollup 区块中。虽然这种方法的开销是 O(n)，也就是说它的开销会随着交易数量的增加而严格线性增长，但它也提供了实用的 100 倍吞吐量提升，因为 CALLDATA 的开销要比 Layer-1 的存储和计算便宜很多。

Rollup 也一再被 Vitalik Buterin 认可为他最喜欢的 Layer-2 扩展方案。

根据状态转换有效性的保证方式不同，可区分出来两种 Rollup 方案：ZK Rollup 以及 Optimistic Rollup。

什么是 ZK-Rollup（ZKR）？

ZK Rollup 是一种用于以太坊的可扩展性方案，通常是被定义为 Layer 2 的解决方案。它能处理更多交易，更快速并且成本更低。它在链下批量执行所有计算，并且只向以太坊提交一个小的零知识证明（不能是伪造的证明）进行验证。由于以太坊会验证这些证明，并且存储足够的数据来准确判断链下账户的状态，因此 zkRollup 拥有以太坊层级的安全性。

ZK-Rollup 中的 ZK 意思就是零知识证明，Rollup 大家可以把其看成是汇聚打包，零知识证明框架目前有好多种，路印协议最终选定了zkSnark作为背后的零知识证明框架，主要是因为zkSnark 的证明数据大小是目前最小的，这就意味着链上成本能做到最低，同时生成证明所必须的链下计算成本也不算高，技术框架本身也已经过 ZCash 多年的实践考验过的。

ZK Rollup 的逻辑是，所有资金由主链上的智能合约持有，而计算和存储则在链下执行。每个 Rollup 区块都会生成一个状态转换零知识证明（SNARK），并通过主链合约进行验证。

在一个 ZK-Rollup 系统中，运营者（们）必须为每一次状态转换提供一个简洁的零知识证明（SNARK）；该证明将由主链上的 Rollup 合约来验证。这样的一个 SNARK 证明了存在一些交易，这些交易是由发起人正确签名过的，并且正确地更新了相关账户的余额，并使旧的默克尔根值变为代表新状态的新值。这就杜绝了运营者提交无效状态或篡改状态的可能。

ZK Rollup 能做到大幅提升，最主要的原因是对交易数据进行了压缩。而打包交易和验证交易的方式是通过 zk-SNARK 技术实现的，这样就能大幅度减少交易成本，确保安全性，也可以解决 Plasma 之前遇到的问题。根据 Hermez 白皮书中的计算，相比以太坊主网交易需要超过 109 字节而言，「压缩」过的 ZK Rollup 交易只需要 8 字节。减少了每笔交易的数据量，也就能增加网络整体的交易吞吐量。

 

什么是 Optimistic Rollup？