Rollup 的四大角色：谁排序、谁发数据、谁断言、谁证明

结论先说

一条 Rollup 从”用户发交易”到”L1 认账”，至少需要四个岗位接力：排序器（sequencer）收单排序，批投递者（batch poster）把交易数据压上 L1，断言者/出块者（proposer）把状态根写入 L1 合约，证明者（prover）——或欺诈证明的挑战者——负责让 L1 能低成本判真伪。多数事故与信任问题都能落到”哪个岗位失职、谁有补救权”上（排序器的基础角色见排序器是什么？Rollup风险怎么看）。这四个岗位在不同技术栈里有时合并、有时改名，但职责谱系不变——把”某某 Rollup 风险在哪”翻译成”这四把钥匙握在谁手里”，比看任何评级表都直接（整体分工见Rollup 是什么？L1 和 L2 如何分工）。

岗位一：排序器

收用户的单、决定顺序、执行出块，给 L2 提供低延迟体验。它是”活链”的承重墙，因此天然成为审查与宕机风险的第一落点——强制交易与延迟收件箱正是给用户留的绕开它的后门（见强制交易是什么？排序器不打包时如何绕过它上链）。排序权归属（运营方独占、共享排序器还是 based 排序）决定了 MEV 与抗审查画像（对照见共享排序器是什么？为什么 L2 要共享排序、L2 的 MEV 为什么和 L1 不一样？）。

Rollup 的四大角色：谁排序、谁发数据、谁断言、谁证明机制示意

岗位二：批投递者

把排序后的交易数据（calldata 或 blob）持续提交到 L1——这一步决定”数据可用性等级”：数据上了 L1，任何人都能重建链、算出自己的余额，即便排序器和证明者一起消失（派生重建见L2 派生流水线是什么？从 L1 数据重建 Rollup 链）。批投递者拖延或罢工影响的是成本与节奏而非资金安全本身，但任何”数据不回 L1”的省钱方案（AnyTrust 的 DAC、Validium 的 DACert）都是在给这个岗位外包一个委员会（见AnyTrust省成本靠什么假设？、数据可用性委员会（DAC）是什么？链下数据的信任模型）。

岗位三：断言者/出块者

把”这批交易对应的新状态根”写进 L1 合约——乐观栈叫断言（assertion），ZK 栈随证明一并提交。它决定 L1 何时”开始考虑”接受一段历史；断言出错的后果按技术栈分野：乐观栈进入挑战期、任何人可发起欺诈证明（见Optimism错误证明如何影响提款？一类专题的机制细节）；ZK 栈理论上坏证明直接进不了门。岗位由中心化的运营方担任还是开放给质押者竞争，决定的是”升级与冻结权”的实际归属。

岗位四：证明者与看塔人

乐观栈需要挑战者/看塔人（watchtower）：本地重放、发现坏断言、质押发起挑战；ZK 栈需要证明者：把执行折叠成可验证证明（递归折叠见递归证明是什么？多条 Rollup 证明如何折叠成一个）。Starknet 生态的 SHARP 是共享证明器的代表——多个应用共享聚合证明摊薄 L1 验证费。这个岗位的经济学习惯值得警惕：证明成本高且无直接收入时，岗位往往收敛到运营方自营，“无需信任”的叙事里住着单一 prover 的现实。

怎么读一张岗位表

三步：第一，查每个岗位的现任者——项目方多签、开放质押还是许可名单（L2BEAT 类风险页把这几项逐条列出，读数方法见L2BEAT风险框架怎么看？）。第二，查”缺席测试”：每岗停摆时用户的法定动作是什么——排序器消失走强制通道，批投递者消失数据断供，proposer 消失历史不更新，prover 消失提现排队——四种剧本对应的等待时间与资金敞口完全不同（停机退出能力对照见Rollup 停机时退出能力有何差异？）。第三，查合并度：四个岗位同属一家公司时，叙事上叫”一体化体验”，风险上叫”一个组织掌握四把钥匙”——它未必立即有害，但它定义了”坏天气里你要信任几个人”的答案。