Aztec 征集 Rollup Sequencer去中心化提案

1. 引言

前序博客:

  • Rollup去中心化
  • Rollup Decentralization

Aztec 征集 Rollup Sequencer去中心化提案_第1张图片
Aztec Rollup中Sequencer角色的主要职责为:

  • 1)从mempool中选取pending交易
  • 2)将选中的pending交易排序打包到L2区块中
  • 3)验证所有private交易proof以检查其有效性,执行所有public交易以检查其有效性
  • 4)计算ROLLUP_BLCOK_REQUEST_DATA,其中包含了:
    • private state database updates
    • public state updates
    • KZG blob commitments:详细见EIP-4844: Shard Blob Transactions
  • 5)计算L2与L1之间message交互 相应的state updates:详细见L1 <–> L2 communication
  • 6)通过proof pool,将ROLLUP_BLCOK_REQUEST_DATA广播给prover network。proof pool可提供并行计算。
  • 7)根据proof pool中的completed proof构建一个rollup proof。
  • 8)将pending L2 block打上upgrade signal标签,以促进forks
  • 9)将completed L2 block+proof 以ETH交易的方式提交到以太坊。

当前第一个里程碑为:

  • 实现去中心化Sequencer选举

相应的提案应满足如下要求:

  • 1)去中心化:
    • Sequencer选举 应可抗女巫攻击。
    • Sequencer选举 大玩家和硬件好的玩家 应不具有优势。
    • 运行sequencer的硬件配置 应与 运行以太坊validator 的硬件配置 相当。
  • 2)liveness:
    • L2网络参与者应提前知道 某特定time slot的sequencer是谁。
    • 即使在交易不活跃的情况下,应在每个slot创建rollup,以减低网络延迟。
  • 3)抗审查:
    • 确保sequencer选举流程是抗审查的。
    • 确保源自特定sequencer的交易打包是抗审查的。
  • 4)隐私:
    • 支持sequencer在选举和L2 block提交时,可选择匿名。

此外,还应满足高效、低复杂度、灵活性等要求,以及其它潜在要求:

  • 与共享sequencer方案兼容
  • 在执行层,将排序和打包区块 分离
  • 使用L1而不是在L2层运行sequencer选举协议
  • 将proposer和builder分离(PBS:Proposer/Builder Separation)。详细见V神博客Endgame 以及 Alchemy博客What is Proposer / Builder Separation (PBS)?。

参考资料

[1] Request For Proposals: Decentralized Sequencer Selection

Aztec系列博客

  • Aztec Hybrid Rollup:混合zkRollup,而非zkEVM
  • Proof Compression
  • Aztec Connect即将主网上线
  • Aztec connect bridge代码解析

你可能感兴趣的:(区块链,区块链)