干货 | 区块链的热门主力方案Rollup是什么?

链金投研

    ?最近,以太坊创始人Vitalik Buterin在一篇题为“混合式二层协议的曙光” 的文章里对Rollup方案大加赞赏,认为它为智能合约的可扩展性打开了大门。
    那么什么是Rollup?它包括哪些主流方案?这些方案各自有什么优缺点?它们未来发展的前景如何?
    Rollup的出现
    最近几年,以太坊二层(Layer-2)扩容技术得到了迅猛发展。
    所谓二层,就是将一部分资金存储在主链智能合约里,在保证足够安全的前提下,把一部分交易放到主链之外进行,就好像链下多出来了一层网络。
    
    在二层方案里表现比较突出的就是状态通道和 Plasma侧链。虽然这两种方案诞生时间很早,但是发展的却比较缓慢。其背后的原因归根结底是数据的可用性问题。
    就在二层扩容技术举步维艰的时候,一种名叫 Rollup的新方案被提了出来。
    但是与状态通道和Plasma不同的是,它可以“打包”交易,并将“打包”后的交易数据连同一个SNARK零知识证明发布到链上。
    打包的正确性可以通过零知识证明来见证,负责“打包”的操作者不可能发布恶意或无效的交易。这就是后来被Vitalik Buterin称之为ZK Rollup 的二层扩容方案。
    ZK Rollup并非万能,它遇到的最大问题就是通用性。除非要证明的交易非常简单,否则创建SNARK证明的成本会非常高。
    因此,一种名叫Optimistic Rollup的折中方案被提了出来。
    Optimistic Rollup同样也是把交易数据都放到链上,但不是用SNARK做见证,而是采用“加密经济学有效性博弈”来实现有效性验证。
    
    作为一种提高区块链吞吐量的技术,Rollup可以在有效提高网络吞吐量的同时,避免对协议层进行大量的更改,部署Rollup也不需要对网络发起硬分叉升级。
    目前已经有许多以太坊上的项目(如Celer,ANON等)采用了Rollup协议来提高Dapp的吞吐量和用户体验。
    
    Rollup是如何工作的?
    链上有一个智能合约,它维护状态根:rollup状态的Merkle根(意思是,“余额”内的帐户余额,合同代码等)。
    
    任何人都能够以高度压缩的形式发布批处理,交易集合以及先前的状态根和新的状态根(处理交易后的Merkle根)。
    合同检查批处理中的先前状态根是否与其当前状态根相匹配;如果是这样,它将状态根切换到新的状态根。
    
    为了支持存款和提款,我们增加了使输入或输出处于rollup状态“之外”的交易的功能。
    如果批次具有来自外部的输入,则提交该批次的事务也需要将这些资产转移到rollup合同中。
    如果某个批次有外部输出,则在处理该批次时,智能合约会启动这些提款。
    就是这样!除了一个主要细节:如何知道批次中的状态后根是正确的?
    如果某人可以提交具有任何后期状态根源的批次而没有任何后果,那么他们可以将rollup中的所有Token转移给自己。
    这个问题很关键,因为有两个非常不同的解决方案系列,而这两个解决方案系列就导致了两种rollup方式。
    Optimistic Rollup与ZK Rollup
    Rollup的两种类型分别是Optimistic rollup和ZK Rollup。
    1、Optimistic Rollup
    Optimistic rollup,使用欺诈证明—rollup合同会跟踪其整个状态根历史以及每个批次的哈希值。
    如果有人发现某个批次的状态后根不正确,则发布需要链的证明,以证明该批次的计算不正确。合同将验证证明,并还原该批次及其之后的所有批次。
    2、ZK rollup
    ZK rollup,使用有效性证明—每个批次都包含一个称为ZK-SNARK的加密证明(例如,使用PLONK协议),这证明后状态根是执行批次的正确结果。
    无论计算量有多大,都可以在链上非常迅速地验证证明。
    
    总的来说,我个人认为,在短期内,对于通用EVM计算而言,乐观可能会胜出;而对于简单付款,交易和其他特定于应用的用例,ZK可能会胜出。
    随着ZK-SNARK技术的改进,中长期ZK将在所有用例中胜出。
    Rollup工作细节
    在Optimistic Rollup中,首先我们需要设立一个可信任的节点,这个节点负责收集所有的交易信息、验证然后打包.
    打包后的信息集合将带上该节点的签名发送到区块链网络中。
    
    当一个可信节点设置成功后,该节点将成为Rollup节点,这个节点需要同全节点一样,下载整个区块数据并实时更新区块状态。
    我们仍旧以之前那个公司为例,假设目前有2000笔交易正在等待执行,公司的员工会将2000笔交易发给Rollup节点。
    之后,Rollup节点需要根据已有的状态和区块数据,对交易进行验证,并保存以下数据集(交易内容,交易前状态,交易后状态)。
    当Rollup节点对所有交易完成了验证与执行并生成数据集后,节点需要对这个数据集进行签名,即Sig Rollup节点(交易内容,交易前状态,交易后状态)。
    最后将签名与数据集整合到一笔交易中,这个交易被称作断言Assertion,发送到区块链网络等待其他节点验证即可。
    需要注意的是,网络中的其他节点并不会验证Rollup节点发来的数据集,仅仅只验证其签名,验证完毕后将根据数据集更新区块链网络状态。
    
    正如它的名称“Optimistic Rollup”,实际上所有的Rollup协议由于将交易验证从链上转移到了链下,因此都是一种基于“乐观”的假设—假设大多数情况下Rollup节点不会作恶。
    但光有乐观假设是不足的,节点总会因为各种各样的原因出现问题。
    为了避免这些节点恶意行为,提高作恶成本,Optimistic Rollup中还有如下机制:
    一方面,Rollup节点需要向网络质押一定额度的Token,这些Token有一定的解锁时间,并会在Rollup节点做出恶意行为时被罚没。
    另一方面,Rollup节点所提交断言不会被网络立即认可,所以存在一定时间的窗口期(一般是1周)。
    
    如果其他节点认为该Rollup节点提交的断言存在恶意行为,节点可以质押一定押金并对该断言发起挑战。
    并且区块链中的出块/验证节点会对该断言中的所有内容(包括数据集)进行重新验证、执行,比对交易状态的差距。
    如果的确存在恶意行为,那么Rollup节点的押金会被罚没,则发起挑战的节点则会获得一定奖励。如果不存在恶意行为,则发起挑战节点的押金会被罚没。
    另外,在窗口期结束时没有其他节点对断言发起挑战的话,断言中的状态信息将会被系数更新至区块链状态中。
    
    Optimistic Rollup可以将多个交易信息经可信第三方聚合为单笔信息,由于交易中的状态变更情况是由链下节点验证而非链上节点验证。
    因此降低了区块链上节点的验证难度(仅需要验证Rollup节点所提交的签名,并更新由该节点提交的状态信息即可)。
    数据集虽然看起来并没有较单个交易的叠加更小,但数据集因为不会受链上节点的验证,故不需要为其支付高昂的手续费。
    依靠这种Layer2处理方案,可以很容易的提高区块链的有效吞吐量。
    ZK Rollup是如何工作的?
    一个简单的以太交易(发送ETH)需要约110个字节。但是,Rollup上的ETH传输仅占用约12个字节。
    ZK特有的一个重要压缩技巧是,如果事务的一部分仅用于验证,而与计算状态更新无关,则可以将该部分留在链下。
    这不会完全在乐观的状态下完成,因为如果以后需要在欺诈证明中检查数据,则仍需要将数据包含在链上。
    而在ZK中,SNARK证明批次的正确性已证明任何数据提供了验证所需的信息。
    
    还有一个重要的例子是隐私保护,在乐观的状态下,每笔交易中用于隐私的约500字节需要进行保留,而在ZK中,覆盖整个批次的ZK-SNARK已经没有了。
    这些压缩技巧是Rollup可伸缩性的关键。没有它们,Rollup可能只会使基础链的可伸缩性提高约10倍,而采用压缩技巧时,缩放系数几乎可以超过100倍所有应用程序。
    分析
    Rollup的基本概念现在已经得到了很好的理解,但我们可以肯定它们在根本上是可行且安全的,并且已经将多个Rollup部署到了主网上。
    但仍有很多Rollup设计领域尚未得到很好的探索,充分利用以太坊的可伸缩性,将以太坊生态系统的大部分完全整合到Rollup中还将面临很多挑战。
    Rollup是一种强大的新的2层伸缩范例,在短期和中期的未来(以及可能也是长期的)中,有望成为以太坊伸缩的基石。
    投资有风险,本文观点和意见仅代表作者本人,并不构成任何建议。