作者:helloyyy

一、前言

时光飞逝,据 Optimism 发币已过去一年有余,据 Arbitrum 发币也已过去将近半年;发币仅是它们万里长征的第一步,在此期间,Optimism 完结了 Bedrock 升级、推出了通用的模块化 L2 堆栈 OP Stack, 根据此诞生了 Base 等明星 Rollup;Arbitrum 致力于探究 L3 推动 Arbitrum Orbit 的应用。

Rollup 赛道在两位巨人的引领下,整个赛道的 TVL 一度突破 100 亿美元,现在稳定在 100 亿美元上下。Rollup 作为以太坊“招牌”的扩容处理计划被津津有味的背后,它们依然存在非抗检查、中心化的属性。干流的 Rollup 链遍及由官方运转中心化的排序器,尽管 Arbitrum, Optimism, StarkNet 等 Rollup 项目把排序器的去中心化列入道路图中,但均处于规划中短期内尚未完结的状况。去中心化排序器作为 Rollup 去中心化最重要的一块拼图,对 Rollup 自身而言具有非常重要的战略地位,也是民之所向。

Rollup 2.0:去中心化排序器之争

二、Rollup 的买卖费用

了解什么是排序器之前,先来聊聊 Rollup 买卖费用的组成。Rollup 的买卖费用即用户在 Arbitrum 等 L2 买卖发生的 gas 费。

主要由 2 部分组成:

1)L2 履行费用

2)L1 数据费用

L2 履行费用:买卖在 L2 履行的本钱(每笔在 L2 链上建议的买卖都要付出一笔履行费)

买卖燃气价格 = L2 根底费用 + L2 优先费用

L2 履行费用 = 买卖燃气价格 * L2 燃气运用量

L1 数据费用:将 L2 买卖发布到 L1 的本钱。通常状况下,L1 数据费用要高于 L2 履行费用。

L2 买卖费用 = L2 履行费用 + L1 数据费用

排序器的净收入 = L2 的买卖费用收入 - 排序器运营本钱 - L1 数据费用

项目方运营的中心化排序器具有必定程度上的定价权(比如 L2 履行费用收高一点、L1 数据费用收高一点),这也是为什么几个闻名 Rollup 项目方赚得盆满钵满的原因。

什么是排序器?

排序器,顾名思义,即担任买卖排序的人物。在比特币网络,买卖排序的职责由矿工担任;以太坊由节点调集担任,它们均不是固定的人物,而是更具一致机制来确定谁有权参加次序履行。

现在干流的 Rollup 均运转中心化的单一排序器。用户在 L2 的买卖进入 mem 池(此刻 mem 池中的买卖是无序状况),排序器将买卖排序、紧缩成一组有序的批次,然后发送到以太坊的 DA 层。

Rollup 2.0:去中心化排序器之争

Rollup 必需求排序器吗?

答案是否定的。Rollup 上的买卖彻底能够绕过排序器提交给 L1 根底层,由 L1 来担任排序和结算,但也将面对较高的 gas 耗费和较长的买卖承认时刻。

Rollup 排序器相似于运用了「快车道」,把成百上千笔 L2 买卖紧缩聚合成单笔 L1 买卖,然后极大地降低了 gas 本钱。这也是现在干流的 Rollup 都运转中心化排序器的原因,为用户供给更低的 gas, 更快的买卖承认,然后改善用户买卖体会。

三、中心化排序器 vs. 去中心化排序器

中心化!

中心化的优势非常显着,想怎么给买卖排序就怎么排,不需求换人排序,也不需求对排序的结果达到一致。也就意味着具有非常快的买卖承认速度,用户的体会感更好;但中心化也赋予了排序器对买卖排序极大的自主权,它能够任意对买卖进行排序,以最大化自己的套利时机,攫取 MEV 价值,推迟用户买卖乃至彻底检查用户。

排序器能够在单一区块内经过改动买卖排序攫取 MEV 价值;危害更大的是,由于排序器操控着连续多个区块的排序,很容易履行跨区块 MEV,然后构成规划更大的攻击。

