资料来源：ZK Rollup 的去中心化
在实践中，如果拍卖没有直接纳入协议，协议外的 MEVA 是最自然的结果。如果根据质押权重确定排序权，就会出现某种形式的 MEV-Boost/PBS 式拍卖系统，类似于我们今天在 L1 以太坊上看到的。这种情况下，费用 /MEV 可能会分配给质押者。如果拍卖被纳入协议，那么费用 /MEV 可能会进入某种形式的 Rollup DAO 金库。
领导选举的无许可 PoS
无需许可即可作为排序器加入，但你必须质押代币（可能是 L2 的原生代币）。质押机制可以通过智能合约或直接在 Rollup 中建立在基础层上。你可以使用此 PoS 结合某种形式的链上随机性的方式来进行领导者选择，这与任何 L1 大致相同。你对一个区块进行排序的概率 = 你占总质押量的比例。可以通过削减等来对错误 / 恶意的排序器施加惩罚。
请注意，由于上述原因，这不需要排序器达成共识。Rollup 使用 L1 达成共识，因此不需要本地共识。质押决定哪些排序器可以提议区块，但是他们不需要对其他排序器提议的区块进行投票。
也可以授予任意时间长度的排序权。你可能有权对 100 个连续的 Rollup 块或 1000 个等进行排序。更长的周期可能更高效，并且在给定时间内只需要一个排序器。然而，授予扩大的垄断权可能有其他外部性。
Dymension
Dymension 是一个实践这些思路的项目。Dymension Hub 将是 Cosmos 中典型的诚实多数 PoS L1。它的 L2（「RollApps」）将使用它进行结算和共识，同时依赖 Celestia 进行 DA（因此这些 L2 实际上是「Optimistic Chains」，而不是「Rollup」）。
根据他们的 Litepaper，去中心化 RollApp 排序将需要在 Dymension Hub 上抵押 DYM（Dymension 的原生资产）。然后，领导者的选择取决于抵押的 DYM 的相对数量。这些排序器将从各自的 Rollup 中获得收入（费用和其他 MEV），然后将相关的成本支付给 Dymension Hub 和 Celestia。
这种机制的结果是，这个堆栈中几乎所有的价值捕获都直接累积到 DYM 代币中。使用自己的原生代币进行排序的 Rollup（正如 StarkNet 打算对 STRK 所做的那样）为他们自己的代币附加了价值。这个设置启发了一个问题：以太坊 Rollup 是否只能使用 ETH 进行排序器选举？
在我看来，这大大降低了在此类结算层上部署 L2 的动机。大多数 L2 团队自然希望他们自己的代币能够产生有意义的价值（而不是仅仅用于费用）。
用于领导人选举和 L2 共识的无许可 PoS
如果需要，也可以使用 L2 质押进行排序器选举和本地共识。这正是 StarkNet（STRK ） 计划的代币模型：
- PoS 排序器领导者选举：如上所述，需要某种形式的领导者选举。
- PoS 共识：激励 L2 验证者在 L1 最终确定之前达成临时 L2 共识，提供更强的预确认。这不是一个严格的要求，但却是一个有吸引力的选择。
此外，STRK 可以以某种形式用于：
- DA 的 PoS 共识：激励提供需要单独共识的 alt-DA。
- 证明：激励证明者生产 STARK。
交易流程如下：
- 排序：排序器对交易进行排序并提交一个区块
- L2 共识：StarkNet 共识协议签署提议的区块
- 证明生产：证明者为共识同意的区块生成证明
- L1 状态更新：将证明提交给 L1 以进行状态更新
有关 StarkNet 计划的更多详细信息，你可以参考以这一篇贴文。
L2 共识，还是只是 L1 共识？
L2 可能会也可能不会实现自己的本地共识（即，L2 验证者在将数据发送到 L1 以获得最终共识之前在其区块上签名）。例如，L1 智能合约可以根据其规则了解到：
- 用于领导者选举和共识 的 PoS： 「我只能接受由 L2 共识签署的区块。」
- 用于领导者选举的 PoS： 「这是被选中的排序器，此时允许提交区块。」
Rollup 如果没有本地共识，你需要做的是：
- 使 Rollup 区块提议无需许可。
- 创建一些标准来选择为给定高度构建的最佳区块
- 让节点或结算合约执行分叉选择规则
- 从 L1 继承共识和最终性
请注意，在任何一种情况下，L2 的价值都可以累积到 Rollup 代币中。即使 L2 代币仅用于某种形式的领导者选择（而非共识投票），排序权的价值仍会累积到 L2 代币上。
L2 共识的缺点
现在让我们讨论在 L1 之前拥有 / 不拥有本地共识的权衡。
Fuel Labs 团队提出的一个论点认为 L2 共识会降低抗审查性。「这允许大多数验证者审查新区块，这意味着可以冻结用户资金。不需要 PoS 来保护 Rollup，因为 Rollup 是由以太坊保护的。」这是一个争议地带。如前所述，即使审查排序器依然可以提供抗审查性（例如，强制交易直接进入 L1，或更复杂的设计，例如 Kalman Lajkó 正在研究的设计）。
另一种说法是，完全达成共识是「低效的」。例如，下面前一种情况似乎更容易：
- 一个时间段内，一个主排序器运行所有东西。
- 一个时间段内，一个主排序器运行所有东西，然后所有其他节点需要投票并同意。
当然，不同的排序器设计和共识机制存在很大差异。
此外，请注意，如此处和此处所述，一些人对在排序器去中心化中使用 PoS 表示担忧。L1 与 L2 的复杂性可能使处理某些类型的攻击更具挑战性。
L2 共识的优势
排序器的最大目标可能是在 L1 的完全安全和保障之前为用户提供更快的软确认。查看 StarkNet 的机制：
「强大而快速的 L2 终局性——StarkNet 状态只有在交易包被证明为 L1 之后才成为最终状态（可能需要几个小时）。因此，L2 去中心化协议应该在下一交易包被证明之前就执行顺序做出有意义的承诺。」
由多排序器的经济安全支持的共识有助于在此期间提供更有力的保证：
「Starknet 共识必须是负责任的，因为违反安全和活性的行为会受到惩罚，任何部分参与者（包括恶意的多数）都会受到惩罚。」
Rollup 还可以灵活地在共识机制选项的范围内尝试不同的权衡点，因为它们最终总是可以回退到以太坊 L1 的安全性和动态可用性。
在 L1 排序的 Rollups
上面的 Rollup 都构建了特定的排序器，以某种形式创建 Rollup 区块。例如，PoS 无需许可即可加入，但在给定 slot，只有选出的 L2 排序器能够提交区块。也有一些相关方案不依赖任何 L2 排序器，它们通过 L1 本身来进行交易排序。
完全无政府状态
Vitalik 早在 2021 年就提出了这种「完全无政府状态」的想法。任何人都可以随时提交交易包。它满足了上面讨论的去中心化排序器的两个最低要求：
- 抗女巫攻击：由 L1 提供抗女巫攻击（即交易费用和区块大小 /gas 限制）。
- 领导者选择：领导者选择是事后的。
这已经足够了，因为 L1 已经提供了安全性。如果 L2 区块已发布到 L1，则它们只有在无效或建立在无效区块上（将被回滚）时才会被孤立。如果它们有效并发布到 L1，则它们具有与 L1 本身相同的安全性。
Vitalik 指出了一个重要的问题：效率低下。多个参与者很可能并行提交交易包，但只有一个可以被成功包含。这会浪费大量精力来生成证明和 / 或在发布交易包到链上时浪费 Gas。
Based Rollup
但是，PBS 现在可以使这种无政府状态的设计变得可行。它允许更多有规律的排序，每个 L1 区块最多有一个 Rollup 区块，并且没有浪费 Gas（虽然可能浪费了计算资源）。L1 区块构建者可以只包含最高价值的 Rollup 区块，并根据搜索者输入的出价构建区块，类似于任何 L1 区块。Z 在默认情况下许可 ZK 证明可能是合理的，这样做可以避免浪费计算。
这是 Justin Drake 最近提出的「Based Rollups」提案背后的核心思想。他使用该术语来指代由 L1（「基础」层）排序交易的 Rollup。L1 提议者只需确保在自己的 L1 区块中包含 Rollup 区块。这个简单的方案可以立即拥有 L1 的活性和去中心化。它们回避了棘手的问题，例如在 L2 排序器审查的情况下解决强制交易包含问题。此外，它们还消除了一些 Gas 开销，因为不需要排序器签名验证。
一个有趣的问题是关于这些 L2 交易在哪里进行处理。L2 客户端需要将这些交易发送到某个地方，以便 L1 搜索者 / 构建者接收它们并创建区块和数据块。它们可能会被送到：
L1 Mempool - 它们可以与一些特殊的元数据一起发送，「知情」的搜索者 / 构建者来解释。但是，这可能会增加 L1 内存池的负载。
L2 的 p2p Mempools - 这条思路似乎更站得住脚。搜索者 / 构建者除了通常的渠道外，还将开始检查和解释这些内容。
这里的一个明显缺点是 Based Rollup 限制了排序器的灵活性。例如：
减少 MEV：Rollups 可以通过 FCFS 的变体、加密的内存池等变得有创意。
预确认：L2 用户喜欢快速的交易「确认」。Based Rollup 交易「确认」时间最多回落到与 L1 持平（12 秒），或者等待更长时间才能发布完整交易包。
有趣的是，这正是早期 Rollup 团队正在做的事情：
Justin 指出，重新质押可能会有所帮助。
这些都是围绕 EigenLayer 的研究领域，至少在他们的白皮书中提到过。目前尚不清楚这种方案能否实际解决问题。为了重新质押以有效改善这些缺点，可能希望所有质押者都选择运行它。通过让想要执行此操作的质押者进入一个单独的共享排序层（稍后会详细介绍）来模拟这个想法似乎更合乎逻辑。
效率证明 (PoE)
去年，Polygon Hermez 提出了一项名为 PoE 的提案。这是专门用于 L1 排序的 ZK Rollup 的另一种变体。这里的排序器是一个完全开放的角色，任何人都可以提交交易包（即完全无政府状态）。PoE 有两个参与方，过程分为两步：
排序器
排序器收集 L2 用户交易并通过发送 L1 交易（包括所有选定的 L2 交易数据）创建交易包。排序器将根据收到的经济价值提交区块，或为用户实现更好的服务（例如，在每个 L1 区块中发布一个交易包，即使这会使 L2 交易更昂贵，但用户想要更快的交易）。
排序器将支付 L1 Gas 费以发布交易包，并且协议定义了必须用 MATIC 支付的额外费用。一旦发布，获胜的交易包立即定义链的新顶端，任何节点都可以确定性地计算当前状态。然后需要有效性证明来最终确定轻客户端的状态（包括 L1 智能合约）。
聚合器
这里的聚合器是 ZK 证明者。同样，这是一个任何人都可以参与的无需许可的角色。很简单：
- 带有交易数据的排序交易包在 L1 上按它们在 L1 上出现的位置排序。
- PoE 智能合约接受更新有效状态的第一个有效性证明，包括一个或多个尚未被证明的提议交易包。
聚合器可以进行成本效益分析，以找出发布证明的正确频率。如果他们赢了，他们将获得一部分费用，但等待更长时间以发布新证明会将他们的固定验证成本分摊到更多交易中。如果聚合器延迟发布证明（它不证明新状态），那么合约将执行还原操作。证明者浪费了计算资源，但他们会节省大部分的 Gas。
费用按如下方式分配：
- 来自 L2 交易的费用将由创建有效性证明的聚合器处理和分配。
- 所有的交易费用都会被发送到每个交易包对应的排序器。
- 排序器创建交易包的质押费用将被发送到聚合器，聚合器将此交易包包含在有效性证明中。
纯分叉选择规则
Rollkit SR 具有相似的「纯分叉选择规则」概念，如此处所述，指的是没有特权排序器的 Rollup。节点遵从 DA 层进行排序，并应用「先到先得」的分叉选择规则。
L1 排序的经济学
这些 L1 排序设计具有重要的经济影响，因为 L2 交易的 MEV 现在将在 L1 区块生产者级别捕获。在「传统的」L2 排序模型中，L2 交易的 MEV 由 L2 排序器 / 共识参与者 / 拍卖机制捕获。在这种情况下，尚不清楚有多少 MEV 会泄漏到 L1。
这是好事还是坏事，难以说清：
- 好事：有些人喜欢「 L1 经济联盟」（例如，ETH 获得更多价值）。
- 坏事：其他人担心基础层的激励（例如，比特币矿工的中心化风险）。
这类方案可能是有意义的，特别是作为一种更简单的 Rollup 引导方法，但很难看到大多数 Rollup 将如此多的 MEV 放弃给 L1。Rollups 的一大好处确实是经济收益——一旦 DA 开始扩展并且成本下降，他们将只需要向 L1 支付很少的费用。较慢的出块时间和简单的 MEV 方法的缺陷对用户来说似乎也不是最佳选择。
激励 ZK 证明
请注意，上述 PoE 的竞争可能围绕最快的聚合器进行。ZK 证明者市场有两个经济问题需要解决：
