Rollup 生态速览:Optimistic Rollup 和 zk Rollup 之外还有哪些新型设计?_ROL:PTI

撰文:AlexBeckett

编译:Amber

自2019年初概念诞生以来,Rollup已经取得了长足的进步。现如今市场上出现了两个主要的竞争者,并基于此衍生出了一众颇具想象力的设计理论以及混合演变。本文将盘点截止2022年中Rollup生态的发展现状。

OptimisticRollup

由于通用的OptimisticRollup占据了先发优势,因此争取到了大多数的Rollup应用,其中的Arbitrum和Optimism也堪称「Rollup标杆」。

按TVL排序,目前Rollup应用中Arbitrum排名第一,锁仓金额达到了24亿美元。尽管已经在主网上运行了一年之久,但系统上仍有许多尚待测试的环节。目前开发Arbitrum的主体OffchainLabs运营着一个唯一的中央排序器,虽然交互式欺诈证明是灵活的,但中央排序器是唯一可以提交争议以产生欺诈证明的白名单实体。从用户的角度来看,尽管整个系统逐步去中心化的趋势是可预期的,但他们仍然需要给予系统大量的信任。

协议的新一代升级Nitro已经在Devnet上线,Nitro将彻底改变现有的架构,用WASM-Geth组合取代定制的Arbitrum虚拟机。Arbitrum的交互式欺诈证明将在WASM上运行,节点将有一个与Geth相当的代码库,再加上一些特定的Rollup优化。总而言之,Nitro将带来重大的优化,在提高性能的同时提供更好的EVM兼容性。

Optimism是第二大OptimisticRollup,在所有Rollup中按TVL排名第三,坐拥4.69亿美元锁仓资金。OptimismPBC运行的情况与Arbitrum类似,都是单一的中心化排序器。然而,OptimismPBC已经找到了一种方法,通过使用排序器的利润来为网络提供回报,以此激励生态发展。第一轮共有100万美元的资金捐赠给了58个公共产品。虽然中心化的设计在区块链这个「去中心化本源」的世界中很难产生积极影响,但是Optimism做出的尝试看似已经最大程度上缓解了这一问题。

以太坊ZK Rollup扩容方案Hermez上线USDT:Hermez Network上线USDT稳定币。通过在Hermez上推出USDT,以太坊上的Gas费压力有望减轻。此前消息,以太坊ZK Rollup扩容方案Hermez Network正式上线。这意味着Hermez的主网已经启动,用户现在可以以更低的Gas成本转账。(Cointelegraph)[2021/4/19 20:36:52]

目前Optimism的设计中缺乏欺诈证明,尽管逐步去中心化和必要的安全升级是可以预期的。然而,几乎所有的Rollup都有即时或延迟的可升级性,所以Rollup的安全性最终取决于多签设计的升级。即将到来的Bedrock升级将把Optimism的架构转变为与Arbitrium类似的架构。目前的Optimism虚拟机将被替换为MIPS-Geth组合,其中节点等效于普通的以太坊Geth节点。新增功能还包含交互式欺诈证明,这是对其原有非交互式欺诈证明的升级。Bedrock将是Optimism的又一个里程碑,将为系统增添很多功能和改进。

此外,Optimism还实现了一个飞跃,即进行了非精英治理的实验。决策被分成两部分,分别是代币治理和用户治理。其中代币治理即以代币为投票凭证,而用户治理则是一人一票制。在这样一个系统中,最困难的点在于投票身份分配,需要最大限度地减少虚假攻击。如果一个用户可以获得一个以上的投票人身份,他就可以对「政府」造成比普通用户更多的影响。乐观派指出,他们将使用不可转让的NFT来代表公民身份,但是个人交换私钥以获得更多投票权的威胁仍然存在。

Fuel是OptimismRollup领域的另一个值得关注的竞争者,它采取了与Arbitrum和Optimism截然不同的方法。FuelLabs正在为FuelV2建立一个定制的虚拟机,使用基于Rust的编程语言。虽然与EVM兼容的Rollup对于Ethereum开发生态系统的Rollup特别有用,但定制的VM更容易实现性能最大化,因为它们不必遵守许多既定的标准。