上述状况都归于排序器自动作恶,有些过错并非排序器有意为之,但依然损害了用户的体会和权益。打个比如,排序器不小心把一笔现已花费的代币买卖重新包含在软许诺中,然后发送给 L1 验证,或许存在买卖迟迟无法得到承认的状况;又如单一的排序器掉线了,导致二层无法正常出块,网络长时刻宕机。

鱼和熊掌不可兼得,但 Rollup 性能的优化绝不能以献身去中心化和抗检查为代价。

去中心化?

假如中心化是 1 ,那么去中心化便是多。不同去中心化排序器计划的完结途径有差异,但它们的中心理念是共同的,便是权力下放。

排序器不再具有中心化对买卖排序至高无上的权力,担任排序的人物根据特定的推举机制从一组排序器调集中选出,并进行固定周期的轮换。

去中心化杜绝了排序器源源不断地攫取 MEV,也避免了单一排序器检查用户的买卖。加之对应的作恶惩罚机制,也能有用地标准排序器的行为。

四、去中心化排序器赛道概览

绕了这么久,总算进入正题了。去中心化排序器,一种是 Rollup 项目方自己做,另一种是借助第三方完结。借助第三方完结去中心化排序器,其实也能够称之为 Sequencing-as-a-Service,排序即服务。

Espresso、Astria、SUAVE、Radius 等项目都专心于去中心化排序器计划,它们的完结途径各不相同。

1. Espresso

Espresso Systems 前期是一家专心于隐私处理计划的服务商, 2022 年 3 月宣告获得由 Electric Capital, 红杉,Blockchain Capital 参投的近 3000 万美元的 A 轮融资。Espresso Systems 现在基本转型做 Espresso Sequencer,专门为 Rollup 供给去中心化排序器的服务。

Rollup 2.0:去中心化排序器之争

L2 买卖在 Espresso 排序器的排序机制下,大体阅历的生命周期如下:

1)用户在二层发生的买卖发送到 Rollup 服务器(API);

2)买卖进入 mem 池,排序器(经过 HotShot 一致推举)将买卖排序并包含在一个区块中;

3)排序器将买卖广播,经由其他节点达到 HotShot 一致后出块,买卖被履行;软许诺供给快速买卖承认;

4)排序器将包含买卖的区块许诺顺便一致证书(QC: Quorum Certificate)发送并存储在 L1 排序器合约中(证明该区块经过一致达到软终究性);

5)已履行该区块的 Rollup 节点将新的 Rollup 状况发送到 L1(此刻 zkRU 需求顺便有用性证明,ORU 翻开挑战期);

6)L1 Rollup 合约经过验证排序器合约发送来的 QC 检查状况更新的有用性。

Rollup 2.0:去中心化排序器之争

这个流程看起来不流畅难懂,简略了解便是:

HotShot 一致在一群排序器调集中选出其间之一,由它担任 Rollup 买卖的排序并把买卖包含在一个区块中;这个区块有必要经由其他的 Rollup 节点签署达到一致(2/3 以上 HotShot 节点赞同)才具有「终究性」,然后相关的区块许诺和新的 Rollup 状况根才提交给 L1 根底层做验证。

上面的「终究性」带了引号,这个带引号的「终究性」和不带引号的终究性不是一个概念。带引号的「终究性」是为了让 Rollup 的买卖更快地承认,推迟少,用户的体会更好;但 Rollup 的买卖终究仍是要 L1 根底层去做验证(zkRU 要验证有用性证明,ORU 要等候挑战期完毕),验证 Rollup 提交的买卖没问题的状况下,这时 Rollup 的买卖才具有真正的终究性。

也就意味着:假如 L1 根底层验证买卖是无效的话,相关的已出块的 L2 区块就会面对回滚。所以,「终究性」是为了让买卖快速承认,终究性是为了继承以太坊的安全性。

Rollup 2.0:去中心化排序器之争

Rollup 2.0:去中心化排序器之争

  • Espresso + EigenLayer

Espresso 根据 HotShot 一致处理了排序器轮换问题和买卖「终究性」的确定问题,经过引入 EigenLayer 处理排序器的准入问题。

