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

原文标题：《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，用于交易提交（对于非全节点运行者）到作为内存池的节点，然后进行构建和排序。在内存池中，需要一些机制来决定队列，以及交易选择过程，以确保区块的高效构建。

2. 区块/批次构建算法，负责处理队列中的交易并将其转换为区块或批次。这一步骤可能还包括压缩环节，以减小结果块的大小（调用数据压缩）。如前所述，这应该与提议者分开，本质上是 PBS。数据的压缩可以采用多种方式，例如：

    a. 无 RLP 编码——不过，这可能需要一个去中心化的排序器组，以帮助规范节点之间的数据传输，从而节省空间。

    b. 省略 nonce（验证特定区块中数据的唯一数字）——它可以通过查看链的先前状态在执行时重新计算。

    c. Gas 价格简化——基于固定的价格范围设置 Gas。

    d. Gas 简化——除了 Gas 价格，还有 Gas 编号系统。

    e. 用索引替换地址——Rollup 可以存储一个映射地址的索引，而不是存储完整的地址。

    f. 用科学计数法表示数值——Ethereum 交易中的数值字段是以 wei 计价的，因此数值很大。你不能省略数值字段或将其减少到一组固定的值。但是，你可以将其写成科学计数法，以优化数据存储：

——省略数据字段：简单转账不需要数据字段，但对于更复杂的交易，则需要数据字段。

——用 BLS 聚合签名替换单个签名：签名是 Ethereum 交易中最大的组成部分。你可以存储特定数量交易的 BLS 聚合签名，而不是存储每个签名。你也可以根据消息集和发送者集来检查 BLS 聚合签名以确保其有效性。

——将 From 字段作为索引：与 To 字段一样，你可以将 From 字段作为映射的索引。

——「模块化」设计的一个有趣概念是，你可以根据需要进行调整和权衡，以使其适用于你的 Rollup。

3. 点对点层将允许排序器从其他排序器接收交易并在构建后传播区块。这一步对于确保共享排序器在多个 Rollup 之间有效运行至关重要。

分叉。Rollup 状态转换函数（STF）的状态根是从从共享排序器发送到 DA 层的交易根（输入）计算出来的。在 Celestia 中，状态根会在数据被添加到链上并达到共识时生成。由于你已经拥有交易根（和所有可用数据），因此 Celestia 可以为轻客户端（Rollup 节点在 Celestia 上运行）提供一个小的包含证明。

为了提供用户所期望的用户体验，Rollup 节点接收有序块（也发送到 DA 层）。这可以为 Rollup 提供软性确定性保证——保证区块最终将按照在 DA 层上的顺序排序，这时 Rollup 节点执行交易并提供新的状态根。

区块创建与 Slot

为了确定区块创建的时间，排序器需要设置 slot。排序器应在固定的时间间隔（通常为 X 秒）提交批处理，其中 X 是 slot 时间。这可以确保交易得到及时高效处理，因为否则特定 slot 的主节点会超时，并失去签名奖励（和执行奖励）。例如，Celestia 的区块时间（根据 GitHub 规格）约为 15 秒。因为这是已知的，我们可以做一些假设，从共享排序器集到 DA 层和 Rollup 节点，我们可能会有多少「slot/block」被装入最终确定的区块。在这方面我们可以参考优化的 Tendermint 或 Hotstuff 2 。

中继还有助于促进构建者和出块者的分离，同时还可以验证构建者构建的块是否正确。它们还检查费用是否正确支付，并作为 DoS 保护。此外，它们基本上是区块的托管人，并处理验证者的注册。在无界排序器的体系中，这尤为重要，因为你需要记录谁参与了，谁没有（例如，前面讨论的同步层）。