基于 zkSync 的二层钱包 Rollups Wallet 已上线 iOS 应用商店,Gas 可降低两个数量级:基于zkSync的二层钱包RollupsWallet宣布其移动端应用已上线iOS应用商店,首周下载量破千。RollupsWallet团队表示,该钱包由zkSync(MatterLabs)提供技术支持,其Gas价格可降低两个数量级,也可实现以太坊ERC-20代币的即时转账。[2021/3/23 19:10:05]

笔者最喜欢FuelV2的部分是并行交易处理能力,一旦数据量达到了相当的量级后,实施并行处理的Rollup将比那些没有实施并行处理的Rollup更有优势。值得注意的是,FuelV1主网以太坊上的第一个OptimisticRollup,并且仍然是唯一一个拥有无权限排序器和欺诈证明的Rollup。

对于Fuel来说,OptimisticRollup是远远优于zk-Rollups的。一是OptimisticRollup具备完全的、不受限制的可组合性:zk-Rollups在通过zkcircuits组合智能合约方面存在先天劣势。唯一具有普遍可组合性的zk-Rollup是StarkNet,不过其目前有许可的智能合约部署和桥梁可以支持的TVL数量的上限。所有其他zk-Rollups都是特定的应用,或者只做代币转移。

另一点是因为EVM兼容性:zkcircuits与EVM中标准的某些类型的密码学有固有的兼容性问题,这使得zkEVM成为一项极具挑战性的任务。OptimisticRollups已经在主网上运行了一段时间的EVM兼容性,升级后有望进一步实现等效性。

zk-Rollup

过去一段时间以来,以太坊社区已经达成共识,即zk-Rollups是可扩展的Rollups的最终状态。因此,与OptimisticRollup相比,似乎有更多的zk-Rollup在积极开发中,其中许多计划在未来两年内推出。

路印COO Jay:路印将AMM交易模式带到了zkRollup二层:据官方消息,币赢CoinW《共识52》第十一期《ETH2.0的扩容之路——Layer2能否突破DeFi的局限?》主题AMA中,路印COO Jay讲到:DeFI其实就在把现实金融世界里面的各种场景在区块链世界里面再造出来,比如?Compound 就对应传统银行借贷,MakerDAO 有点像央行铸币,各种?DEX 实现的是交易需求。一个很明显的趋势就是DeFI项目都在往二层迁移,就是因为以太坊主网实在太拥堵了,而路印协议绝对是二层解决方案中的派头兵,Loopring 是世界上首个基于?zkRollup 的DEX,也是世界上首个基于zkRollup 的AMM, 并且已在以太坊主网上平稳运行快1年左右的时间了。

路印再次创造了历史,将AMM这种交易模式带到了zkRollup二层。路印的新技术甚至可以把一个订单拆解到AMM和订单本做局部成交,用以寻找到最有的成交价。这将有可能改变交易所的竞争格局, 我们期待AMM和挂单交易的结合能给用户崭新的体验。[2020/12/3 23:01:03]

StarkNet是目前主网上唯一一个通用的、可组合的zk-Rollup。然而,该系统仍处于早期的阿尔法阶段,有多种限制。StarkNet和Ethereum之间的桥存在限制,上限未来会逐渐增加。StarkNet上的智能合约部署也是白名单模式。我认为这主要是为了减少智能合约错误发生的风险,因为很可能没有足够的审计人员来审计开发者想要部署的所有合约——StarkWare暂时承担这个角色是合理的。可审计性是新的自定义语言的普遍缺点之一,而zk系统的复杂性只会使其更加复杂。

zkSync是另一个主要的「zk-Rollup」竞争者,最近的测试网上线标志着zkEVM在实时测试网中的第一个实例的推出。然而,随着zkPorter的加入,zkSync2.0不再仅仅是一个升级版。它将使用户能够在zkPorter和Ethereum之间选择发布其交易数据。虽然以太坊正在通过danksharding升级数据吞吐量,但volition是一个伟大的中间地带,为用户提供了更好的选择。

安全团队:Slope Wallet (Android, Version: 2.2.2)的sentry服务存在私钥泄露:8月4日消息,慢雾发布对 Solana 攻击事件的分析,据 Solana 基金会提供的数据,被盗用户种约 60% 使用 Phantom、约 30% 使用 Slope,其余使用 Trust Wallet、Coin98 Wallet 等,IOS 和 Android 均未能幸免。