EigenLayer 的再质押机制使以太坊的质押者一起成为 Espresso 排序器成为或许,为 HotShot 一致供给安全保证。简言之,以太坊的节点质押者能够经过 EigenLayer 的再质押机制成为 Espresso Sequencer(ESQ),以太坊质押者在获得 PoS 节点收益的一起,也捕获了二层 MEV 的价值。

ETH 持有者的潜在收益 = 原生网络的节点奖励 + L2 EVM + 其他 PoS 链的节点奖励(运用 EigenLayer 再质押机制),三重 buff 极大赋能了 ETH。

Rollup 2.0:去中心化排序器之争

Espresso 作为通用类的去中心化排序器处理计划,生态合作项目除 EigenLayer 外,还包含 Arbitrum, OP Stack, Caldera, AltLayer 等一众明星模块化项目。

Rollup 2.0:去中心化排序器之争

2. Astria

Astria 的定位是通用、无需答应的去中心化排序器,为不同 Rollup 供给了开箱即用的同享排序器服务。融资方面,Astria 在 2023 年 4 月宣告完结由 Maven 11 领投的 550 万美元种子轮融资,跟投机构包含 1 k(x), Delphi Digital, Lemniscap, Robot Ventures 等。尽管融资规划不大,但机构阵容非常富丽。

Rollup 2.0:去中心化排序器之争

  • 运转机制

Astria 去中心化排序器的运转机制和 Espresso Sequencer 大同小异,目的都是经过把买卖排序权力下放来弱化排序者的特权。详细来看:

针对排序器的轮换,Astria 提出了 2 种轮换机制:简略的领导者轮换(Leader Rotation)和拜占庭容错(BFT)一致算法。

1)领导者轮换

经过推举的排序器组成一个调集,排序器调集轮番对 Rollup 买卖进行排序。这种方法杜绝了单一排序器长时刻持续垄断买卖的排序权,必定程度上处理了对用户持续检查的问题。

Rollup 2.0:去中心化排序器之争

2)BFT 一致算法

跟领导者轮换机制相似,轮到的排序器有权担任买卖排序,但排序器调集中有必要有 2/3 及以上成员需求就这个排序达到一致。

两种办法各有优缺点:前者买卖承认速度更快,完结快速出块,功率接近于中心化排序器。但折衷点是依然很难束缚轮到的排序器不去作恶;选用 BFT 一致作恶的概率更小,需求调集中 2/3 的排序器投票达到一致才出块。但需求必定的时刻进行一致投票,构成了网络推迟的问题。

Rollup 2.0:去中心化排序器之争

3. SUAVE

SUAVE 是 Flashbots 构建的去中心化、即插即用的同享排序器处理计划,作为通用类计划,SUAVE 能为任意 L1/ L2 供给内存池和去中心化区块构建。SUAVE 与前述同享排序器设计的不同之处在于,SUAVE Chain 自身是一条 EVM 兼容链,经过区块“竞标”的方法完结买卖排序。

  • SUAVE 架构

SUAVE 的架构由 3 大中心组件构成:通用偏好环境、最佳履行商场和去中心化区块构建。

1)偏好环境

偏好掩盖范围广泛,从简略的买卖到杂乱的事件。用户的偏好以买卖的方法反映在 mempool 中,偏好环境作为一个公共的 mempool 将偏好汇聚在一起。SUAVE 供给的通用偏好环境使多链的用户偏好公开通明,消除了信息差,在必定程度上处理了跨链 MEV 的问题。

2)履行商场

履行商场是由履行者参加的网络,履行者担任监听 SUAVE memepool 并相互竞赛,竞赛驱动它们为用户偏好供给最佳的履行。能够了解为一切的履行者经过“竞标”的方法去完结用户的偏好,将用户买卖发生的 MEV 尽或许多地返还给用户。

3)去中心化区块构建

最终,依据收集到的偏好和最佳的履行途径,去中心化区块构建网络将它们包含在区块中。至此完结买卖发现、买卖排序、出块的全流程。

Rollup 2.0:去中心化排序器之争

4.Radius

Radius 的定位是一个无需信赖的同享排序层。与前述计划的完结机制均不同,Radius 经过启用加密 mempool, 保证 Rollup 买卖被无需信赖地排序,然后消除有用的 MEV 和用户买卖检查。

