币灵灵财经
首页 > 币圈新闻 > 文章正文

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

币灵灵财经 2024-10-31 17:19 351

欧易交易所

欧易交易所

软件大小:268.26MB

软件版本:v3.4.2

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

Rollups 去中心化

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

Polygon

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

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

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

收入:L2 交易费用 成本:batchFee (以 $MATIC 计算)+ L1 交易费用(调用 sequenceBatches 方法)

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

收入:batchFee (以 $MATIC 计算) 成本:证明成本 + L1 交易费用(调用verifyBatchesTrustedAggregator 方法)

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

初始参数 batchFee= 1 $MATIC veryBatchTimeTarget = 30 分钟。这是验证批次的目标时间。协议将更新`batchFee`变量来达到该目标时间。 multiplierBatchFee = 1002。这是批次费用乘数,范围从 1000 到 1024,保留 3 位小数。 调节器 diffBatches : 被聚合的批次中> 30 分钟的数量减去<=30 分钟的批次数量。最大值为 12。 协调过程 当 diffBatches> 0 时,增加聚合奖励以激励聚合器。

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

当 diffBatches < 0 时,减少聚合奖励来抑制聚合器,减缓聚合进程。

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

Starknet

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

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 始终是 liveledger 的前缀。

3. 重复上述过程。

轮流制:这可以部分解决中心化问题,但可能无法通过激励机制找到证明工作的最佳人选。 基于质押:排序器根据其所质押的数量决定了当选证明者的概率。 Commit-Reveal 方案:首个提交者需要抵押代币来获得短暂的垄断机会,然后在该时间窗口内生成证明。为了避免 DDoS 攻击,如果前者无法及时生成证明,后者所需的抵押代币将呈指数级增长。虽然在该机制下,网络可能会失去最佳性能的机器,但可以培养更多的证明者。

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

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

Mina

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

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

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

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

=Nil; Foundation

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

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

DROP DATABASE:是一个数据库管理系统协议,可以看作是一个 DA 层。 Proof Market:是一个在 DROP DATABASE 上运行的应用程序,类似于一些人所说的 zk 证明的「去中心化交易所」。 zkLLVM:是一个编译器,将高级编程语言转换为可证明计算协议的输入。

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

步骤 1:提交第 T 个区块的零知识证明的哈希 从第 T+11 个区块开始,不再允许新的证明者提交哈希。 步骤 2:提交零知识证明 在第 T+11 个区块之后,任何证明者都可以提交零知识证明。如果至少有一个零知识证明通过验证,它将用于验证所有提交的哈希,经过验证的证明者将根据抵押金额的比例获得相应的 PoW 奖励。 如果在第 T+20 个区块之前没有零知识证明通过验证,则所有提交哈希的证明者都会受到惩罚。然后重新开放排序器,可以提交新的哈希,回到步骤 1。

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

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

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

Astria

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

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

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

Soft commitment:使得 Rollup 能够为其最终用户提供快速的区块确认。 Firm commitment:速度与基础层相同,确保更高的安全性和最终确认性。

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

Espresso

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

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

HotShot 共识:优先考虑高吞吐量和快速最终确认性,而不是动态可用性。 Espresso DA:结合基于委员会的 DA 解决方案和 VID,其中高带宽节点将数据提供给所有其他节点。每个单独区块的可用性也由小型随机选举的委员会支持。VID 提供可靠但较慢的备份,只要所有节点的足够高比例的质押权重没有受到威胁,就可以保证可用性。 Rollup REST API:以太坊兼容 JSON-RPC。 排序器合约:验证 HotShot 共识(即作为轻客户端)并记录 checkpoints(即对交易进行密码学承诺),管理 HotShot 的质押表。 P2P 网络:Gossip 协议。

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

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

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

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

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

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

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

快速:用户可以信任已执行交易并生成证明的 Rollup 服务器,或者他们可以利用 HotShot 的低延迟执行交易。 适度:用户可以稍等一段时间以生成证明,然后检查该证明。 慢速:用户可以等待 L1 验证状态更新来获取更新后的状态,无需任何信任假设或计算。

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

Radius

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

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

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

Based Rollups

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

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

结论

Rollup去中心化探索者们:Polygon、Starknet 与 Espresso等

javascript:;

javascript:;

javascript:;

javascript:;

javascript:;

javascript:;

javascript:;

javascript:;

javascript:;

javascript:;

https://research.arbitrum.io/t/challenging-periods-reimagined-the-key-role-of-sequencer-decentralization/9189