在分析 Slope Wallet (Android, Version: 2.2.2) 时,发现其使用了 sentry 的服务。Sentry 是一项广泛使用的服务,在“o7e.slope[.]finance”上运行。Sentry 的服务从 Slope 钱包中收集助记词和私钥等敏感数据,并在创建钱包时将其发送到 https://o7e.slope[.]finance/api/4/envelope/,并发现 Version:>=2.2.0 包中的 sentry 服务会收集助记词发给“o7e.slope[.]finance”,而 Version:2.1.3 则没有找到收集助记词或私钥的明显行为。Slope Wallet(Android, >= Version: 2.2.0) 于 06/24/2022 之后发布,所以 Slope 该日期之后的用户受到影响。

对于另外 60% 的使用 Phantom Wallet 用户,分析 Phantom(版本:22.07.11_65)钱包后发现,Phantom(Android,版本:22.07.11_65)也使用 sentry 服务收集用户信息,但目前没有发现任何明显的收集助记词或私钥的行为。[2022/8/4 2:58:18]

虽然大多数zk-Rollups都优先考虑可扩展性,但隐私是zk-Rollups可以实现的另一个重要方面。Aztec目前正通过他们的隐私代币转移zk-Rollup在隐私领域处于领先地位,他们也是笔者所知的唯一以隐私为重点的以太坊Rollup。Aztec预计将很快推出其下一个迭代,Aztecconnect,它使用户能够隐私访问EthereumDeFi。这与使用Tornado.cash之类的应用相比是一个很大的进步,因为Tornado.cash的隐私只能通过混币来实现,而不能直接「隐藏」交易。

公告 | 路印上线基于zkRollup的最新一代去中心化交易平台网页版:路印上线基于zkRollup的最新一代去中心化交易平台的网页版,该版本基于路印协议3.1.1,定位为公测Beta1。(路印Loopring)[2020/2/28]

zk-Rollups已经非常复杂了,再加上隐私问题就更复杂了。zk-Rollups有可能永远不会达到隐私可组合智能合约的状态。正因为如此,隐私可能会通过特定的应用链出现,无论是通过zk-Rollups还是zk-Rollup之上的Validiums。

其他各种各样的zk-Rollups也已经在逐渐显露头角,包括Scroll和Polygon的各种项目。zk-Rollups之间的一个很大的区别是使用自定义虚拟机或zkEVM执行环境的区别。它的优点和缺点与OptimisticRollup类似。然而,zk-Rollups在实现zkEVM方面有更多内在的复杂性。正因为如此,有一个非常有力的案例可以证明采用自定义虚拟机和语言的路线,如StarkNet和Cairo。

SovereignRollup

Rollup类别中的最后两个目前还仅仅存在于理论之中。SovereignRollup与常见的Rollup的区别在于它有一个分叉选择规则,允许它独立于其基础层进行分叉。相反,一个普通的Rollup会将其分叉选择权委托给它的结算层,因为它需要确保Rollup的正确性。

SovereignRollup在像Celestia这样的DA层上最为突出,在那里,Rollup交易的正确性不由DA层来保证。正因为如此,像Celestia这样的Rollup交易是默认的Sovereign交易,因为他们必须通过欺诈/有效性证明和分叉选择来确保自己的交易正确性。这不应该被误认为是共识,Celestia提供的共识是关于交易排序的协议。

对于乐观的SovereignRollup,交易被认为是正确的,所以Rollup节点只需要从Celestia下载块数据。zk-SovereignRollup通过有效性证明来确保正确性,这些证明将通过p2p网络在Rollup节点之间分发。

SovereignRollup的重要性正体现在他们的分叉能力上,这使得Rollup能够真正独立于其基础层。

结算Rollup

结算层是一种专门为结算而建立的SovereignRollup体。重要的是,结算层是任何与Rollup具备双向信任最小化桥梁的区块链。该桥梁使代币可以在Rollup层和结算层之间双向转移。信任最小化是桥梁的一个属性,其中通信只依赖于通过验证数据可用性和欺诈/有效性证明的诚实少数人假设。

