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

?最近,以太坊创始人VitalikButerin在一篇题为“混合式二层协议的曙光”的文章里对Rollup方案大加赞赏,认为它为智能合约的可扩展性打开了大门。

那么什么是Rollup?它包括哪些主流方案?这些方案各自有什么优缺点?它们未来发展的前景如何?

Rollup的出现

最近几年,以太坊二层扩容技术得到了迅猛发展。

所谓二层,就是将一部分资金存储在主链智能合约里,在保证足够安全的前提下,把一部分交易放到主链之外进行,就好像链下多出来了一层网络。

在二层方案里表现比较突出的就是状态通道和Plasma侧链。虽然这两种方案诞生时间很早,但是发展的却比较缓慢。其背后的原因归根结底是数据的可用性问题。

就在二层扩容技术举步维艰的时候,一种名叫Rollup的新方案被提了出来。

但是与状态通道和Plasma不同的是,它可以“打包”交易,并将“打包”后的交易数据连同一个SNARK零知识证明发布到链上。

打包的正确性可以通过零知识证明来见证,负责“打包”的操作者不可能发布恶意或无效的交易。这就是后来被VitalikButerin称之为ZKRollup的二层扩容方案。

MetaMask Bridge用户数突破9.7万,累计桥接超9400万美元资金:3月27日消息,据 Dune Analytics 数据显示,与加密钱包 MetaMask 推出的跨链桥 Metamask Bridge 交互过的用户数已达 9.7 万,共计 23.3 万笔的跨链交易累计桥接超 9400 万美元资金。

MetaMask Bridges 是一个跨链桥聚合器,目前支持 Ethereum、BNB Chain、Avalanche C-Chain、Polygon、Optimism 和 Arbitrum 等网络。[2023/3/27 13:29:13]

ZKRollup并非万能,它遇到的最大问题就是通用性。除非要证明的交易非常简单,否则创建SNARK证明的成本会非常高。

因此,一种名叫OptimisticRollup的折中方案被提了出来。

OptimisticRollup同样也是把交易数据都放到链上,但不是用SNARK做见证,而是采用“加密经济学有效性博弈”来实现有效性验证。

作为一种提高区块链吞吐量的技术,Rollup可以在有效提高网络吞吐量的同时,避免对协议层进行大量的更改,部署Rollup也不需要对网络发起硬分叉升级。

Art Blocks系列NFT Fidenza #157 以390ETH的价格成交:金色财经报道,数据显示,Art Blocks系列NFT Fidenza #157 以390ETH的价格成交。[2023/2/20 12:16:33]

目前已经有许多以太坊上的项目采用了Rollup协议来提高Dapp的吞吐量和用户体验。

Rollup是如何工作的?

链上有一个智能合约,它维护状态根:rollup状态的Merkle根。

任何人都能够以高度压缩的形式发布批处理,交易集合以及先前的状态根和新的状态根。

合同检查批处理中的先前状态根是否与其当前状态根相匹配;如果是这样,它将状态根切换到新的状态根。

分析师:美联储或有理由放缓加息以评估紧缩政策的影响:11月6日消息,鉴于利率处于限制性区间,美联储可以放慢利率正常化的步伐,以评估自3月以来375个基点的收紧程度的影响。目前,对于美联储将在12月加息50还是75个基点,市场看法不一。因此,市场似乎认为,如果通胀指标下降,这将为美联储提供降低加息幅度的掩护;然而,如果通胀数据不配合,那么美联储将倾向于大幅度加息,甚至可能提高最终利率(鲍威尔暗示,联邦基金利率目标峰值将高于9月份预测的4.6%;货币市场定价美联储利率将在2023年二季度达到5.00-5.25%的峰值)。[2022/11/6 12:21:41]

为了支持存款和提款,我们增加了使输入或输出处于rollup状态“之外”的交易的功能。

如果批次具有来自外部的输入,则提交该批次的事务也需要将这些资产转移到rollup合同中。

如果某个批次有外部输出,则在处理该批次时,智能合约会启动这些提款。

就是这样!除了一个主要细节:如何知道批次中的状态后根是正确的?

如果某人可以提交具有任何后期状态根源的批次而没有任何后果,那么他们可以将rollup中的所有Token转移给自己。

这个问题很关键,因为有两个非常不同的解决方案系列,而这两个解决方案系列就导致了两种rollup方式。

OptimisticRollup与ZKRollup

Rollup的两种类型分别是Optimisticrollup和ZKRollup。

印度财长敦促IMF在加密资产监管全球协调同步方面发挥主导作用:9月8日消息,印度财政部长Nirmala Sitharaman与国际货币基金组织(IMF)总裁Kristalina Georgieva在新德里讨论了加密资产监管问题,Nirmala Sitharaman敦促国际货币基金组织应该在加密资产监管全球协调同步方面发挥主导作用。同时她还透露,印度“迟早”会推出一项全新的数据隐私法案,已获得该国IT部长Ashwini Vaishnaw的保证。(The Times of India)[2022/9/8 13:16:04]

1、OptimisticRollup

Optimisticrollup,使用欺诈证明—rollup合同会跟踪其整个状态根历史以及每个批次的哈希值。

如果有人发现某个批次的状态后根不正确,则发布需要链的证明,以证明该批次的计算不正确。合同将验证证明,并还原该批次及其之后的所有批次。

