Rollup方案目前是以太坊社区最为看好的方案，主要分为Optimistic Rollup和ZK Rollup以及Arbitrum Rollup。
Rollup方案其实更像是Layer1和Layer2的结合，就是把运算放到链下，然后把数据存在链上，这样就可以实现既提高运算速度，又利用了以太坊主网的安全性，又解决了数据可得性的问题。这三类Rollup的方案其实是用不同的方式解决了信任的问题。
Optimistic Rollup沿用了Plasma「欺诈证明」的方式，即任何人都可以对返回链上的数据进行验证和质疑，一旦发现问题，这些数据就将被回滚以保证安全，但是这种方式有个致命问题就是验证期的存在，通常验证期都是2周左右，也就意味着当用户想要从Layer2往Layer1转账的时候，需要等候两周左右的时间，这估计正常用户都会发疯。
ZK Rollup采用了 ZK-SNARK （简明的非交互式零知识证明，zero-knowledge succinct non-interactive argument of knowledge）的方式，有兴趣的用户可以详细了解零知识证明的相关信息，这种方式解决了验证期的问题，但其缺点是计算量大，技术难度高且难以支持虚拟机。不过ZK Rollup正在推出图灵完备的虚拟机，所以将来很有可能取代Optimistic Rollup。
Arbitrum Rollup的设计方案里有一个验证人的角色，验证人需要在链上记录，就需要发送一个主张到以太坊上。同时验证人需要存一笔保证金。如果验证人的主张是假的，那么验证节点的保证金就会丧失。当XM外汇官网xmworl.com验证人把主张发送到链上，会有一段时间任何人都可以提出自己的质疑。如果你不同意就会有争端，争端的解决机制就是 Arbitrum 能够实现可扩展性最核心和关键的所在。Arbitrum争端解决机制是这样的，如果双方对某件事持不同意见，有效的解决机制是由大到小进行拆分。比如某笔交易涉及到 10 亿步产生了争议，那么便将 10 亿步拆分成 100 份更小的主张，每个主张包含 1000 万步，这样就把 10 亿规模的争端缩小成了千万规模的。不同意的一方再从这 1000 万中挑出他不同意的，再进一步的由大化小，直到找到最关键的有争议的那一步。找到关键的一步之后，再动用以太坊的合约来决定这一步到底是正确还是错误的。通过这样的方式就可以实现高效的争端的解决。
总体过程如下，当一个节点发送了一个主张，主张是正确的，没有问题，那每 10 分钟发一个哈希。哈希到以太坊链上后没有争端，系统就可以顺利的运行下去。如果有争端则可以通过刚才介绍的高效的方式将争端由大化小，最终得到很好的仲裁，这就是Arbitrum系统高效的所在。
目前为止，这三种Rollup的方式都有了一些支持者，也有一些应用开始尝试部署。
来自 “ ITPUB博客 ” ，链接：https://blog.itpub.net/69995368/viewspace-2959017/ ，如需转载，请注明出处，否则将追究法律责任。