关于出块时间（即由建造者提交的区块），它们通常在约 200 毫秒左右发生。尽管与 GetHeader 一样，存在相当大的差异，但它们主要在约 200 毫秒前/后开始运行。如果构建者将区块发送到多个中继，会造成相当大的延迟。Bloxroute 还研究了当区块发送到多个中继时会发生什么。正如你可能预料的那样，区块传播到更多中继的延迟会更大。平均而言，第二个中继需要 99 毫秒才能使用该区块，第三个中继需要 122 毫秒，第四个中继则需要 342 毫秒。

在过去几个月中我们可能已经了解到的是，RPC 对于区块链来说非常重要。如果没有适当的基础设施，那将是一个巨大的负担，并且拥有适当的 RPC 选择也至关重要。在这种情况下，RPC 对于将其交易发送到 RPC（和公共内存池）的散户非常重要。Bloxroute 对发送到各种 RPC 的 20 个交易进行了小型测试，并测量了每个交易被包含在块中所需的时间。

Bloxroute Labs 

有趣的是，一些 RPC 在几个块后才包含交易，这取决于下一个块中哪个构建者胜出。如果 RPC 将交易发送给更多的构建者，那么快速包含的可能性就越高。尽管交易发起人有可能利用其独特的订单流位置来针对特定构建者甚至构建自己的块。

在 Ethereum 的中继性能方面的统计数据中，它们的表现也很有趣。这有助于我们更深入地了解 PBS 在多个验证者/构建者/中继世界中的工作方式，这也是我们希望在 Rollup 升级方面取得的进展。Metrika 在这方面有一些很棒的统计数据，所有的数据点都归功于他们。

需要注意的是，当中继被期望出价，但没有出价，就会出现漏标。标的期望来自于注册到特定中继的验证者，用于任何给定 slot。这本身并不是中继的故障，在协议层面也不会这样处理。

来源：app.metrika.co 

关于构建者，MEV-boost 上的构建者总数约为 84 人，其中前三名构建者建造了约 65% 的已建块。尽管这可能有些误导性，因为这些也是运行时间最长的建设者。如果将时间范围缩小，结果会相似。实际活跃的建设者数量要少得多，过去 30 天内为 35 人，过去一周内为 24 人。竞争十分激烈，通常最强大的构建者能够胜出。独占式的订单流可能已经存在，这只会加剧这种情况。我们预计建设者的分布会保持相对中心化（因为这是一场需要最佳订单流和硬件优化的比赛），除非我们对设置进行重大改变。尽管这不是一个根本性问题，但它仍然是堆栈中的中心化力量，我们很乐意了解有关如何挑战此处现状的想法。如果你有兴趣深入了解这个（严重的）问题，我们强烈推荐阅读 Quintus 在订单流、拍卖和中心化方面的文章。

对于未来模块化堆栈中的构建者角色，我们非常确定（至少在 Cosmos SDK 设置中）会看到类似 Skip/Mekatek 的 Builder Modules 设置。另一种解决方案是 SUAVE 类型的设置，例如为任意数量的链提供区块构建和出价偏好服务的特定全球建设者链，以确保 PBS。稍后我们将更深入地探讨这个解决方案，并提供一些关于此处未解决问题的答案。

关于中继，我们强烈推荐阅读 Frontier Research 的 Ankit Chiplunkar 和 Ethereum 基金会的 Mike Neuder 撰写的文章，名为《Optimistic 中继及其位置》（ Optimistic relays and where to find them ）。该文章详细介绍了 MEV-boost 中的中继如何运作，它们当前的权衡和运行成本以及可能增加效率的一些改变。有趣的是，根据 Flashbot 的估计，目前在 MEV-Boost 中运行一个中继的成本约为 100, 000 美元/年。

确定性

在我们谈到模块化区块链（目前的样子）的确定性时，先来看一下我们以前的「模块化 MEV」文章中的内容。请注意，这不是「官方」的也不是全面的对最终性的看法，但我们认为它最准确地代表了 Rollup 确定性的微妙差别，以便于理解。

Pending_On_L2: Rollup 排序器表示用户的交易最终将在其安全性的基础层上提交和最终确认的软性承诺。

