Aztec 征集 Rollup Sequencer去中心化提案

1. 引言

前序博客：

• Rollup去中心化
• Rollup Decentralization

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代码解析