随着 Rollups 使用的增加并托管生态的应用程序，用户的迁移成本将增加，中心化的排序器将获得对定价的垄断性影响力。中心化排序器的控制者有理由从用户中直接（例如通过费用）和间接（例如通过抢跑交易、三明治攻击等）最大程度地提取价值（MEV）。— Espresso

Rollups 去中心化 

Polygon

采用POE后，排序器和证明者将在自身硬件条件下，最高效地参与到无需许可的网络中。任何人都可以加入Polygon zkEVM，只要这是有经济效益的。

 batchFee = 1 $MATIC

 veryBatchTimeTarget  = 30分钟。这是验证批次的目标时间。协议将更新`batchFee`变量来达到该目标时间。

 multiplierBatchFee  = 1002。这是批次费用乘数，范围从1000到1024，保留3位小数。

 diffBatches : 被聚合的批次中> 30分钟的数量减去<=30分钟的批次数量。最大值为12。

Starknet

Starknet也旨在构建一个快速确认的无许可且可扩展的Rollup。虽然尚未达成去中心化解决方案的最终规范，但他们几个月前在论坛上发布了一些草案。

Starknet 提出了一个双账本共识协议，而不是简单地在排序器层中添加一个共识层。在该协议中，L2 作为live protocol 提供快速响应，而 L1 checkpoints 则作为safe protocol提供最终确认性。

1. 首先，将 L2 live ledger的输出作为 L1 safe ledger的输入，生成一个检查后的live ledger。

2. 然后，将检查后的live ledger作为输入，再次输入到 L2 的纯共识协议中，确保检查后的live ledger始终是live  ledger的前缀。

3. 重复上述过程。

Commit-Reveal 方案：首个提交者需要抵押代币来获得短暂的垄断机会，然后在该时间窗口内生成证明。为了避免DDoS攻击，如果前者无法及时生成证明，后者所需的抵押代币将呈指数级增长。虽然在该机制下，网络可能会失去最佳性能的机器，但可以培养更多的证明者。

除了证明者之间的竞争，还应该降低进入门槛，以便更多的证明者可以参与到网络中来。Starknet提出了一种利用递归证明的复杂协议，称为链式协议证明。

Mina

Mina已经建立了一个名为Snarketplace的证明市场，在其中交易Snark证明。这里的最小单位是单个交易的Snark证明。Mina采用了一种名为Scan State的状态树的递归证明。

Scan State是一个二叉树的森林，其中每个交易是一个节点。在树的顶部生成一个单个证明，可以证明树中的所有交易。证明者有两个任务：首先是生成证明，第二是合并证明。

=Nil; Foundation

Mina的证明市场是专为自己的协议设计的，而=nil; Foundation则提出了一个通用的证明市场，以服务整个市场。

`DROP DATABASE：是一个数据库管理系统协议，可以看作是一个DA层。

Proof Market：是一个在DROP DATABASE上运行的应用程序，类似于一些人所说的zk证明的“去中心化交易所”。

zkLLVM：是一个编译器，将高级编程语言转换为可证明计算协议的输入。

Arbitrum 则选择了有声誉的实体组成验证者集，如ConsenSys、Ethereum Foundation、L2BEAT、Mycelium、Offchain Labs、P2P、Quicknode、IFF的分布式账本研究中心（DLRC）和Unit 410加入排序器委员会。这种方法的取舍在于通过提高去中心化的质量来弥补数量上的不足。

共享排序器网络

Astria

Astria正在为Celestia的Rollup生态系统开发一种中间件区块链，其中包括自己的分布式排序器集合。这个排序器集负责接受来自多个Rollup的交易并将其写入基础层，而不执行它们。

Astria的作用主要聚焦于交易排序，与基础层和Rollup独立运作。交易数据存储在基础层上（例如Celestia），而Rollup全节点维护状态并执行操作。这确保了Astria 与Rollup解耦。

“Soft commitment”：使得Rollup能够为其最终用户提供快速的区块确认。

“Firm commitment”：速度与基础层相同，确保更高的安全性和最终确认性。

Espresso

Espresso在零知识技术领域做出了重大贡献。他们最新在开发一种去中心化排序器的综合解决方案，可应用于 Optimistic Rollups和zkRollups。

HotShot 共识：优先考虑高吞吐量和快速最终确认性，而不是动态可用性。

Espresso DA：结合基于委员会的 DA 解决方案和 VID，其中高带宽节点将数据提供给所有其他节点。每个单独区块的可用性也由小型随机选举的委员会支持。VID 提供可靠但较慢的备份，只要所有节点的足够高比例的质押权重没有受到威胁，就可以保证可用性。

Rollup REST API：以太坊兼容 JSON-RPC。

P2P 网络：Gossip 协议。

1. 用户创建并提交交易到 Rollup。

2. 交易通过排序器网络传播并保留在内存池中。

3. 通过 HotShot 质押机制指定领导者，提出区块，并将其传播回 Rollup 的执行者和证明者。

4. 领导者将交易发送到数据可用性委员会，并收到 DA 证书作为反馈。

5. 领导者还向 Layer 1 排序器合约发送对区块的承诺，以及合约用于验证区块的证书。

Espresso 引入了用于证明的 Gossip 协议，提供更灵活的用户体验。它提供三种交易最终确认性的选项：

适度：用户可以稍等一段时间以生成证明，然后检查该证明。

除了上述优化之外，Espresso 还计划使整个以太坊验证者集本身参与运行 Espresso 排序器协议。使用相同的验证者集合将提供类似的安全性，并且与 L1 验证者分享价值将更加安全。此外，Espresso 还可以利用 EigenLayer 提供的 ETH 再质押解决方案。

Radius

Radius正在构建一个基于零知识证明的无信任共享排序层，专注于解决L2中的MEV问题，因为L2的收入主要来自区块空间。所需要考虑的权衡是MEV和L2收入之间的平衡。Radius的目标是消除对用户有害的MEV，并提出了一个两层服务。

顶层针对常规用户交易，并通过使用时间锁谜题提供密码学保护，以防止有害的MEV。具体而言，它采用了实用可验证延迟加密（PVDE）技术，该技术将在5秒内为基于RSA的时间锁谜题生成零知识证明。该方法提供了一种实用的解决方案，以保护用户免受有害的MEV。简而言之，在排序器确定交易顺序之后，才可以知晓交易内容。

Based Rollups

Based Rollup 是最近由Justin Drake提出的一个概念，其中L1区块提议者与L1的搜索者和构建者合作，在无需许可的情况下将rollup区块包含在下一个L1区块中。它可以被视为L1上的共享排序器网络。Based Rollup的优缺点很明显。

结论

https://wiki.polygon.technology/docs/zkEVM/https://ethresear.ch/t/proof-of-efficiency-a-new-consensus-mechanism-for-zk-rollups/11988/12https://community.starknet.io/t/starknet-decentralization-kicking-off-the-discussion/711https://docs.minaprotocol.com/node-operators/scan-statehttps://blog.nil.foundation/2023/04/26/proof-market-and-zkllvm-pipeline.htmlhttps://ethresear.ch/t/zkps-two-step-submission-algorithm-an-implementation-of-decentralized-provers/15504https://ethresear.ch/t/shared-sequencer-for-mev-protection-and-profitable-marketplace/15313https://hackmd.io/@EspressoSystems/EspressoSequencerhttps://hackmd.io/@EspressoSystems/SharedSequencinghttps://ethresear.ch/t/based-rollups-superpowers-from-l1-sequencing/15016https://research.arbitrum.io/t/challenging-periods-reimagined-the-key-role-of-sequencer-decentralization/9189