Finality_On_L2: 排序器已经承诺了 Rollup 的状态转移函数，并且区块已经添加到 Rollup 的规范链中。

Pending_On_L1: 交易的输入或输出/状态转移函数已经发布到 L1，但有效性证明尚未发布，或者仲裁期尚未结束——这需要 Ethereum 两个连续的 epoch。这是大多数 Optimistic Rollup 表示已达到确定性的时刻，但是根据规范跨链桥，在此时仍然存在一个任意的 7 天挑战期。

Finality_On_L1: 对于 Optimistic Rollup，仲裁期已结束，或者已发布并经过验证的有效性证明，在两个连续的 epoch 中得到了超级多数的确认。

现在，在主权共享排序 Rollup 中，这看起来略有不同，让我们试着用图表来解释一下：

在这种情况下，理论上我们在 L2 之前就可以得到 L1 上的确定性了，等等？是的，在这种情况下，L2 毕竟是有主权的。这是假设没有欺诈证明和挑战期，或者你正在使用有效性证明的情况下。

那么，我们如何实现这些最终性的层级呢？当一个块添加到规范链上时，区块确定性就被实现了，它不能被撤回。然而，这里有一些细微差别，取决于全节点或轻节点。在有序块的情况下，它一旦被包含在 DA 层块中，就是确定的。区块（带状态根）由 Rollup 全节点/验证者执行，这为它们提供了从基础层有序块派生的有效状态根的保证。对于超越全节点的确定性（例如针对轻客户端或跨链桥），必须确信该状态根的有效性。在这里，你可以使用以下描述的方法之一。此外，另一种方法也是让验证者对状态根的正确证明负责（Optimistic 的路线），通过担保金和随后的欺诈证明。此外，你还可以提供有效性（ZK）证明。

实现区块确定性的不同方法：

1. 通过工作量证明（PoW）、LMD Ghost、Goldfish、Ouroboros（PoS）等概率性方法。

