The Web3 去中心化排序器解决方案

一. 概述

去中心化 sequencer 一直是 L2 项目研究的热点,metis 发布的去中心化 sequencer 方案再一次引起了社区对去中心化 sequencer 方案的探索。

但直到现在为止,并没有一个通用的去中心化 sequencer 解决方案横空出世,这也是去中心化 sequencer 没有迅速发展起来的原因,而 the web3 的去中心化 sequencer 方案要做的就是行业统一的标准;将各个模块做成可插拔的,未来其他项目方也可以基于 the web3 的方案去实施自己的 de-sequencer,直接使用该方案或者基于该方案进行改造。

在整个方案里面包含了质押协议, Sequencer 和 Verifier 调度器,MPC 动态委员会,这三个方案我们将把他们都做成通用型的组件,以供未来其他项目和社区使用;这些模块不仅可以集成到 op stack 里面,还可以集成到 Arbitrum, PolygonZkevm, Zksync, Scroll 和其他任意 L2 里面。

二. 方案架构

1.质押协议

双轨质押,一个轨道使用 Eigenlayer 的重新质押,另一个轨道使用项目方自己的代币,验证网络使用主动验证机制(AVS)。 以下情况的运营商将被罚没

  • 💡长时间宕机(罚没项目代币轨道的质押份额)
  • 💡惰性(该出块时选择不出块)(罚没项目代币轨道的质押份额)
  • 💡恶意出块(罚没 Eigenlayer 上的 ETH,当然,目前 EigenLayer 的 💡Slashing 机制还没实现,The Web3 也是 Todo)
  • 💡被 verifier 验证做恶(罚没 Eigenlayer 上的 ETH, 当然,目前 EigenLayer 的 Slashing 机制还没实现,The Web3 也是 Todo)

2.Sequencer 调度器

链上加链下的隐私调度器配合在一个 epoch 之内选出出块人群体,每一个 epocho 内节点之前并不知道出块人是谁,只有块产生之后才知道谁是出块人。

3.Sequencer

  • 一个 epoch 周期为 64s, 一个周期之内出 32 个块,出块时间为 2s
  • 出块人出完块之后,其他节点同步块信息
  • 每个 epoch 周期内设有备份节点,如果被选中的节点挂了,由备份节点来出块

4.验证者验证网络

  • 验证人网络节点群可以无限庞大,每次真正的验证人也是通过质押权重随机选出一批节点进行验证,验证者主要是对交易进行有效性证明。悲观情况下,验证人都所有交易做有效性证明,最近讲证明的聚合证明提交到 L1;乐观情况下,验证人网络只需要对有争议的交易进行证明。
  • 链上控制的动态委员
  • 足够大的网络保证验证的安全性
  • 确保上链的数据足够可信,降低发生回滚的风险
  • 发生惩罚是 MPC 网络签名一笔交易调度 slashing 合约对验证人网络节点进行惩罚
全部评论(0)