什么是定序器（sequencer）
注意：本文档是英文原版的自动翻译。
什么是定序器（sequencer）
**定序器（sequencer）**是 Layer 2（L2）网络中的一个组件，负责接收用户交易、对其排序，并在最终数据被提交到底层 Layer 1 链进行结算之前产出 L2 区块。在当前大多数 L2 架构中——乐观汇总（optimistic rollup）和某些 zk-rollup——定序器充当交易处理的单一入口点，决定着交易执行的顺序以及用户收到确认的速度。
简而言之： 定序器是决定交易顺序并产出区块的 L2 节点——这使它成为一个关键的基础设施瓶颈，影响着运行在该 L2 上的每个项目的速度、抗审查性以及 MEV 动态。
定序器如何运作
交易流程
当用户在 L2 网络上提交一笔交易时，该交易不会像在以太坊 L1 上那样进入一个去中心化的内存池（mempool）。相反，它会直接进入定序器。定序器执行若干功能：
- 接收来自用户和应用的进入交易。
- 将它们排序成一个序列——决定哪笔交易先执行、哪笔其次执行，以此类推。
- 针对当前的 L2 状态执行这些交易，计算由此产生的状态变更。
- 产出一个包含已排序交易的 L2 区块。
- 将交易数据（或其压缩版本）发布到 L1 链，以实现数据可用性和最终性。
用户通常在几秒钟内就能从定序器收到一个"软确认（soft confirmation）"——比等待 L1 最终性快得多。然而，这个确认依赖于在数据于 L1 上最终化之前信任定序器会诚实行事。
中心化定序与去中心化定序
如今，绝大多数 L2 网络运行着一个由构建该 rollup 的团队控制的单一中心化定序器。例如，Arbitrum One、Optimism 和 Base 各自运行着一个由其各自组织运营的单一定序器。
这种中心化带来了明显的权衡：
- 速度 —— 单一定序器可以在毫秒级别内对交易排序和确认，因为多个定序器节点之间不存在共识开销。
- 审查风险 —— 定序器运营方理论上可以延迟、重新排序或排除特定交易。大多数 rollup 通过"强制纳入（forced inclusion）"机制缓解这一点，该机制允许用户绕过定序器，直接向 L1 合约提交交易。
- MEV 控制 —— 中心化定序器对交易排序拥有垄断权力，这制造了集中在单一实体而非分散于竞争性市场的 MEV 提取机会。
- 单点故障 —— 如果定序器宕机，L2 就会停止产出新区块（不过用户仍可通过 L1 机制退出）。
共享定序与去中心化定序
若干举措正在朝着去中心化定序努力，即由多个独立方轮流产出 L2 区块；以及共享定序，即一个共同的定序层同时服务于多个 L2 网络。这些方法旨在降低审查风险、更公平地分配 MEV，并改善跨 rollup 的互操作性。截至目前，去中心化定序在很大程度上仍处于研究和测试网阶段。
为什么定序器对加密货币人工智能项目很重要
面向 AI 智能体的交易排序。 在 L2 网络上运行的 AI 智能体——执行交易、管理流动性或自动化 DeFi 策略——会将它们的交易提交给定序器。定序器的排序决策直接影响智能体的执行质量。一个抢跑（front-run）或重新排序 AI 智能体交易的定序器会降低它们的表现。
对延迟敏感的人工智能操作。 中心化定序器提供亚秒级的软确认，这有利于对延迟敏感的人工智能应用，例如实时交易机器人或动态定价模型。其权衡之处在于信任：在 L1 最终性达成之前，AI 智能体依赖于定序器的诚实行为。
基础设施依赖。 任何部署在 L2 上的加密货币人工智能项目，都会继承该 L2 定序器的特性——以及局限。如果定序器经历宕机或审查交易，那么无论该人工智能项目的模型多么复杂，它都无法运作。
它在 DecAIHub 项目卡片中出现的位置
- Main chain —— 将一个 L2 网络（例如 Arbitrum One、Optimism、Base 或 Mode）列为其主链的项目，依赖该网络的定序器进行交易处理。定序器的特性成为该项目基础设施画像的一部分。
- Consensus —— 一些项目卡片会注明该 L2 使用的共识模型，这可能引用基于定序器的排序。诸如
sequencer L2 (OP Stack); settlement/security via Ethereum之类的字段明确表明了对定序器的依赖。 - Consensus 和 Main chain —— 对于 L2 项目（在 Consensus 中记录为
L2 (Optimistic Rollup, ... on ...)或L2 (ZK Rollup, ... on ...)，并在 Main chain 中带有 L2 网络名称），定序器是一个核心的架构组件。
仅凭定序器无法证明什么
- 去中心化 —— 运行在一个带有中心化定序器的 L2 上，既不会使项目中心化，也不会使它去中心化。该项目可能拥有自己的治理、合约所有权，以及独立于定序器运营方的运营独立性。
- 安全性 —— 定序器负责活性（liveness）和排序，而非状态转换的密码学安全性。那种安全性来自 rollup 在 L1 上验证的欺诈证明（乐观 rollup）或有效性证明（zk-rollup）。
- MEV 公平性 —— 一个中心化定序器既可能提取 MEV，也可能实施公平排序策略。在没有明确披露的情况下，用户无法仅凭定序器的存在来判断其 MEV 行为。
- 人工智能能力 —— 在一个带有定序器的 L2 上运营是一项基础设施选择，而非一项人工智能特性。它对项目是否拥有真正的人工智能组件毫无说明。
常见问题
如果定序器离线了会怎样？
用户无法通过定序器提交新的 L2 交易，新的 L2 区块也会停止产出。然而，大多数 rollup 设计包含一种逃生机制：用户可以完全绕过定序器，直接向 L1 rollup 合约提交交易。这种回退方案更慢、更昂贵，但确保用户资金绝不会因定序器故障而被永久锁定。
定序器能窃取用户资金吗？
不能。定序器对交易排序并向 L1 发布数据，但它并不托管用户资金。资金由管理该 rollup 的 L1 智能合约保障。即便是一个恶意的定序器也无法更改账户余额或伪造交易——它只能审查或重新排序交易。rollup 的证明系统（欺诈证明或有效性证明）在 L1 层面强制保证正确性。
定序器会永远保持中心化吗？
未必。多个 L2 团队和研究项目正在积极开发将区块产出分散给多个独立运营方的去中心化定序器设计。共享定序网络、领导者轮换方案以及基于拍卖的模型都在开发之中。去中心化定序广泛采用的时间表仍不确定。
外部参考资料
- Ethereum.org — Scaling: Rollups —— 以太坊基金会对 rollup 架构的概述，包括定序器在交易处理和数据可用性中的作用。
No comments to display
No comments to display