Aztec去中心化Sequencer方案解析:提案B52及提案Fernet

'Aztec去中心化Sequencer方案解析:B52和Fernet提案'

提案 B52 的目标与优势

提案 B52 旨在实现以下目标,以期达到理想状态:

  1. 去中心化 sequencer 网络:在 L2 层,由 L2 节点自行选举每一轮的 proposer(提议者)。
  2. 去中心化 prover 网络:使 prover 节点的硬件要求较低。
  3. 具备很好的抗审查性:Rollup 整体能够有效抵抗审查,确保数据安全性和隐私。
  4. L2 节点获得 L2 产生的 MEV 价值:MEV(最大化以太矿机价值)是指通过提前了解区块链交易的顺序和内容,从中获取利益的行为。
  5. 有效的最终性 Finality:当 L2 区块提交到 DA(Data Availability)层时,可以获得较高的最终性。不可逆转的 finality 则需等待 Validity Proof(有效性证明)提交完毕。
  6. 拥有良好的经济模型:L2 Token 需要具备良好的经济模型,以促进流动性和激励参与者。
  7. L2 区块和交易数据传播于 L2 的 p2p 网络中:确保区块和交易数据可在 L2 网络中传播,实现高效通信。
  8. 继承 L1 的安全性:L2 需要继承 L1(Layer 1)的安全性,以保障区块链的整体安全。

提案 B52 将 L2 的出块流程划分为以下三个时间阶段:

  1. BPW(区块提议)阶段:多个 sequencer 提议不同的区块,并进行竞争。prover 选择某个备选区块进行投票。

    • Block Proposal(区块提议):多个 sequencer 提议不同的区块,通过竞争决定最终备选区块。
    • Block Voting(区块投票):prover 选择某个备选区块进行投票。
    • Aggregation(聚合):将 prover 的投票聚合,并选出投票结果最佳的备选区块。
  2. BAW(区块采纳)阶段:prover 为区块构造有效性证明 Validity Proof,并将其提交。

  3. Finalization 阶段:经过验证和共识的区块进入最终状态。

综上所述,提案 B52 通过创新的方式实现了 L2 的去中心化和安全性,并针对各个阶段设计了相应的流程,确保区块链系统的安全性和效率。

提案 Fernet 的过程与要求

提案 Fernet 基于 VDF(可验证延迟函数)在每个出块周期内为 Committee(Sequencer 节点集合)中的不同节点设定一个预估分数。最终,分数最高的 Sequencer 提议的区块将成为有效块。

要加入 Committee,需在 L1 层质押 16 个 ETH,并在质押操作完成后等待 4 个 L1 区块的时间,方可加入 Sequencer Committee。若要退出 Sequencer Committee,则需调用 L1 合约中的 Unstake 函数,之后需等待 3 天方可取回质押金额。

Fernet 的整个流程主要分为 3 个阶段,分别是:

  1. Proposal Phase(提议阶段):根据每个节点的预估分数,Sequencer 提出备选区块。

  2. Proving Phase(证明阶段):prover 为备选区块构造有效性证明 Validity Proof,并将其提交。

  3. Finalization(最终阶段):通过验证和共识,确定最终的有效区块。

参与提案 Fernet 的节点需要通过 VDF 算法设定预估分数,并随后根据节点得分的高低选择提议的区块。同时,在加入和退出 Sequencer Committee 的过程中,质押和取回资金也需要根据 L1 合约中设定的规则进行操作和等待。

综上所述,提案 Fernet 通过 VDF 算法和节点分数的设定,在区块的提议和选取过程中实现了公平性和有效性的考量,保障了区块链系统的安全和稳定性。

参考文献: https://mp.weixin.qq.com/s/zALianGuaiHKZEanXcNvaKwVW4VA