Rollup被认为是一个确定性的机会。随着以太坊拥堵问题日益突出，已经有越来越多的项目在尝试Rollup解决方案，包括Synthetix、Uniswap、MCDEX等等。

哔哔News将从多个角度，分别是各个项目采用的是何种Rollup技术，各自在Rollup上的计划和进展，各自Rollup在费用、速度、功能上的体验，以及有没有空投、流动性挖矿等Rollup激励，来阐述这些项目的Rollup现状，并提供一个以太坊Rollup生态全景。

四种Rollup解决方案

目前主要有四种Rollup解决方案，分别是Optimistic Rollup、ZK Rollup、Arbitrum和Validium。

所有Rollup都在做这样几件事，一是在链下把多笔交易聚合到一起，进行批量的计算（写入交易）；二是验证交易是否正确，确保放到链上的数据是安全的；三是把确认无误的最终状态写到链上。

上面提到的四种Rollup解决方案，它们的差异主要在于“交易验证”环节。“交易验证”其实是对Rollup安全性和扩容效果的取舍。

一方面，得有可行的方法来验证交易，不能把有问题的交易和数据带到链上，破坏Layer1的安全性。另一方面，也不能为了安全把过多的验证数据和过程放到链上，这样Rollup的扩容效果就会大打折扣。

-ZK Rollup通过零知识证明技术zk-SNARK对交易进行验证。零知识证明zk-SNARK的英文全称是zero knowledge-sufficient non-interactive argument of knowledge（零知识-充分非交互知识论证）。

从名称就可以看出，零知识证明zk-SNARK是一种“充分性”的验证方式，就好像是解一道数学题，有严格的证明逻辑，按照逻辑正向推理，过程中没有漏洞。所以，ZK Rollup是四种方案中最通用、安全性最强的方案。

但同时，ZK Rollup整个验证逻辑的产出难度非常大。这也是为什么ZK Rollup适用于一些简单的交易，目前还很难支持虚拟机（VM）的原因，因为要验证这些复杂的智能合约，难度实在是太大了，需要各大团队们慢慢研究。

-Validium也采用了零知识证明zk-SNARK，它和ZK Rollup最大的区别在于，数据只在链下可用，链上账户的转账需要得到链下用户的授权。这在一定程度上引入了链下中心化的风险。也有一些观点把Validium归类到ZK Rollup方案。-

而Optimistic Rollup主要是通过“经济挑战”来进行交易验证，就好像是做一道题，把错误的答案剔除掉，让最终的状态更接近于正确。

由此可见，这个验证过程是不充分的，但验证的过程更简单。所以Optimistic能支持智能合约。Optimistic Rollup有自己内置的虚拟机VM，目前以太坊上的项目要转移到Optimistic上，需要对代码进行加工和转化。和ZK Rollup相比，Optimistic对开发者而言更方便，但是安全性有所降低。

-与Optimistic Rollup类似的Arbitrum也是采用“经济挑战”，它直接支持以太坊虚拟机EVM，也就是说现在以太坊上的应用可以直接在Arbitrum上跑，比Optimistic还要方便。此外，Arbitrum还可以支持更多虚拟机VM，但是因为适用的范围更大，机制更复杂，存在漏洞或者引入风险的可能性也更大。 (责任编辑：admin)