序列发生器

定义

序列器是Layer 2 (L2) 扩容方案(最常见于乐观 Rollup 和零知识 Rollup )中的一个专用节点或实体,负责对用户交易进行排序、批处理并将其提交到底层 Layer 1 (L1) 区块链。当用户向 Rollup 提交交易时,序列器会收集这些交易,确定其处理顺序,在链下执行交易以生成新的状态,然后将压缩后的交易数据(有时还包括状态证明)发布到 L1 链以进行最终结算和数据可用性验证。序列器在 Rollup 的性能中扮演着至关重要的角色,因为它们能够在数据永久锚定到以太坊或其他底层之前实现近乎即时的交易确认(称为“软确认”)。然而,目前大多数 Rollup 都依赖于 Rollup 团队运营的单个中心化序列器,这引入了关于交易活性、抗审查性和公平排序的信任假设。为了缓解这些担忧,区块链行业正在积极研究和开发去中心化序列器网络、共享序列器以及强制包含等机制,使用户能够绕过序列器直接向 L1 提交交易。序列器的设计对 Rollup 的安全模型、用户体验、最大可提取价值 (MEV)动态以及整体去中心化程度都具有深远的影响。

 起源与历史

日期创建
2018Vitalik Buterin 等人开始将 Rollup 概念正式化为 L2 扩展解决方案。
2019乐观的汇总设计方案随着交易排序实体概念的出现而涌现。
2020年XNUMX月Optimism(前身为 Plasma Group)启动了带有集中式序列器的初始测试网。
2021年XNUMX月Arbitrum One 在主网上线,采用由 Offchain Labs 运营的单个序列器。
十二月2021年Optimism 主网上线,采用集中式序列器进行交易排序。
2021年XNUMX月XNUMX日StarkNet alpha 版本采用由 StarkWare 管理的集中式序列器进行部署。
2023Espresso Systems、Astria 和 Radius 提出了共享/分散式音序器设计方案。
2023年XNUMX月Arbitrum 推出了 Sequencer Inbox 合约,提高了透明度。
第4季度 2023 年多个汇总团队发布去中心化序列器路线图
2024基于汇总的概念逐渐获得认可——L1验证器充当排序器,从而消除中心化运营商。

 “排序器是汇总系统的心脏——它不仅决定交易的顺序,还决定整个系统的信任模型。”——维塔利克·布特林

 运作模式

“` 汇总中的音序器工作流程 ┌────────────────────────────────────────────────────────────────┐ │ 用户 │ │ [事务 A] [事务 B] [事务 C] [事务 D] [事务 E] │ └────────┬───────┬────────┬────────┬─────────┬──────────────┘ │ │ │ │ │ ▼ ▼ ▼ ▼ ▼ ┌───────────────────────────────────────────────────────────────┐ │ 音序器节点 │ │ ┌─────────────┐ ┌───────────────┐ ┌──────────────────┐ │ │ │ 内存池 / │ │ 排序 │ │ 状态 │ │ │ │ 交易队列 │→ │ 引擎 │→ │ 执行 │ │ │ │ (收集) │ │ (排序/批量) │ │ (计算新) │ │ │ └───────────────┘ └─────────────────┘ └────────┬─────────┘ │ │ │ │ │ ┌──────────────────────────────────────────────────▼─────────┐ │ │ │ 软确认(即时收据) │ │ │ └─────────────────────────────┬─────────────────────────────┘ │ └──────────────────────────────┼────────────────────────────────┘ │ ▼ ┌───────────────────────────────────────────────────────────────┐ │ 批量压缩与提交 │ │ Sequencer 将有序交易压缩成批次并发布 │ │ calldata / blob 到 Layer 1(以太坊) │ └──────────────────────────────┬──────────────────────────────────┘ │ ▼ ┌──────────────────────────────────────────────────────────────┐ │ 第一层(以太坊) │ │ ┌──────────────────┐ ┌───────────────────────────────────┐ │ │ │ 数据可用性 │ │ 结算 / 防欺诈 / │ │ │ │ (调用数据/blobs) │ │ 有效性验证 │ │ │ └──────────────────┘ └───────────────────────────────────┘ │ │ 最终性达成 │ └───────────────────────────────────────────────────────────┘ “`

方面集中式测序仪去中心化序列器基于测序仪(L1)
操作者单一实体(汇总团队)轮换验证器集L1区块提议者
延迟极低(软确认时间约200毫秒)低-中速(约1-5秒)L1 块时间(约 12 秒)
审查抵抗低(信任单方)高(多个运算符)非常高(继承 L1)
MEV 控制测序仪捕获 MEVMEV分布式/缓解MEV 由 L1 级处理
活泼单点故障容错继承 L1 活性
复杂简易中等偏上低(无额外基础设施)
权力下放最小中高最大

 简单来说

  1. 交易收集器:把排序器想象成邮局职员,他接收你所有的信件(交易),将它们按正确的顺序分类,并将它们打包成一个包裹,然后送到主区块链。
  2. 速度助推器序列器会在交易到达以太坊之前就立即提供已接受的收据(“软确认”)。这使得使用 Rollup 的速度与使用中心化应用程序一样快。
  3. 批量发布器序列器不会单独发送每笔交易(成本很高),而是将成百上千笔交易压缩成一个批次并发布到以太坊,从而大幅降低每笔交易的 gas 成本。
  4. 订单决定者排序器决定哪笔交易先执行。这项权力意义重大,因为交易顺序会影响谁能从套利、清算和其他时间敏感型操作中获利(MEV)。
  5. 信任瓶颈如今大多数序列化器都是集中式的——由一家公司运营。如果这家公司倒闭或审查交易,用户就需要一种备用机制(例如强制包含在 L1 层级)来保护资金。

 实际例子

