TIM:一文概览Rollup生态系统的发展现状_ROLL

原文作者:AlexBeckett

原文编译:DeFi之道

自2019年出世以来,Rollups已经走过了漫长的道路。我们已经看到形成了两个主要竞争者阵营,以及包含许多混合演化的其他各种有前途的Rollup理论设计。2022年已经过半,我们现在来看看Rollup生态系统的发展现状。

OptimisticRollup

由于通用OptimisticRollup的主网上线使用时间明显长于其zk-rollup同行,因此它们获得了绝大多数rollup应用程序。两个领先的OptimisticRollup应用是Arbitrum和Optimism,一段时间以来一直如此。

根据TVL衡量,Arbitrum排名最高,达到24亿美元。尽管在主网上运行了一年的大部分时间,但系统上仍处于训练测试阶段。目前,开发Arbitrum的实体OffchainLabs运营着一个单一的中心化排序器。虽然交互式欺诈证明是实时的,但单个排序器是唯一可以提交争议以生成欺诈证明的白名单实体。从用户的角度来看,他们仍然必须对系统有很大的信任,尽管预计会逐步走向去中心化。

Arbitrum下一个协议升级Nitro已在开发网络上运行,并将彻底改革现有架构,用WASM-Geth组合替换自定义的Arbitrum虚拟机。Arbitrum的交互式欺诈证明将在WASM上运行,并且节点软件将具有与Geth等效的代码库,以及一些特定于Rollup的优化。总而言之,Nitro将带来显着的优化、更高的性能和更好的EVM兼容性。

Optimism是第二大OptimisticRollup,在所有Rollup的TVL排名中位居第三,为4.69亿美元。OptimismPBC的情况与Arbitrum的情况类似,只有一个中心化排序器。然而,OptimismPBC找到了一种方法,通过使用从排序器获得的利润来追溯资助公共产品,从而为网络提供积极的利益。第一轮共向58个公益项目捐款100万美元。如果有任何方法可以在中心化排序的情况下产生积极影响,那么这不失为一条可以走的道路。

目前,Optimism缺乏欺诈证明,但预计会逐步去中心化和必要的安全升级——这也是标准。但是,几乎所有Rollup都具有即时或延迟升级能力,因此Rollup的安全性最终取决于升级多重签名。

即将到来的Bedrock升级将把Optimism的架构转变为类似于Arbitrium的架构。当前的Optimism虚拟机将被MIPS-Geth组合取代,其中节点软件等同于常规的以太坊Geth节点——这被称为以太坊等效。交互式欺诈证明也将作为附加功能,这是对原始非交互式欺诈证明的升级。一般来说,Bedrock将是Optimism的重要一步,为系统添加了许多功能和增强功能。

顺便说一句,Optimism也向非富豪治理实验迈出了一大步。决策将在两个屋子之间进行,即代币屋和公民屋。代币屋将采用通用代币投票,而公民屋将采用一个公民一票制。由此看来,这样一个系统中最困难的障碍可能是找到为用户分配公民身份的最佳方法,同时最大限度地减少女巫攻击的可能性。如果用户可以获得多个公民身份,那么他们可以有效地对治理施加比普通公民更大的影响力。Optimism指出,他们将使用不可转让的NFT来代表公民身份,但是个人交换私钥以获得更多选票的威胁仍然存在。

Fuel是OptimsiticRollup领域的另一个著名参与者,它采取了与Arbitrum和Optimism截然不同的方法。FuelLabs正在使用基于rust的编程语言为FuelV2构建自定义VM。虽然与EVM兼容的Rollup对于将以太坊开发生态系统加入Rollup特别有用,但自定义VM是可以获得最大性能提升的地方,因为它们不必遵守现有的标准。

FuelV2中我最喜欢的部分可能是并行事务处理,主要是因为一旦出现足够的数据容量,吞吐量瓶颈就会变成执行。一旦吞吐量瓶颈转移到执行,实现并行处理的Rollup将比没有它的Rollup有优势。值得注意的是,FuelV1是第一个在以太坊上上线的主网OptimisticRollup,并且仍然是唯一一个存在无需许可的排序器和欺诈纠纷以及没有升级多重签名的Rollup。

以目前的形式,OptimisticRollup远远优于zk-rollups。两个主要考虑围绕着:

完全、无限制的可组合性:zk-rollups在zk电路上组合智能合约方面存在固有的困难。唯一具有一般可组合性的zk-rollup是StarkNet,它目前已获得许可的智能合约部署,并对桥可以支持的TVL数量设置了上限。所有其他zk-rollup都是特定于应用程序的,或者只进行代币转账。

EVM兼容性:zk电路与EVM中标准的某些类型的密码学存在固有的兼容性问题,这使得zkEVM成为一项极具挑战性的任务。具有EVM兼容性的主网上已经存在了一段时间的OptimisticRollup,预计升级将进一步实现等效。

Zk-rollup

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

Starknet目前是已上线主网的唯一的通用、可组合的zk-rollup。但是,该系统仍处于早期的alpha模式,具有多种限制。StarkNet和以太坊之间的桥梁被限制在一定数量的TVL,自推出以来逐渐增加。StarkNet上的智能合约部署也被列入白名单。我认为这主要是为了降低发生智能联系错误的风险,因为可能没有足够的审计员来审计开发人员想要部署的所有Cairo合约——StarkWare将暂时担任这个角色是有道理的。可审计性是新的自定义语言的普遍缺点之一,而zk系统的复杂性只会加剧这种情况。最终,StarkNet目前处于领先地位。

ZkSync是另一个主要的“zk-rollup”竞争者,一段时间以来一直在使用zkSync2.0构建通用zk-rollup。最近的测试网标志着zkEVM在实时测试网上的第一个实例。然而,随着zkPorter的加入,zkSync2.0不仅仅是一个Rollup。这将是一种Volition,使用户能够在zkPorter和以太坊之间进行选择以发布他们的交易数据。虽然以太坊正在升级使用danksharding的数据吞吐量,但Volition是一个很好的中间地带,它为用户提供了在交易成本安全范围内的选择。

虽然大多数zk-rollups都优先考虑可扩展性,但隐私是zk-rollups可以启用的另一个重要方面。Aztec目前凭借其私人代币传输zk-rollup(zk.money)在隐私领域处于领先地位——它们是我所知道的唯一一个以隐私为重点的以太坊rollup。Aztec还将在大约下周推出其下一次迭代Aztecconnect,使用户能够私下访问以太坊DeFi。与使用TornadoCash之类的东西相比,这是一个很大的改进,其中隐私只能通过混淆而不是直接屏蔽交易来实现——但愿没有人链接你的Tornado钱包,否则你的隐私就消失了。

Zk-rollups已经非常复杂,增加隐私使问题更加复杂。zk-rollups有可能永远不会达到私有可组合智能合约的状态。正因为如此,隐私可能会通过特定于应用程序的链出现,无论是通过zk-rollup还是zk-rollup之上的验证。

其他各种zk-rollup也存在于生产中,包括Scroll和Polygon的各种项目。zk-rollups的一大区别在于使用自定义VM或zkEVM执行环境。其优点和缺点类似于OptimisticRollup。但是,zk-rollups在实现zkEVM时具有更多固有的复杂性。因此,可以为使用自定义VM和语言的路线提供非常有力的案例。

主权Rollup

Rollup类别中的最后两个目前是理论上的,尽管正在积极开发中。主权Rollup与典型的Rollup不同,因为它有一个分叉选择规则,允许它独立于其基础层分叉。相反,常规Rollup将其分叉选择委托给其结算层——它必须是结算层,因为它需要确保Rollup的正确性。

主权rollups将在Celestia等数据可用性层上最为突出,其中DA层无法确保Rollup事务的正确性。正因为如此,像Celestia这样的东西的Rollup默认是主权的,因为它们必须通过欺诈/有效性证明和分叉选择来确保自己的交易正确性。这不应被误认为是Celestia提供的共识,用于就交易排序达成一致。

对于一个乐观的主权Rollup,假设交易是正确的,因此Rollup节点只需要从Celestia下载区块数据。Zk-主权rollup通过有效性证明确保正确性,该证明将通过p2p网络分布在rollup节点之间。

对我来说,主权Rollup的重要性在于它们的分叉能力,这使这些Rollup能够真正独立于其基础层。从本质上讲,主权Rollup重新获得了社会追索机制。

结算Rollup

结算Rollup是一种专为结算而构建的主权Rollup。重要的是,结算层是任何具有双向信任最小化桥梁和Rollup的区块链。该桥使代币能够在Rollup层和结算层之间双向传输。信任最小化是桥梁的一个属性,其中通信仅依赖于通过验证数据可用性和欺诈/有效性证明的诚实少数假设。

