排序器(Sequencer)是以太坊扩容方案 Rollup 中的核心组件之一,负责对交易进行排序,并执行区块创建、交易接受、交易排序、交易执行以及交易数据提交等相关任务。随着以太坊网络 Layer 2 解决方案的不断增加及其生态系统的蓬勃发展,Layer 2 的盈利模式和中心化问题日益受到关注。尤其是在 Rollup 中,如何实现排序器的去中心化以及排序器利润的分配机制,成为大家关心的热点话题。
排序器,顾名思义,是负责对交易进行排序的角色。在比特币网络中,交易排序的职责由矿工负责;在以太坊网络中,这一职责由节点集合承担。这些角色并非固定,而是通过共识机制来确定谁有权参与交易的顺序执行。
目前,主流的 Rollup 方案大多运行中心化的单一排序器。用户在 Layer 2 (L2)的交易首先进入 mem 池(此时交易是无序的)。排序器将这些交易进行排序、压缩成一组有序的批次,然后发送到以太坊的数据可用性(DA)层。
去中心化排序器可以通过两种方式实现:一种是由 Rollup 项目方自行开发,另一种是借助第三方服务。借助第三方实现去中心化排序器,通常被称为 Sequencing-as-a-Service(排序即服务)。
目前,有多个项目专注于去中心化排序器方案,包括 Espresso、Astria、SUAVE、Radius 等。尽管它们的实现路径各不相同,但目标都是为了提升排序器的去中心化程度和可靠性。
在 Espresso 排序器的排序机制下,L2 交易大致经历以下生命周期:
交易发送:用户在二层网络上发生的交易通过 API 发送到 Rollup 服务器。
交易排序:交易进入 mem 池后,排序器通过 HotShot 共识选举对交易进行排序,并将其包含在一个区块中。
交易广播与确认:排序器将排序后的交易广播出去,其他节点通过 HotShot 共识达成共识后出块,交易被执行。同时,软承诺机制提供快速的交易确认。
区块承诺:排序器将包含交易的区块承诺及其共识证书(QC:Quorum Certificate)发送并存储在 L1 排序器合约中,证明该区块通过共识达成软最终性。
状态更新:已执行该区块的 Rollup 节点将新的 Rollup 状态发送到 L1。在 zkRU(零知识 Rollup)情况下,需要附带有效性证明,而在 ORU(优化 Rollup)情况下则会进入挑战期。
状态验证:L1 Rollup 合约通过验证排序器合约发送来的 QC,检查状态更新的有效性。
这个流程可以简化理解为:
交易排序与区块创建:在一组排序器中,通过 HotShot 共识机制选出一个排序器,它负责对 Rollup 交易进行排序,并将这些交易包含在一个区块中。
共识与区块承诺:该区块必须由其他的 Rollup 节点签署并达成共识(至少 2/3 的 HotShot 节点同意)才具有「最终性」。然后,相关的区块承诺和新的 Rollup 状态根提交给 L1 基础层进行验证。
快速确认与最终性:「最终性」带引号是为了让 Rollup 交易更快地确认,减少延迟,提升用户体验。然而,Rollup 交易最终还是要由 L1 基础层进行验证(zkRU 需要验证有效性证明,ORU 需要等待挑战期结束)。如果 L1 验证交易没有问题,此时 Rollup 的交易才具有真正的最终性。
潜在回滚:如果 L1 验证发现交易无效,相关的已出块的 L2 区块将面临回滚。因此,「最终性」是为了让交易快速确认,而最终性是为了继承以太坊的安全性。
Astria 的定位是提供通用、无需许可的去中心化排序器,为不同的 Rollup 提供开箱即用的共享排序器服务。
运行机制
Astria 的去中心化排序器运行机制与 Espresso Sequencer 类似,目的是通过将交易排序的权利下放来减少排序者的特权。具体来说,Astria 提出了两种针对排序器的轮换机制:
领导者轮换(Leader Rotation):这是一种简单的轮换机制,通过预定的规则或时间间隔在排序器之间轮换领导者,从而分散排序权力。
拜占庭容错(BFT)共识算法:这是一种更加复杂和安全的机制,允许在存在恶意节点的情况下仍能达成共识。通过这种算法,多个排序器共同参与决策,确保系统在遭受一定数量的节点故障或攻击时仍能正常运行。
领导者轮换
通过选举产生的排序器组成一个集合,集合中的排序器轮流对 Rollup 交易进行排序。这种方式避免了单一排序器长时间垄断交易排序权的问题,并在一定程度上解决了对用户持续审查的隐忧。
SUAVE 是由 Flashbots 开发的去中心化、即插即用的共享排序器解决方案。作为一个通用平台,SUAVE 能够为各种 L1/L2 网络提供内存池管理和去中心化的区块构建功能。与传统共享排序器设计不同,SUAVE Chain 是一条 EVM 兼容链,它通过区块“竞标”的机制实现交易排序。
SUAVE 架构
SUAVE 的架构由三个核心组件组成:通用偏好环境、最佳执行市场和去中心化区块构建。
偏好环境
SUAVE 的偏好环境广泛涵盖了从简单交易到复杂事件的各种需求。用户的交易偏好会以交易形式反映在内存池中,偏好环境作为一个公共的内存池将这些偏好汇总起来。SUAVE 提供的通用偏好环境不仅使多链用户的偏好变得公开透明,还有效减少了信息不对称,并在一定程度上缓解了跨链 MEV 问题。
执行市场
执行市场由一群执行者组成,他们负责监听 SUAVE 的内存池并相互竞争。竞争驱动这些执行者为用户的偏好提供最佳执行方案。可以将这些执行者视为通过“竞标”方式来实现用户需求的参与者,他们力求将产生的 MEV 尽可能多地返还给用户。
去中心化区块构建
最后,基于收集到的偏好数据和最佳执行路径,去中心化区块构建网络会将这些交易信息打包到区块中,完成从交易发现、排序到区块出块的整个过程。
Radius 的定位是一个无需信任的共享排序层。与前述方案的实现机制不同,Radius 通过引入加密内存池(encrypted mempool)来确保 Rollup 交易的排序过程无需信任。这种方法有效消除了 MEV 和用户交易审查的问题,从而保障了交易的公正性和透明性。
尽管像 Espresso 和 Astria 等基于共识机制的去中心化排序器在一定程度上减少了 MEV 和审查风险,但它们通常以牺牲网络可扩展性和时间效率为代价,从而导致交易确认延迟(因为需要就交易排序达成共识)。此外,虽然这些排序器在去中心化环境中运行,由于内存池中的交易信息是公开透明的,排序器仍然可能存在恶意攫取 MEV 的风险。Radius 通过引入加密内存池(encrypted mempool),确保排序器无法看到相关交易信息,旨在从根本上解决排序器恶意攫取 MEV 和审查交易的问题。
技术架构
Radius 的技术架构分为四个主要功能层级:排序层(Radius)、执行层(Rollup)、结算层和数据可用性层。
排序层
用户将加密交易及其证明提交给排序器。
排序器验证这些证明及交易的有效性。
排序器在解密交易之前对交易进行排序。
排序器构建一个区块。
排序器将构建好的区块提交给 Rollup 执行层。
执行层
Rollup 接收排序器提交的区块,并按照指定的顺序执行交易。
Rollup 将交易状态及状态证明提交至结算层。
结算层
结算层负责接收和验证来自 Rollup 的状态和状态证明,以确认交易的最终性。
结算层确保交易执行符合排序层指定的顺序。
数据可用性层
数据可用性层负责存储数据并确保这些数据的可用性。
mempool 的加密机制 - PVDE
Radius 采用基于零知识证明的加密方案“实用可验证延迟加密”(PVDE)来实现加密内存池(mempool)。这一机制确保了交易在排序过程中保持加密状态,增加了交易处理的安全性。
具体流程如下:
用户提交交易
用户生成一个时间锁谜题和一个对称密钥。
用户使用对称密钥对交易进行加密,加密后的交易进入内存池(mempool)。
排序器处理交易
排序器对加密交易进行排序,但在解锁时间锁谜题之前无法获取解密密钥。
排序器在解锁时间锁谜题前,计算订单承诺,并将该承诺提交给结算层。这一承诺用于验证排序器是否按照顺序将交易提交给 Rollup 执行层。
Metis 是首批实践去中心化 PoS 排序器的 Layer 2 网络,为未来的发展提供了一个重要的范本。这个范本不仅实现了排序器的去中心化,还提供了基于 PoS(权益证明)的去中心化 Optimistic Rollup 解决方案。在该范本中,Metis 的去中心化 PoS 排序器包括三个主要角色:管理员、排序器和 PoS 共识层。
在传统的 Rollup 模型中,单一的 Sequencer 虽然能有效处理交易和数据,但也集中权力,可能引发多种风险:
操作风险:如果 Sequencer 发生故障或遭受攻击,整个系统的交易处理将被阻断。
审查风险:Sequencer 能够选择性处理或拒绝交易,这可能限制用户访问特定的去中心化金融(DeFi)协议或服务。
操纵风险:Sequencer 在交易排序中可能优先处理自身交易,通过提高交易费用获取不正当利益,即最大可提取价值(MEV)。
为了解决这些问题,Metis 设计了一个去中心化的 Sequencer 池,由多个 Sequencer 节点共同完成交易的聚合、排序和执行。这一设计确保了系统的公正性和透明度:
共识机制:超过三分之二的 Sequencer 节点必须对每个新区块的状态达成共识,之后才能将交易批次提交到以太坊主网(L1)。
多方计算(MPC)签名:在交易批次提交到 L1 之前,通过 MPC 签名验证批次的真实性,确保数据的准确性。
去中心化 Sequencer 的优势:
增强安全性:通过多个节点共同决策,降低了单点故障的风险,提高了网络的鲁棒性和安全性。
降低审查和操控的可能性:多个 Sequencer 的存在使得单一节点难以操控或审查交易,保护用户的交易自由。
稳定性和冗余:支持 Sequencer 的平滑轮换,最小化故障或中断的影响,提高了整个网络的稳定性。
在 Metis 的去中心化 Sequencer 模型中,每个节点由几个关键组件组成:
L2 Geth(包括 OP-Node):负责交易排序和区块组装。
适配器模块:作为与其他外部模块(主要是 PoS 节点)交互的中介。
批次提交者(Proposer):负责构建交易批次并在获得多个 Sequencer 的认可后提交到 L1。
PoS 节点:在以太坊、共识和 Metis 层之间进行协调,确保资产的安全锁定并奖励验证者。
共识层:由与以太坊主网并行运行的 Tendermint PoS 节点组成,确保操作效率而不妨碍主网的进程。
L2 Geth(包括 OP-Node)
主要代码为https://github.com/MetisProtocol/mvm fork optimism
主要是修改了两部分
区块组装:mvm\l2 geth 服务代码,加入了 applyTransactionToTip 处理逻辑,以此判断当前 sequencer 是否应组装当前区块。
交易排序:修改原 op-node 代码,借助 MPC 共识层的适配器模块,获取轮换列表与区块高度对应的当前排序器的位置,来检查自己是否为当前有效排序器。
Sequencer 轮换
轮换信息存在L2 MetisSequencerSet 合约中,信息由共识层(PoS 节点)控制
每个 epoch,共识层更新 Sequencer 信息,经过 MPC 签名,发起交易,更新合约 Sequencer 列表
每个 epoch,根据合约 Sequencer 列表信息,轮流当职
违规:未及时,或者产生错误交易(两笔相同 L2 TxID),PoS 层会选择新的 Sequencer,{构造 ReselectSeqencer 交易 MPC 签名},新的 Sequencer 会在L2上发起当前 TxID 的交易,同时新的 Sequencer 也会更新到 MetisSequencerSet 合约 {没有惩罚机制}
触发更新:收到常规交易,并且达轮换间隔,会暂停当前常规交易,执行 MetisSequencerSet.sol 合约更新交易,然后 PoS 层选择将执行当前常规交易的新排序器。
加入:POS 合约,部署在L1,任何人,抵押 metis,申请成为 sequencer。当达到上限,进入等待队列
获得一个 NFT
禁止直接转移,可通过 LockingPool 合约->updateSigner 更换签名者,转移 NFT
NFT 的 tokenId 对应 sequence id
替换:当 sequencer 长期处于不健康状态,将被踢出,并由候补替换
退出:
销毁 NFT
update:通过 LockingPool 合约->updateSigner 更换签名者,转移 NFT
选择:加权随机选择算法
MPC 模块
负责管理多重签名密钥的整个生命周期
多重签名生成
密钥重新共享
应用签名
删除签名
提供对多种多重签名异步使用的支持
处理流程
第 1 阶段:通知 MPC 节点做好准备
在本地生成一个随机数 sessionID;
keyGenPrepare 使用p2p网络将消息广播到所有 MPC 节点;
每个 MPC 节点收到 keyGenPrepare 消息后,启动各自的处理 goroutine;
根据 检查本地数据(数据是指 TSS 模块是否存储了该 id 对应的 mpc 信息)keyId;
如果状态中已有数据 READY,则直接从存储中返回数据,无需继续操作 keyGen;
如果已经存在具有 PENDING 状态的数据,则返回错误,以避免由于并发执行不同的密钥生成调用而导致密钥生成不一致;
建立p2p通信通道;
将消息返回 keyGenReady 给发起节点;
第二阶段:启动 keyGen 流程
发起节点等待接收 keyGenReady 来自所有节点的消息;
一旦发起节点收到 keyGenReady 来自所有节点的消息,它就会 keyGenStart 使用 p2p 网络将消息广播到所有 MPC 节点;
收到 keyGenStart 消息后,每个 MPC 节点:
在本地构造一个 LocalParty 实例;
开始从其他节点接收信息
区块链排序器的发展前景充满了激动人心的变革。随着区块链生态系统的不断演进,排序器将经历从中心化到更加分散、高效和适应性强的解决方案的重大转变。这一变革对提高以太坊生态系统的交易效率、可扩展性和安全性至关重要。
去中心化是加密货币的核心哲学。通过共享排序网络,经济机制能够有效地解决价值累积和收入分配的问题。随着排序器模块化构建和开发框架的日益成熟,未来这些技术将成为行业发展的强大催化剂,推动区块链生态系统向更加创新和高效的方向迈进。
https://docs.espressosys.com/sequencer
https://docs.theradius.xyz/
https://docs.astria.org/developer/tutorials/run-local-rollup-against-remote-sequencer
https://docs.metis.io/dev/decentralized-sequencer/overview
正加财富网内容推荐 | ||
OK交易所下载 | USDT钱包下载 | 比特币平台下载 |
新手交易教程 | 平台提币指南 | 挖矿方法讲解 |