EventXtra XNUMX大解决方案技术实施成果
Arbitrum One 交易处理Offchain Labs 运营着一个中心化的序列器,负责对所有 Arbitrum 交易进行排序,并将批次发布到以太坊。用户可在最终结算时体验到亚秒级的软确认,并享有以太坊的全面安全性。
Optimism 的序列器收费模式OP 主网序列器收取 L2 执行费并支付 L1 数据发布成本,盈余部分归 Optimism Collective 所有。创建可持续的收入模式,为公共产品提供资金,同时保持用户费用低廉
Espresso共享音序器Espresso Systems 构建了一个去中心化的音序器,可以同时处理多个卷咖啡。支持原子级跨 Rollup 组合,并降低各个 Rollup 序列器的信任假设。
Metis分散式测序仪Metis 是首批使用点对点验证器网络实现去中心化序列池的 Rollup 项目之一。提高了抗审查能力,并将测序收益分配给了质押者。

优势

企业优势描述
快速确认序列器提供近乎即时的软确认(100-500毫秒),使用户在L2上获得类似Web2的体验。
成本效益通过将数千笔交易批量处理成压缩数据并发布到 L1 层,排序器可以将每笔交易的成本降低 10 到 100 倍。
简化架构单一序列器使得早期阶段的汇总系统更易于构建、部署和维护。
MEV缓解潜力去中心化或公平排序的序列器可以实现 MEV 保护机制,例如加密内存池或先到先得的排序方式。
创收Sequencer 费用产生的收入可用于资助 Rollup 开发、公共产品,或分配给代币质押者。

 缺点与风险

风险描述
集权目前大多数汇总排序器都由单个实体运营,这造成了单点故障和信任依赖。
审查制度的脆弱性中心化的排序器理论上可以审查或重新排序特定交易,从而破坏区块链的无需许可特性。
活体风险如果排序器离线,用户将无法对汇总数据进行交易(尽管通过 L1 强制包含提供了一种补救方法)。
MEV提取排序器可以完全查看待处理的交易,并通过抢先交易、夹层交易或重新排序来提取 MEV。
监管目标集中式排序器运营商是可识别的法律实体,可能被强制审查交易或遵守制裁规定。

风险管理提示:

  • 使用提供强制包含机制的汇总,允许您通过 L1 绕过序列器。
  • 在投入大量资金进行整合之前,请监控排序器正常运行时间和去中心化路线图。
  • 考虑使用加密或公平排序的内存池进行汇总,以降低 MEV 风险敞口。
  • 多位二级技术人员轮岗,避免集中使用单一测序仪操作员的风险。
  • 随时了解共享序列器的最新进展,这些进展可能会提高交叉汇总安全性。

 常见问题解答

问:如果汇总程序的排序器离线会发生什么情况?

答:如果中心化排序器宕机,用户将无法通过正常的L2接口提交新的交易。但是,设计良好的汇总机制包含“强制包含”或“逃生舱”机制,允许用户直接向L1汇总合约提交交易,完全绕过排序器。这确保即使排序器永久离线,用户也能始终提取资金。

问:序列器会窃取我的资金吗?

答:不。序列器可以对交易进行排序和批量处理,但它无法伪造无效的状态转换。在乐观汇总中,欺诈证明可以捕获任何无效状态;在零知识汇总中,有效性证明从数学上保证了正确性。恶意序列器最多只能审查交易或提取MEV,但它无法直接窃取资产。

问:什么是共享序列器?

答:共享序列器是一个去中心化网络,可以同时为多个 Rollup 提供交易排序服务。Espresso、Astria 和 Radius 等项目正在构建共享序列器,以实现跨 Rollup 的原子交易,降低单个 Rollup 的信任假设,并创建一个更加去中心化的 L2 生态系统。

问:基于排序器的汇总与带有排序器的汇总有何不同?

答:基于 L1 的 Rollup(或 L1 序列 Rollup)将交易排序委托给以太坊自身的区块提议者,而不是运行单独的序列器。这最大限度地提高了去中心化和抗审查性(继承了以太坊完整的验证者集合),但牺牲了专用序列器提供的亚秒级软确认,因为排序遵循以太坊 12 秒的区块时间。

问:测序仪最终会完全去中心化吗?

答:大多数主流的 Rollup 团队都在其路线图中列入了去中心化序列器里程碑。这一转变涉及诸多技术挑战——共识机制、MEV 分发、延迟权衡——但业界正在朝着解决方案的方向发展。一些 Rollup 项目(例如 Metis)已经部署了去中心化序列器池,共享序列器网络也正在积极开发中。

来源

  • Ethereum.org — Rollups 和 Sequencer 设计
  • Vitalik Buterin — “卷曲技巧不完全指南”(2021)
  • 链下实验室 — Arbitrum Sequencer 文档
  • 乐观主义联盟——OP堆栈序列器规范
  • Espresso Systems — 共享音序器架构白皮书
  • L2Beat — 汇总序列器风险分析

UPay 小贴士:使用 Layer 2 Rollup 时,请注意序列器提供的软确认虽然速度很快,但并非最终确认——只有在以太坊上发布并验证数据后,交易才能最终确认。对于高价值交易,建议等待 L1 确认,而不要仅仅依赖序列器的即时确认。

免责声明:本内容仅供教育用途,不构成任何投资建议。在做出任何投资决策之前,请务必自行研究(DYOR)并咨询合格的财务顾问。

UPay——让加密货币成为百科全书

新闻