1 技术框架

拜占庭容错状态机副本(BFT SMR)系统中,节点需要同时满足三个要求:

(1)共识:确保所有非故障节点就交易的排序达成一致; (2)数据广播:保证交易数据广播到每一个非故障节点; (3)执行:确保每个非故障节点都执行交易并更新状态。

Untitled

对于共享排序器网络,节点需要满足的要求则较低:

(1)共识:确保所有非故障节点就这些交易的排序达成一致; (2)数据广播:确保数据可用性; (3)执行:无需执行。

Untitled

Espresso Sequencer网络选择在相同节点集下以模块化方式分离DA层和共识层,DA层负责筛选&排序tx+保证数据可用性,共识层仅负责就数据集的简短承诺达成一致。另外,DA层和共识层还将通过如EigenLayer的重质押层来租用/共享ETH的安全性。

Espresso Sequencer网络架构下,L2 Rollups一笔交易的生命周期如下:

(1)L2 Rollup收集用户交易并将交易原始数据提交给 Tiramisu DA 层;

(2)DA层区块构建者收集交易数据后进行纠删码编码,并将编码后数据分块平均分散到Tiramisu DA层各节点。与此同时,HotShot 共识层的lead节点广播包含对交易数据简短承诺的共识提案,由于参与HotShot共识的节点也是DA层的存储节点,共识层区块承诺的最终确定也意味着相应交易数据的数据可用性;

(3)当一个区块在 HotShot 共识协议中被视为最终确定时,Espresso Sequencer网络中的节点将传播新的区块承诺(包含门限签名证书)到 L1 上的Espresso Sequencer合约,合约验证证书并更新账本状态。 同时,DA 节点将完整的区块内容传播给请求该区块的L2全节点/Prover;

(4)L2全节点/Prover在收到新块后,将计算更新后的状态及其承诺,并生成状态转换证明发布在 L1 上的Rollup合约上。为了验证 L2 状态转换证明,Rollup合约还将从Espresso Sequencer合约中读取更新的 Espresso 账本状态;

(5)另外,Espresso 网络节点定期从 L1 Espresso Sequencer合约读取更新的POS参与者集。

Untitled

1.1 HotShot共识机制