万字详解共享排序器：共享测序、聚合理论与垂直整合

原文标题：《The Shared Sequencer》

原文作者：MAVEN 11 

原文编译：Kxp，BlockBeats

想象一下，如果「开箱即用」的 Rollup 可以实现高度的抗审查性、易部署性、互操作性、快速确定性、活跃性和 MEV 民主化，会是怎样的境况。这似乎是一个宏伟的目标，但随着共享排序器的到来，这种想象可能很快就会成为现实。然而，并非所有的 Rollup 都一样，所以我们不得不考虑如何在共享排序器网络上分配奖励和 MEV 的问题。在本文中，我们将探讨共享排序器网络如何实现，以及可以实现的属性。

共享排序器网络主要由 Alex Beckett 介绍，后来由 Celestia 和 Espresso Systems 团队的 Evan Forbes（以及 Radius），以及 Jon Charbonneau 的新文章更深入地介绍了该主题。Josh、Jordan 及其 Astria 团队正在构建第一个生产用的共享排序器网络。Astria 的共享排序器网络是一个模块化区块链，聚合和排序 Rollup 的交易，而不执行这些交易。

在 Astria 的设置中，排序器将有序块发送到 DA 层，也会发送到 Rollup 节点。Rollup 从排序器获得软性确定性保证，从 DA 层获得硬性确定性保证（在块被确定后），然后它们将执行有效交易。

共享排序器网络本质上是一个兼容 Rollup 的一组排序器，正如其名称所示，它可以为不同的 Rollup 提供服务。这有各种权衡和属性，我们稍后会详细介绍。首先，我们必须描述排序器（或排序器组）最重要的属性。在 Rollup 中，排序器或排序器组的主要要求是抗审查性或活跃性（其中一些来自于基础层，以及安全性）。这意味着提交给排序器的有效交易必须在有限的时间内（超时参数）包含在链中。共享排序器组只需要确保交易包含在块中（即 crLists）。

同时满足抗审查性和即时性相当困难，正如我们在 Modular MEV 第二部分中所概述的那样。在 Tendermint 等共识算法中，你可以确保在受到攻击后恢复。但是，在受到攻击的情况下，你会失去即时性。基本上，要求所有其他排序器都签署一个块，而不是选择定制的主节点，可能不是最佳选择。虽然这提高了抗审查性，但代价是「中心化」，以及 MEV 提取到一个单一的主节点。另一种可用的排序机制可以类比于 Duality 的 Multiplicity，这是他们用于非主节点（或排序器）将其他交易包含到块中的小工具。总体而言，在大多数共识协议中，受攻击后的审查抵抗能力和即时性很难实现。

另一个可能使用的共识算法是 HotStuff 2 ，它在受攻击时能确保即时性。

它所允许的是避免在审查或未签名情况下等待最大网络延迟（超时）以选择新的主节点。之所以它可能成为去中心化排序器集的有趣共识算法，是因为它解决了共识中的即时性问题，而不会增加额外的阶段。如果主节点知道最高锁定（同意特定输出的参与者数量最多），并且能够说服诚实方，问题就解决了。如果不行，特定点之后的诚实主节点可以负责推进，协助下一个主节点。例如，Hotstuff 节点在通知新主节点之前无需确认切换消息，而是可以直接切换到新视图并通知新的主节点。

与 Tendermint 的区别在于，尽管两者都是分两个阶段（Hotstuff 1 有三个，Hotstuff 2 有两个），但 Tendermint 具有线性通信，但不具有响应性，而 Hotstuff 2 具有响应性。如果存在一系列诚实的领主节点，该协议就会积极地响应，因为除了第一个主节点的提议外，所有步骤都取决于获得前一步骤的信息数量。在共享排序器设置中，这使得协议可以实现更好的即时性，而无需退回到底层，同时也不会取消这种可能性。

共享排序器组的构建

一组排序器被允许向结算层（Rollup 所在的层）提交交易。你可以加入此排序器组，前提是满足某些要求，并且所需出块者的数量尚未达到。这可以优化延迟、吞吐量等等。这些要求与成为某个区块链的验证者的要求类似。例如，你必须满足某些硬件要求，以及一个起始抵押金，尤其是如果你想提供带有经济条件的确定性。

共享排序器组（或任何去中心化的排序器组）由几个组件组成，它们共同确保交易的正确处理，包括：

1. 为每个 Rollup 提供 JSON-RPC，用于交易提交（对于非全节点运行者）到作为内存池的节点，然后进行构建和排序。在内存池中，需要一些机制来决定队列，以及交易选择过程，以确保区块的高效构建。