2. 通过足够委员会成员签署区块的方式进行的可证明方法。(例如 Tendermint 2/3、Hotshot 2 或其他 PBFT 类型）

3. 取决于 DA 层上交易/区块的排序，以及其规则，即规范链和分叉选择规则。

我们可以通过不同机制实现不同类型的确定性。

一种类型的确定性是「软性确定性」（例如 pending），单一领袖选举可以实现这一点。在这种情况下，每个 slot 将只有一个或零个区块（提交或不提交），同步层可以安全地假定这些区块中的交易序列。

另一种确定性是「可证明确定性」，它提供比软性确定性更强的保证（基本上是最终的）。要实现可证明的确定性，大多数排序器必须签署区块，从而表示他们同意该区块是规范的。虽然这种方法很好，但如果已经实施了单一领袖选举，它可能不是必要的，因为它基本上保证了区块排序。显然，这取决于实施的特定领袖选举算法。例如，它是 51 ％的实现、 66 ％的实现还是单一领导者（最好是随机（VRF）和秘密选举）。如果你想深入了解 Ethereum 中的确定性，请阅读我们极力推荐的这篇文章，以及稍后我们将为无界排序器集推荐的文章。

许可、半许可或无许可 

为了防止潜在的 DoS 攻击，必须设定经济壁垒，以便加入排序器组并向排序器层提交交易。在有界（有限数量的排序器）和无界（无限数量的排序器）组别中，必须设定经济壁垒以向 DA 层提交批次，以防止同步层（在排序器之间传播区块）被拖慢或遭受 DDoS 攻击。但是，DA 层本身也提供一定的保护，因为提交数据到它需要成本（da_fee）。加入无界组别所需的保证金应涵盖任何必要的额外成本，以防止同步层被垃圾邮件攻击。另一方面，加入有界组别所需的保证金将取决于需求（从成本/收入角度的平衡）。

对于无界的排序器组，我们无法实现排序器层的可证明确定性（因为我们从未确切知道有多少活动的选民/签名者）。另一方面，在有界排序器组中，通过大多数的排序器签署区块可以实现可证明的确定性。这确实需要同步层知道排序器层以及任何给定时间内活动的排序器数量，这是一些额外的开销。在有界排序器组中（例如最多 100 个），你还可以优化排序器的数量以提高「性能」，尽管这会牺牲去中心化和抗审查性。有界组别和经济保证的重要性在于提供「快速」的可证明确定性，这也是决定性的。

无界排序器和有界排序器类型在传统区块链中也有所体现，例如 Ethereum 中的 PoS（Casper LMD-GHOST）采用的是无界类型，而 Cosmos SDK/Tendermint 基于的链则采用了有界类型。一个有趣的想法是，我们是否期望从围绕共享排序器的社区中看到类似于权益证明的经济和选择？在这方面，我们已经看到向一些实体的中心化发展（因此无界并不重要，如果你已经有了一些大型权益证明提供者/矿池）。尽管它们「掩盖」了中心化，但毕竟，如果你想的话，你仍然可以自行挖矿。从意识形态的角度来看，选择几乎总是应该无界——但请记住，无论如何，经济学原理使它们非常相似。无论参与者是谁，你所支付费用的经济学原理应该仍然一致，例如 DA 的成本和硬件成本（尽管这可能会因你分配的权益证明数量和经验，以及已经高效运行基础架构而降低）。即使在有界的 PoS 世界中，我们已经看到一组基础设施提供者成为了几乎所有链上最大且最常见的验证者。在大多数 Cosmos 链上，验证者之间的相关性已经非常大，这也肯定对所述链的去中心化和抗审查性构成危险。尽管如此，一个非常不同的事实是，任何散户都可以对其选择的任何验证者进行任意数量的权益证明。不幸的是，这通常会分配到列表的顶部，而生活还要继续。我们再次问：我们是否期望在模块化世界中出现类似的经济模式？人们希望不是这样，但随着专业化的发展，你往往需要最适合的人——他们往往是专业权益证明提供者。我们也将在后面的单独章节中涵盖这些经济学问题。

然而，在所有这些问题中需要记住的一个重要问题是，最重要的是最终用户验证，通过轻客户端和 DAS，这对于任何人都是可用的，无论身处何地（甚至在吉萨金字塔）。

@JosephALChami

以下是有界和无界在排序器方面的权衡和优势:

无界排序器集：

· 任何有足够的绑定/质押的人都可以成为排序器 = 高度的去中心化 

· 没有可能有单一领袖选举，因为排序器基本是无限的。 

· 可以通过 VRF 进行非单一领袖选举，但难以确定 VRF 参数，因为不知道将有多少个排序器。如果可能的话，这也应该是一次秘密领袖选举，以避免 DoS 攻击。 

· 如果没有领导者选举=浪费资源问题：区块构建本质上是自由竞争，谁提交第一个有效的区块/批次谁就赢了，而其他所有人都输了。· · · 在排序器层面上没有可证明的确定性，只有概率性：例如 LMD Ghost Casper 

· 只有将批次写入 DA 层（仅限于底层块时间，在 Celestia 的情况下为 15 秒）后才能实现确定性。 

· 与有界集相比，无界集具备「更好的」抗审查性。

有界排序器集：

这是 Ethereum 单个 slot 确定性的解决方案之一，以及拥有超级「多数」委员会。

· 任何特定时间允许的排序器数量是有限的。 

· 有界集比无界集更复杂。 

· 可以实现单一领袖选举，为排序器层提供强大的确定性保证。 

· 同步层需要了解排序器集以确定哪些区块有效。 

· 将排序器集（或集合更改）写入结算层块（例如分叉选择规则），这些块写入 DA 层，可以使同步层独立确定排序器集。例如，这就是 Sovereign Labs 的 Rollup 的功能，集合更改被写入发布到 DA 层的有效性证明中。 

· 如果 DA 层的速度足够快，则排序器层的强大确定性保证可能不是必需的（但是，大多数当前未经过优化的结算层设置至少具有 10 秒以上的区块时间）。

关于如何监控这些排序器集并添加或删除新成员，这方面还有相当大的设计空间。例如，这是否会通过 Token 持有人治理来实现（那么如何考虑使用集合的许多不同 Token 和 Rollup 呢？）。这意味着可能通过社会共识来实现对链外的信号变化（例如，以 Ethereum 为例）。然而，要记住实际的链上共识显然已经形成，针对违反共识规则的惩罚已经存在。

共享排序器的经济机制

共享排序器网络的经济机制允许一些有趣的选择。正如我们之前讨论的那样，共享排序器网络中的验证者与典型的 L1 验证者并没有太大的区别。它所参与的网络只是更为优化，以执行一项任务，即接收意图（前 PBS），因此提出和排序交易。就像「常规」验证者一样，有收入和成本组成部分。在等式的两侧，验证者所参与的网络具有很大的灵活性，类似于常规的 L1。

收入来源于用户或他们最终希望与之交互的 Rollup 支付使用共享排序器的一定费用。这个费用可能是提取 MEV 的一定比例（输入数字可能难以近似）、跨链价值转移、Gas 或每次交互的固定费用。最恰当的收入解决方案可能是，支付给共享排序器的价值低于通过 Rollup 共享排序器获得的额外价值，以及获得共享安全和流动性的好处。但这样做的缺点在于，我们是很难量化另一部分堆栈的去中心化优势。然而，随着共享排序器网络成长为其自己的生态系统，其提取费用的能力可能会增加。这在很大程度上是由于它们天生具有轻松聚合的能力，而且具有某种规模经济效应。随着越来越多的 Rollup 和应用程序加入网络，跨域 MEV 可提取的也将越来越多。

成本方面，共享排序网络也有竞争的选择权。他们可以通过资助在 DA 层的发布成本，甚至为与 Rollup 上的应用程序交互的成本，轻松地资助他们的网络使用。这类似于 Web2.0 公司使用的策略，其中你在获取用户（或 Rollup）时承担最初的损失，希望他们的长期收入将超过费用。另一种更为新颖或 Crypto 原生的方法是允许 Rollup 用其原生 Token 支付 DA 费用。在这里，共享排序器层承担了在 DA 层上发布数据所需的 Token 与 Rollup 的原生 Token 之间的定价风险。实质上，它仍然是一个共享排序器前置成本，但它通过获取「供应商」（即 Rollup）的 Token 来创建生态系统的一致性。这与我们在 AppChain 论文中阐述的仓储构建有些相似，可以利用不同形式的 DA 来降低成本。由于利用情况、用户能够通过轻量级客户端轻松验证或直接进行不同的区块大小选择，不同的 DA 层将提供不同的定价。最后，共享排序器还可以在发布到 DA 层之前批处理交易。在 ZKR 的情况下，这可以通过一定数量的交易平衡来降低交易成本，而在 ORU 方面，你可以进行各种批处理 Gas 优化，我们目前在各种 Rollup 上都能看到。这将减少需要发布到 DA 层的数据量，从而降低共享排序器网络的成本，增加整个网络的盈利能力。这将以限制互操作性和更改区块确定时间（如前面所述，L1 上的确定性）为代价。

总的来说，共享排序器网络的经济机制允许进行一些有趣的实验和引导策略。我们估计，关键差异将是生态系统的规模，因此跨域 MEV 的数量要大于成本方面。我们也强烈建议查看 Espresso 团队关于共享排序器的博客文章，他们还涵盖了这些类型网络的经济权衡（以及积极要素）。为了展示为什么 Rollup 有动力利用共享排序器（除了经济因素之外），我们可以从聚合理论的角度来考虑。

聚合理论与共享排序器

另一种描述共享排序器带来的特性的方式是通过聚合理论的视角。聚合理论是指平台或聚合器如何通过一种系统性的方式整合其他平台和其用户以获得显著的用户关注度的概念。你实际上是将游戏从稀缺资源的分配（例如，区块空间）转变为控制丰富资源的需求（同样，在此示例中，区块空间是有意义的）。聚合理论实际上是将供应商和产品（即 Rollup 和区块空间）聚合到一个超级用户体验中，为聚合用户群提供服务。随着这些聚合器的网络效应增长，这种关系变得越来越具有独占性。随着这种情况的发生，用户体验成为类似设置之间的关键差异因素。如果有吸引新用户的激励措施（例如良好的用户体验和更佳的互操作性），那么 Rollup 转移到其自己的网络或不同设置的可能性不大——因为网络效应推动新的供应商和新的用户加入。这会产生一个飞轮效应，不仅从供应商和用户的角度来看，还从一个聚合的防审查视角来看。

Aggregation Theory 2015, Ben Thompson

在共享排序器的范畴内，聚合理论可以看作是各种 Rollup 的「组合」和联盟，它们都利用了堆栈的相似垂直部分——在强化自己和其他人的同时，让用户无论在哪里都能获得相同的体验。

供应商（例如 Rollup）理论上在共享排序器集中并非独有，但实际上，共享排序器集、其 Rollup 和用户受益于一系列网络效应的循环，这导致了这些 Rollup 的使用量增加。这些好处使得 Rollup 和用户更容易集成到共享的堆栈中，因为如果他们不参与，他们会失去更多。尽管当你只有两个 Rollup 共享一个排序器集时，这些好处可能很难看到，但随着你将越来越多的 Rollup 和用户加入到方程式中，这些好处变得更加清晰。共享排序器集与用户有直接关系，因为他们按顺序排列他们的交易，即使用户本身不知道他们正在与之互动，因为从他们的角度来看，他们只是使用他们有理由与之交互的 Rollup（这意味着订购/排序器变得独有）。这些排序器的唯一成本实际上是运行它们的硬件成本，只要区块空间和保护它的 Token 对最终用户有价值。交易费用是数字化的，由用户的钱包支付，也许在将来，甚至可以通过诸如帐户抽象中的支付主机等进展来实现抽象化（但是，有人将不得不承担 DA、排序和执行的成本）。

如果考虑 Josh 和 Jordan 在 Astria 以前的公司——Google，这将更有意义。自问世以来，Google 产品一直受到 AT 思想的启发，这在 Google 搜索中尤为突出，该搜索是通过模块化单个页面和文章来创建的，使它们可以通过全球搜索窗口直接访问。

在共享排序器集合案例中，使用 Rollup 的用户（共享排序器集的用户）的获取成本越来越低，因为随着供应商数量（Rollup）的增加，他们很可能会被吸引到该集合中。这意味着，在大多数情况下，聚合器（或多聚合器）具有可能的全胜效应，因为聚合器的价值随着供应商的增加而增加（当然，只要用户体验良好）。相比之下，在单一序列网络上，客户获取是限制于单个网络及其应用程序的。如果用户想要使用在不同 Rollup 上的 Rollup 应用程序，他们将不得不（在当前限制内）完全退出该网络。这意味着用户的粘性和价值不是很高，也意味着在任何时刻，如果另一个 Rollup 生态系统受到高度重视（或具有更多的激励），资本可能会流失。

属性

共享排序器集是一个 Rollup 网络，为多个 Rollup 聚合和排序交易。这些 Rollup 共享相同的排序器。这种资源汇集意味着 Rollup 获得更强的经济安全性和抗审查能力，从而可以提供快速的软性确定性保证和条件交叉 Rollup 交易。

现在，在共享相同排序器集的 Rollup 之间有很多关于原子性的噪音，主要围绕着它是否默认是原子的问题——它不是。但是，如果问题中的 Rollup 

标签：聚合