与任何结算层一样,结算Rollup的目的是为“Rollup”提供一个环境,以验证证明、解决争议和桥接代币。不过,从技术上讲,结算之上的“Rollup”是混合的,因为它们通过结算Rollup所在的数据可用性层使用链下DA——使它们成为一种validum或一种Optimisticvalidium。

混合Rollup

Validum

说到混合,validium就是一种混合zk-rollup,其中交易数据发布在链下,这可能需要除用于验证有效性证明的结算层之外的任何环境。StarkEx是唯一的有效实例。特别是,StarkEx是一个特定于应用程序的验证,目前支持三个应用程序;ImmutableX、Sorare和DeversiFi。StarkEx还支持DyDx使用的zk-rollup模式,这是TVL第二大的Rollup。

StarkEx使用由一组受信任方组成的数据可用性委员会(DAC)为StarkEx验证提供数据可用性。虽然将数据可用性委托给获得许可的委员会会降低安全性,但它使StarkEx验证能够提供比zk-rollups更便宜的交易。成本降低是可能的,因为将数据发布到以太坊是昂贵的——它也是导致Rollup交易费用的主要可变成本。

使用外部数据可用性层可以减少带有DAC的验证的一些安全考虑。安全性的主要增加来自区块链提供的加密经济安全性,节点可能因不诚实活动而被监禁和惩罚。该实施的一种Validium是对“Rollup”范围内成本安全权衡的一个有趣的补充。

Celestia

OptimisticValidium

与验证一样,一种Optimisticvalidium是一种混合OptimisticRollup,其中交易数据发布在链下。关于这个特定的混合体应该被称为什么并没有普遍的共识,所以这就是我要说的。

Metis是目前唯一的Optimisticvalidium,它从一种OptimisticRollup模型转变为以安全为代价降低交易费用。Optimisticvalidium对其validium对手的安全保证较弱,因为需要数据可用性来生成欺诈证明并成功解决争议。如果发生争议并且相关状态转换的数据不可用,则欺诈证明无法证明欺诈。因此,如果链下数据可用性提供者未能提供数据,资金可能会从Optimisticvalidium中被盗。

Volition

通过结合zk-rollup和validium,Volition是一种混合体,让用户可以选择链上或链下数据可用性。选择是在个人交易层面做出的,其中链下数据代表更便宜的费用和更低的安全性,而链上数据导致更高的费用和更高的安全性。这为用户提供了由单个系统提供的选择自由,而不是明确地寻找适合用户成本安全偏好的链。

目前,zkSync2.0是唯一公开宣布的正在开发的Volition。在zkSync2.0中,链上数据由以太坊提供,链下数据由他们自己的专用PoS链zkPorter提供。关于zkPorter的细节并没有太多细节,我猜主要是因为它仍在积极的开发和测试中。StarkWare可能会为StarkEx或StarkNet实施一种Volition选项,尽管这纯粹是猜测。

Adamantium

adamantium是一种验证,其中每个人都亲自向网络提供自己的数据可用性。个人的交易数据由他们亲自存储,他们必须保持在线以证明每个区块的数据可用性。如果用户不在线或未能证明,那么他们的资金会自动在链上撤回到结算层。虽然StarkWare提出了adamantium设计,但没有任何明确的迹象表明StarkWare或任何团队正在从事这项工作。最终,如果确实得到了开发,它可能会成为希望对其安全进行更多个人控制的用户或实体的利基选择,这就是为什么adamantium用户被称为“高级用户”的原因。

Enshrinedrollup

最后值得一提的是,Enshrinedrollup是一种直接作为现有区块链一部分的rollup。简而言之,它是一个执行分片。正如在以太坊2.0提案和其他类似分片的区块链中看到的那样,Enshrinedrollup和执行分片之间的区别在于,执行分片被提议为单体。全局验证者集将被拆分为委员会并分配给特定的分片以充当验证者集。执行分片将充当另一个拥有自己的执行、共识和数据可用性的区块链,但它会检查点回到“信标链”——类似于侧链检查点返回到他们选择的链的方式。理论上,以太坊enshrinedrollup只会进行执行,并使用信标链来验证数据可用性和欺诈/有效性证明。

原文链接

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

大币网

[0:0ms0-7:515ms