Rollup去中心化：Aztec的去中心化Sequencer方案解析
作者：0xhhh，EthStorage
编辑：Faust，《极客web3》
导语：自Rollup成为显学以来，定序器Sequencer去中心化始终是以太坊/Celestia社区的关注焦点，同时也是Layer2研发工作中难以逾越的大山。对此，不同的Rollup方案均提出过关于节点去中心化的设想，为这一话题提供了无比广阔的想象空间。
本文作者以知名ZKRollup项目Aztec为例，以近期Aztec Labs提出的名为B52、Fernet的2个提案为切入点，为广大读者解析ZKR如何实现定序器节点的去中心化。
（B52提案对Rollup结构的假设，Proposer实质就是Sequencer）
该方案将整个L2出块流程划分成三个时间阶段：
Prover 在p2p网络中接收到不同Proposer提出的BP后，会投票给能让自己获得最多reward的BP。不过投票的组成很特殊：
假设Aztec的区块包含2^13=16384的交易数量，并且有2048个prover，那么每个prover构造2^3=8笔交易组成的sub proof tree. 然后prover把自己构造的sub proof tree广播到L2 p2p网络中。proposer接收之后，会把所有的sub proof tree聚合成一个block proof。
接着Propsoer将聚合的proof提交到L1的Rollup合约，合约会验证这个proof以及对应状态转换结果的正确性。这里要注意，Prover如果故意不提交proof的话，不仅无法获得Proposer许诺的区块奖励分红，还会被slash，因为要成为Prover是需要提前质押Token的。因此，与Proposer（Sequencer）不同，Prover并不是Permissionless的。
State Advances（状态推进阶段）详解：
在 Block Acceptance Window结束之后，Rollup合约会选择一个分数最高的区块纳入Rollup账本，并且把区块奖励Reward按照Proposer（Sequencer）事先声明的比例，分别发送给Proposer和Prover。
以上便是Aztec的B52方案。但本文作者认为，B52提案存在一些潜在问题：
问题一: 假如一个分数最高的区块的validity proof是不完整的。提案中给出的解决方法是，假如Proposer只提供了50%的proof，那么他也只能获得50%的区块奖励，从而确保Proposer没有动力故意不提交完整的proof。同时Prover自己也可以直接向合约直接提交proof。
按照提案的叙述，是可以接受一个区块没有完整交易的validity proof。这点其实是不合理的：因为: zkrollup都是在给出validity proof的同时，才声明这个区块对应的新状态有效。
如果proposer最后提交到L1的聚合proof缺失了某个交易的proof，很显然在这笔交易之后发生的所有交易的状态转换证明都是不成立的(因为交易是顺序执行并且有状态依赖的)，我们也就无法确认这个区块对应的新状态是有效的。
因此这个时候，合理的方式应该是进入无限等待的Block Acceptance Window，直到所有交易的proof都提交完成。
问题二:假如得分最高的区块是非法区块(B52方案里也没有解释这点)。BP仅仅包含交易序列的哈希，所以恶意的proposer实际上可以故意构造有问题的交易,比如双花交易。那么这个时候，实际上需要在L1合约增加一个任何人都可以提交illeagal proof的函数, 这个illeagal proof用于证明得分最高的BP是一个非法区块。
并且这种举报应该是有奖励的，我们可以把proposer 发送到合约中的burn token都奖励给提交illegal proof的举报者节点。
有趣的思考：关于叔块和多余的Prover Work: B52方案实际上会在每轮分数最高且有效的BP出现后，把这一轮出现的其他BP（已经提交完整proof）作为叔块，分配一定的叔块奖励。
这实际上沿用了ETH POW共识机制的做法，为了避免算力过度集中，需要分配一部分出块奖励给未被采纳的区块提出者（矿工），以保障小矿池/个体矿工的利益，避免算力被大矿池垄断。因此采用以太坊表现不错的叔块机制也是一个很聪明的选择。
B52提案在Rollup去中心化方面的意义：Proposer是去中心化且不需要质押的，准入门槛低；但是因为需要自己Build最有价值的区块，以及需要收集其他Prover的投票，并聚合所有Proof，实际上Proposer的硬件门槛没有提案中叙述的那么低（比如带宽可能不会很低）。
所以，最终还是会成为一个比较中心化的网络，类似Mev-Boost Builder，因为最终能出块的proposer往往也是最擅长捕捉MEV的Block Builder。
同时，B52方案里的Prover需要质押资产，但因为仅仅需要生成sub tree proof，相比于那些需要完整生成整个block proof的方案来说，Prover的去中心化程度会更好（硬件要求可以放低了）。
活性Liveness：总体的网络Liveness是不错的，因为L2有自己的p2p网络来广播交易和投票/BP，并且Sequencer和Prover都比较去中心化。但是需要解决我们上面提到的两个问题，一个是得分最高的区块一定是合法的区块，第二个是需要等待完整的block proof提交到L1才能进入一个新状态。所以需要一个更有效的激励机制，避免整个Rollup网络由于缺失某一部分tx proof而无法正常工作（停机）。
抗审查性Censorship Resistance：如果我们能保证任何人都能发布区块提议BP，并且保证不只是Proposer可以提交block proof,那么网络会有很好的抗审查性 。
最终性Finality：L2的finality 跟网络的liveness息息相关，因为最终的verified finality 还是需要等待Block Proof的提交，但实际上你也可以相信一个得分最高的BP对应的区块内容(只要它里面不包含恶意交易)。
这个区块会在Block Acceptance Window 开始时被揭示reveal，意味着作为用户，仅仅需要等待一个Block Proposal Window的时间，你提交的交易所在的区块就可以被采纳。
继承L1安全性：作为一个通过提交validity proof来更新状态的L2，是可以继承L1的安全性。
提案Fernet：引入VDF选拔合法Proposer
Fernet 方案简介:通过VDF在每轮出块周期内，为Committee（就是Sequencer节点集合）中不同的节点设定一个预估的分数，最终分数最高的Sequencer提议的区块会成为有效块。
首先，如何加入Committee？实际上需要在L1质押16个ETH，并且在质押操作完成后等待4个L1区块后，加入Sequencer Committee。至于退出Sequencer Committee，则需要调用L1合约里的Unstake函数，之后再过3天才能拿回自己质押的剩余金额。
然后，什么是VDF？Verifiable Delay Function就是可验证延迟函数，该数学函数满足严格的串行执行特性，它会执行一些计算步骤，并至少会消耗一段可预估的时间。我们把VDF算出来的数值记作Score，它满足均匀正态分布，因此当Sequencer算出VDF Score后，就可以判断自己被选中为合法Proposer的概率有多大。
Sequencer的VDF计算如下:
Score = VDF( privatekey , public inputs )
public inputs = { current block number , randao }
randao是一个随机数，用来防止Sequencer提前计算未来所有区块高度下自己的VDF Score
Fernet整个流程主要分为3个阶段:
1. Proposal Phase 2. Proving Phase 3. Finalization
Proposal Phase:PROPOSAL_PHASE_L1_BLOCKS = 2 Ethereum blocks （该阶段会维持2个L1 block的时间）
这个阶段开始，每个Sequencer都会用VDF算出自己在当前出块高度下对应的VDF Score。如果Sequencer认为自己的VDF Score很有可能赢得这次区块的出块权(假设Score满足正态分布)，那么他会提交一个Proposal到L1的Rollup合约。Proposal包含：交易序列的哈希、指向哪个之前的L2区块。
unproven block:只提交了Proposal到Rollup合约的区块block contents。接着，Sequencer需要把unproven block对应的 block contents 以及proof of VDF 一起发送到L2的p2p网络中。
ProvingPhase: PROVING_PHASE_L1_BLOCKS= 50 L1 blocks(该阶段会维持50个L1区块，大概10 min)
Prover从L2的p2p网络中接收所有Block Contents中对应的交易，并会为VDF Score更高的区块构建Proof。Proof的构建也是采取多个Prover并行协作的方式(类似B52方案) 。
因此需要Sequencer在最后将多个不同的交易对应的Proof聚合成一个Block Proof(包含VDF Proof)，提交到L1的Rollup合约。任何人都可以将已经提交Block Proof的Block Contents提交到Rollup合约上。
Finalization:需要提交一笔L1的交易来Finalize区块，一个最终可以被Finalize的区块需要满足:提交了Block Contents和Block Proof，指向的前一个区块必须是Finalize的。在满足以上条件的基础上，还要拥有最高的Score。
（流水线式出块流程，前一个区块的提议阶段刚结束，就开始下一个区块的提议阶段，而无需等待之前区块的Proving阶段结束）
流水线出块机制:需要注意的是，Fernet采用的是流水线出块机制. 当第N块的Proposal阶段结束时，第N+1个块的Proposal就开始了（Aptos等公链也有类似的做法）。但对于第N+1个块来说，它需要等待第N个块Finalize后，它才能提交L1的Final Block交易，并且验证通过成为Final Block 。
潜在的攻击维度:假如VDF Score最高的Sequencer故意不在L2 p2p中广播Block Contents, 那么有可能导致区块重组reorg。
reorg的L2区块数量计算: 1+PROVING_PHASE_L1_BLOCKS / PROPOSAL_PHASE_L1_BLOCKS =1+50/2=26块
解决方式: 增加叔块机制，避免每个L2slot（出块时隙）只有一个完整的候选区块。
Fernet在去中心化上的意义：Sequencer通过质押16个ETH加入Sequencer Committee，准入门槛并不高（但也不低）。Prover不需要任何质押，但假如Prover不生成Proof也没有惩罚。这与B52方案基本是相反的。
活性Liveness：整体网络的 Liveness 是可以保证的，因为VDF+叔块机制可以保证每一轮不止有一个出块者。
MEV：MEV的考量是最特殊的，该方案计划引进PBS，这样作为Sequencer计算出一个高分的VDF Score后，就可以直接找Block Builder构造一个更有价值的区块。
抗审查性Censorship Resistance：Fernet 也将采用跟以太坊一致的PBS机制，因此本质上 Fernet 抗审查的问题等价于以太坊 PBS 的抗审查问题。