2、ZKrollup

ZKrollup,使用有效性证明—每个批次都包含一个称为ZK-SNARK的加密证明,这证明后状态根是执行批次的正确结果。

无论计算量有多大,都可以在链上非常迅速地验证证明。

加密律师:Celsius CEO需要更多的“透明度”:金色财经报道,Hodder律师事务所的创始人Sasha Hodder在接受采访时表示,Celsius首席执行官Alex Mashinsky需要有更多的“透明度”,包括列出债权人被拖欠的钱。Hodder的公司为比特币和加密货币企业家服务,没有参与破产程序。Hodder:“如果Mashinsky是透明的,受托人就不需要一个独立的审查员。”(CoinDesk)

此前消息,Celsius美国受托人办公室要求法院任命一名Celsius独立审查员。[2022/8/20 12:37:19]

总的来说,我个人认为,在短期内,对于通用EVM计算而言,乐观可能会胜出;而对于简单付款,交易和其他特定于应用的用例,ZK可能会胜出。

随着ZK-SNARK技术的改进,中长期ZK将在所有用例中胜出。

Rollup工作细节

在OptimisticRollup中,首先我们需要设立一个可信任的节点,这个节点负责收集所有的交易信息、验证然后打包.

打包后的信息集合将带上该节点的签名发送到区块链网络中。

当一个可信节点设置成功后,该节点将成为Rollup节点,这个节点需要同全节点一样,下载整个区块数据并实时更新区块状态。

我们仍旧以之前那个公司为例,假设目前有2000笔交易正在等待执行,公司的员工会将2000笔交易发给Rollup节点。

之后,Rollup节点需要根据已有的状态和区块数据,对交易进行验证,并保存以下数据集。

当Rollup节点对所有交易完成了验证与执行并生成数据集后,节点需要对这个数据集进行签名,即SigRollup节点。

最后将签名与数据集整合到一笔交易中,这个交易被称作断言Assertion,发送到区块链网络等待其他节点验证即可。

需要注意的是,网络中的其他节点并不会验证Rollup节点发来的数据集,仅仅只验证其签名,验证完毕后将根据数据集更新区块链网络状态。

正如它的名称“OptimisticRollup”,实际上所有的Rollup协议由于将交易验证从链上转移到了链下,因此都是一种基于“乐观”的假设—假设大多数情况下Rollup节点不会作恶。

但光有乐观假设是不足的,节点总会因为各种各样的原因出现问题。

为了避免这些节点恶意行为,提高作恶成本,OptimisticRollup中还有如下机制:

一方面,Rollup节点需要向网络质押一定额度的Token,这些Token有一定的解锁时间,并会在Rollup节点做出恶意行为时被罚没。

另一方面,Rollup节点所提交断言不会被网络立即认可,所以存在一定时间的窗口期。

如果其他节点认为该Rollup节点提交的断言存在恶意行为,节点可以质押一定押金并对该断言发起挑战。

并且区块链中的出块/验证节点会对该断言中的所有内容进行重新验证、执行,比对交易状态的差距。

如果的确存在恶意行为,那么Rollup节点的押金会被罚没,则发起挑战的节点则会获得一定奖励。如果不存在恶意行为,则发起挑战节点的押金会被罚没。

另外,在窗口期结束时没有其他节点对断言发起挑战的话,断言中的状态信息将会被系数更新至区块链状态中。

OptimisticRollup可以将多个交易信息经可信第三方聚合为单笔信息,由于交易中的状态变更情况是由链下节点验证而非链上节点验证。

因此降低了区块链上节点的验证难度。

数据集虽然看起来并没有较单个交易的叠加更小,但数据集因为不会受链上节点的验证,故不需要为其支付高昂的手续费。

依靠这种Layer2处理方案,可以很容易的提高区块链的有效吞吐量。

ZKRollup是如何工作的?

一个简单的以太交易需要约110个字节。但是,Rollup上的ETH传输仅占用约12个字节。

ZK特有的一个重要压缩技巧是,如果事务的一部分仅用于验证,而与计算状态更新无关,则可以将该部分留在链下。

这不会完全在乐观的状态下完成,因为如果以后需要在欺诈证明中检查数据,则仍需要将数据包含在链上。

而在ZK中,SNARK证明批次的正确性已证明任何数据提供了验证所需的信息。

还有一个重要的例子是隐私保护,在乐观的状态下,每笔交易中用于隐私的约500字节需要进行保留,而在ZK中,覆盖整个批次的ZK-SNARK已经没有了。

这些压缩技巧是Rollup可伸缩性的关键。没有它们,Rollup可能只会使基础链的可伸缩性提高约10倍,而采用压缩技巧时,缩放系数几乎可以超过100倍所有应用程序。

分析

Rollup的基本概念现在已经得到了很好的理解,但我们可以肯定它们在根本上是可行且安全的,并且已经将多个Rollup部署到了主网上。

但仍有很多Rollup设计领域尚未得到很好的探索,充分利用以太坊的可伸缩性,将以太坊生态系统的大部分完全整合到Rollup中还将面临很多挑战。

Rollup是一种强大的新的2层伸缩范例,在短期和中期的未来中,有望成为以太坊伸缩的基石。

投资有风险,本文观点和意见仅代表作者本人,并不构成任何建议。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金星链

[0:0ms0-1:9ms