融资方面,Radius 于 2023 年 6 月宣告完结由 Hashed 领投的 170 万美元 Pre-seed 轮融资,跟投机构包含 Superscrypt, LambdaClass 和 Crypto.com。

Rollup 2.0:去中心化排序器之争

Espresso, Astria 等根据一致机制的去中心化排序器在必定程度上降低了 MEV 和检查风险,但是以献身网络可扩展性和时刻功率为代价的,带来了必定的买卖承认推迟(需求就买卖排序达到一致)。此外,尽管买卖排序处在一个去中心化的环境中,由于 mempool 的相关买卖是通明的,排序器依然有作恶的空间攫取 MEV. Radius 经过加密 mempool, 相关买卖信息对排序器不可见,旨在从源头摧残排序器歹意攫取 MEV 和检查买卖的问题。

  • 技能架构

Radius 技能架构可分为以下 4 大功用层级:排序层(Radius)、履行层(Rollup)、结算层和数据可用性层。

1)排序层

1. 用户提交加密买卖和证明给排序器;

2.排序器验证证明并验证买卖;

3.排序器对买卖进行排序,在此之前无法解密买卖;

4.排序器构建一个区块;

5.排序器将区块提交给 Rollup 履行。

2)履行层

1. Rollup 接收来自排序器的区块,并按照供给的次序履行买卖;

2.Rollup 将买卖状况和状况证明提交给结算层。

3)结算层

1. 结算层接收来自 Rollup 的状况和状况证明,担任验证证明并确定买卖的终究性;

2.排序层验证履行是否与次序匹配。

4)数据可用性层

数据可用性层存储数据并保证数据可用。

Rollup 2.0:去中心化排序器之争

  • mempool 的加密机制 - PVDE

Radius 选用根据零常识证明的加密计划「实用可验证推迟加密」(PVDE)来创建加密 mempool。

详细流程如下:

当用户向排序器提交买卖时:

1.用户生成一个时刻锁谜题和一个对称密钥;

2.用户运用对称密钥对买卖进行加密,加密后的买卖进入 mempool;

3.排序器对加密买卖进行排序,排序器需求解锁时刻锁谜题才能获得解密密钥;

4.排序器在解锁时刻锁谜题前核算订单许诺,并将许诺提交的结算层(用于验证排序器按次序将买卖提交给了 Rollup)。

Rollup 2.0:去中心化排序器之争

  • 排序器的去中心化计划

加密 mempool 保证了排序器的无需信赖,但单点毛病风险依然存在。假如运转单一排序器 + 加密 mempool, 排序器毛病会导致网络宕机。为了处理这个问题,Radius 提出了多种去中心化排序器完结计划,包含秘密领导者推举机制、排序器组分片机制等。

当然,Radius 也能够挑选参考 Espresso 和 Astria 的排序器轮换机制,一起完结买卖排序的去中心化和无需信赖。

  • 区块空间优化

Radius 经过区块空间优化,旨在完结既维护用户又最大化 Rollup 赢利的方针。Rollup 选用先到先服务(FCFS)的排序机制,长处是能有用避免 MEV, 坏处是有必要献身区块空间拍卖的潜在赢利。

为了处理上述买卖排序的两难窘境,Radius 经过将区块空间划分为顶部块空间和底部块空间 2 部分:

其间顶部块空间专用于用户买卖,将用户买卖加密,消除买卖排序操纵,然后维护用户免受有害 MEV 和检查风险;底部区块引入一个根据拍卖的买卖商场,套利者能够将捆绑买卖和它们的出价提交给排序器,排序器会挑选出价最高的捆绑买卖包含在区块中,这种办法能够使 Rollup 赢利最大化。

以上便是现在干流的通用去中心化排序器处理计划。对于 Rollup 而言,面对着运转中心化排序器仍是去中心化排序器?集成第三方通用排序器计划仍是自己完结去中心化?选用哪种技能完结计划完结买卖排序的去中心化?等多个维度的利弊权衡。

五、Rollup 间的博弈

权衡 1: 是否去中心化?