和任何结算层一样,结算Rollup的目的是为「Rollup」提供一个环境,以验证证明、解决争端和桥接代币。虽然,从技术上讲,在结算之上的「Rollup」是混合型的,因为它们通过结算Rollup所处的数据可用性层使用链外DA,这使它们成为一个验证层或一个乐观的验证层。

混合型

Validium

Validium是一种混合型的zk-Rollup,交易数据在链外发布,这意味着除了用于验证有效性证明的结算层之外,还依赖外部环境。StarkEx是唯一已经上线的验证体的实例。StarkEx是一个特定应用的验证器,目前支持三个应用:ImmutableX、Sorare和DeversiFi。StarkEx还支持zk-Rollup模式,该模式被当下TVL第二大的Rollup应用DyDx使用。

StarkEx使用了一个数据可用性委员会,该委员会由一组受信任的各方组成,为StarkEx的验证体提供数据可用性。虽然将数据可用性委托给一个许可委员会降低了安全性,但它使StarkEx的验证人能够提供比zk-Rollups更便宜的交易。成本降低是可能的,因为向以太坊发布数据是很昂贵的,而这也是造成Rollup交易费用的主要可变成本。

附带DAC的Validium的一些安全问题可以通过使用外部数据可用性层来减少。安全性的主要增加来自于区块链提供的加密经济安全,节点可以因为不诚实的活动而被监禁和砍掉。这种实施的有效性是对「Rollup」的成本-安全权衡的一个有趣实验。

?图片来源:Celestia

OptimisticValidium

与Validium一样,OptimisticValidium也是一种混合的OptimisticRollup,其中交易数据被发布到链外。对于这种特定的混合体应该被称为什么,还没有达成普遍共识。

Metis是目前唯一的OptimisticValidium实例。需要注意的是,OptimisticValidium的安全度相比其对应的Validium更弱一些,因为数据的可用性是生成欺诈证明和成功解决争端所必需的。如果发生了纠纷,而有关状态转换的数据不可用,那么欺诈证明就不能证明欺诈。正因为如此,如果链外数据可用性提供者未能提供数据,资金就会从OptimisticValidium中被盗。

Volition

通过zk-Rollup和Validium的结合,还有一种混合型Rollup,即Volition。Volition让用户可以选择链上或链下的数据可用性。这种选择是在个人交易层面上做出的,链外数据代表更便宜的费用和更低的安全性,而链上数据则导致更高的费用和更高的安全性。这给了用户由个别系统提供的选择自由,而不是明确地寻找适合用户的成本-安全偏好的链路。

目前,zkSync2.0是唯一公开宣布的开发中的Volition。在zkSync2.0中,链上数据由以太坊提供,而链下数据则由他们自己的专用PoS链提供,称为zkPorter。不过由于目前缺乏细节信息的披露,因此只能猜测未来StarkWare将为StarkEx或StarkNet提供一个用户自定义的选项。

Adamantium

Adamantium是一种每个人都要亲自向网络提供自己数据的Validium。个人的交易数据由个人存储,并且他们必须保持在线以证明每个区块的数据可用性。如果用户不在线,或者未能证明,那么他们的资金就会自动撤回到链上的结算层。虽然StarkWare提出了Adamantium的设计,但目前还没有任何团队在这方面取得了更多进展。而未来这种假设如若能够顺利落地,那么对于那些希望对自己的安全进行更多个人控制的用户或实体来说,可能会非常有吸引力。

EnshrinedRollup

EnshrinedRollup是一个由现有区块链一部分组成的Rollup。简单地说,它是一个执行分片。在以太坊2.0提案和其他类似的分片区块链中看到的EnshrinedRollup和执行分片之间的区别是,执行分片被提议为单片。全局验证器组将被分割成委员会,并分配给一个特定的分片,作为验证器组。执行分片将作为一个独立的区块链,有自己的执行、共识和数据可用性,但它将检查点返回到「信标链」,类似于侧链检查点回到他们选择的链。理论上,一个以太坊的Rollup将只做执行,并使用信标链来验证数据可用性和欺诈/有效性证明。

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

金宝趣谈

[0:15ms0-4:324ms