Optimism, Arbitrum, zkSync, Base 等几大干流 Rollup 靠运转中心化排序器赚得盆满钵满,去中心化将买卖排序的权力下放必定涉及分润。在不考虑 Rollup 赛道愈发激烈的竞赛格局的前提下,谁也不愿意把这份到手的香饽饽分出去。但假设有 Rollup 首先发动去中心化排序器,这或许是一个巨大的流量入口,在 Rollup 细分赛道中构成演示效应,然后倒逼其他 Rollup 项目将其排序器去中心化。

权衡 2: 集成通用第三方 vs. 内部专用处理计划

排序器完结去中心化的途径总体而言就 2 种:一种是他人做好的拿过来用;另一种是自己下场干。像 Espresso, Astria 等第三方能够为 Rollup 供给开箱即用的去中心化排序器服务,那么 Rollup 自身就能继续专心于产品差异化和优化性能,提高自身的中心竞赛力;此外,集成通用类的去中心化排序器计划也更利于完结互操作性,带来包含跨 Rollup 套利等更多的或许性。而此计划的坏处或许在于无法对 Rollup 自身的原生代币进行有用的赋能。

Rollup 假如选用内部专用处理计划完结去中心化排序器,这是最耗时且昂贵的计划,但确实完结 Rollup 原生代币赋能的最行之有用的方法。如 StarkNet 的项目方能够要求用户质押协议原生代币成为排序器调集参加 Rollup 的买卖排序,并收取必定的服务费用,然后完结价值的累积。

权衡 3: 选用哪种技能完结计划完结去中心化排序?

如前所述,完结去中心化买卖排序的技能完结计划有很多,包含但不限于根据不同的一致机制、FCFS、区块竞价、加密 mempool 等计划。每种技能完结计划各有优缺点:根据一致机制将受限于时刻功率、加密 mempool 无法完结 Rollup 赢利最大化等,当然也能够参考 Astria 融合 2 种不同的技能完结计划。各种不同技能完结计划间的权衡点是一切 Rollup 项目需求深思熟虑的问题。

写在最终

尽管现在 Rollup 赛道的龙头 Optimism、Arbitrum 均已发币,但这或许仅仅是个起点,真正意义上的竞赛或许才刚刚开始。至少从现在的趋势看,去中心化排序器必定是兵家必争之地。

zk 系 Rollup 项目也在悄然崛起,在竞赛日趋激烈的环境下,走错一步或许都会构成无法弥补的损失。但在影响项目生死存亡的改造面前,Rollup 们无从挑选,只能顺应大势。

参考文献

[ 1 ] Binance Research: Ethereum’s Rollups are Centralized. A Look Into Decentralized Sequencers

https://www.binance.com/en/research/analysis/ethereums-rollups-are-centralized-a-look-into-decentralized-sequencers

[2] Espresso HotShot: Consensus Designed for Rollups

https://medium.com/@espressosys/espresso-hotshot-consensus-designed-for-rollups-b080ba7362d1

[ 3 ] Based rollups—superpowers from L1 sequencing

https://ethresear.ch/t/based-rollups-superpowers-from-l1-sequencing/15016 

[ 4 ] Introducing Astria: The Shared Sequencer Network

https://blog.astria.org/introducing-astria/

[5] Introducing the Astria Development Cluster

https://blog.astria.org/introducing-the-astria-development-cluster/

[6] Why Decentralize Sequencers?

https://blog.astria.org/why-decentralize-sequencers/

[7] IOSG 详解 SUAVE:MEV 规划化增加的新十年

https://foresightnews.pro/article/detail/24673

[8] The Future of MEV is SUAVE

https://writings.flashbots.net/the-future-of-mev-is-suave/

[9] Radius Gitbook

https://docs.theradius.xyz/overview/introduction-to-radius

此时快讯

【Avalanche创始人:Stars Arena漏洞已被修复,总计只有2000美元的资金被盗】10月6日消息,Avalanche联合创始人Emin Gun Sirer于X表示:Stars Arena漏洞已被修复;攻击者需要花费0.25美元才能获取0.04美元;总计只有2000美元的资金被盗。

发表回复

您的电子邮箱地址不会被公开。 必填项已用 * 标注