详解 OP Stack Rollup 流程及对应代码-天涯论坛

wloe2gf 发表于 2024-7-27 22:21:42

详解 OP Stack Rollup 流程及对应代码

原文作者：Rayer 
原文源自：登链社区
Optimism Bedrock 是 OP Stack 的当前版本。Bedrock 版本供给了用于起步生产质量的 Optimistic Rollup 区块链的工具。此时，OP Stack 区别层的 API 仍然与 Stack 的 Rollup 配置紧密耦合。
Op-stack 重点的 rollup 由两个服务来承担。

op-batcher：负责将每隔一段时间读取 sequencer 上的交易内容，rollup 到链上 DA
op-proposer：负责将交易状态 rollup 到合约。
Rollup 架构
<img src="//q9.itc.cn/q_70/images03/20240606/9fe5cf357de849799e9f6cc07c55cc4d.jpeg" style="width: 50%; margin-bottom: 20px;">
op-batcher 
op-batcher 执行流程图
<img src="//q0.itc.cn/q_70/images03/20240606/ea66664faf9f4a35877e39a889716f0d.jpeg" style="width: 50%; margin-bottom: 20px;">
loadBlocksInfoState 执行规律
loadBlocksInfoState 负责读取，从前一次读取的块起始的所有块，即还未读取的块。
其整体流程如下
<img src="//q1.itc.cn/q_70/images03/20240606/4fe0c4ff2a9445b5a7b5741213f3e167.jpeg" style="width: 50%; margin-bottom: 20px;">
代码如下：
<img src="//q7.itc.cn/q_70/images03/20240606/92d5c89b8824478ea2928614bfe80d33.jpeg" style="width: 50%; margin-bottom: 20px;">
<img src="//q0.itc.cn/q_70/images03/20240606/801771703733488cb9bbe169344cd973.jpeg" style="width: 50%; margin-bottom: 20px;">
<img src="//q6.itc.cn/q_70/images03/20240606/6ad1baea176646a0a3aac716a11c32c8.jpeg" style="width: 50%; margin-bottom: 20px;">
loadBlocksIntoState 完成为了以下动作
1、获取 sequencer 中的同步状态
2、153 行，调用calculateL2BlockRangeToStore函数

calculateL2BlockRangeToStore 获取并判断需要提交的最新 L2 的 start 和 end 块号，初始的区块为 L2 当前安全的最高块，结束区块为 L2 当前最高的不安全的区块。

3、164 行,拿到提交的起始块和结束区块之后，从初始区块起始获取区块信息，调用loadBlockIntoState 函数获取区块

loadBlockIntoState 检测区块信息以及 geth 信息，无误后，在 200 行,调用 AddL2Block 函数将区块加到 channelManager 的 blocks *types.Block 中。4、165 行至 168 行，校验区块是不是需要重新提交，若需要，将 l.lastStoredBlock 置成 eth.BlockID{}；173 行，否则就将 l.lastStoredBlock 置成 eth.ToBlockID(block)；latestBlock 置成 block；
5、177 行，L2BlockToBlockRef 从 L2 块引用源中提取基本的 L2BlockRef 信息，按照区块号判断必要时回退到创世信息
publishStateToL1 执行规律
publishStateToL1 将队列中的所有交易提交到 L1，直到队列中无交易或显现错误为止。
代码如下：
<img src="//q5.itc.cn/q_70/images03/20240606/c1a8fe968c7146508ab015b82b29ccbd.jpeg" style="width: 50%; margin-bottom: 20px;">
1、publishStateToL1 会循环将队列里的交易发送到 Layer1 网络。
2、377 行调用publishTxToL1。
<img src="//q5.itc.cn/q_70/images03/20240606/3a081fd322e24fc1b3f702db5999913c.jpeg" style="width: 50%; margin-bottom: 20px;">
publishTxToL1 是提交单个交易到 L1 的规律，publishTxToL1 办法获取要提交的数据数据构建交易发送到 Layer1 网络，并将发送出去的交易扔到 receiptCh chan TxReceipt channel 里面。

429 行，l1Tip：获取当前 L1 提示做为 L1BlockRef。假定传递的上下文是生命周期上下文，因此呢它在内部运用网络超时进行包装。
434 行，recordL1Tip：将上一个 L1BlockRef 更换成 l1Tip 获取到的最新的 L1BlockRef437 行，TxData：收集需要 rollup 的交易数据；TxData 返回复提交给 L1 的下一个 tx 数据。日前，每一个事务仅运用一帧。倘若待处理的通道已满，则仅返回该通道的剩余帧，直到成功完全发送到 L1。倘若无挂起的帧，它将返回 io.EOF。
447 行，sendTransaction 将交易发送到一层，并把交易发送状态更新到 receiptCh chan TxReceipt channel 里面；sendTransaction 运用给定的「数据」创建交易并将其提交到批处理收件箱位置。它日前运用底层的「txmgr」来处理交易发送和价格管理。这是一种阻塞办法。不该同期调用它。handleReceipt
handleReceipt 获取从 channel 处理交易的状态，并将成功处理的交易从 channel 里面移除。
代码如下：
op-proposer
执行流程图
<img src="//q7.itc.cn/q_70/images03/20240606/fdb0d87401a148dc8c68f9becc709d5c.jpeg" style="width: 50%; margin-bottom: 20px;">
仔细执行流程 
<img src="//q9.itc.cn/q_70/images03/20240606/555cd93bf6ff45d0ae5e383f8703da1f.jpeg" style="width: 50%; margin-bottom: 20px;">
FetchNextOutputInfo
FetchNextOutputInfo: 获取 L2 上的区块的 output，方便后续组装提交。返回的 output 结构如下：
type OutputResponse struct {Version Bytes32 json:"version"OutputRoot Bytes32 json:"outputRoot"BlockRef L2BlockRef json:"blockRef"WithdrawalStorageRoot common.Hash json:"withdrawalStorageRoot"StateRoot common.Hash json:"stateRoot"Status *SyncStatus json:"syncStatus"}
代码如下：
<img src="//q9.itc.cn/q_70/images03/20240606/678b06222ea64c1aaf79550b3c0b97a2.jpeg" style="width: 50%; margin-bottom: 20px;">

224 行，NextBlockNumber：获取下一批次需要提交的区块区间，区间计算为 latestBlockNumber + SUBMISSION_INTERVAL SUBMISSION_INTERVAL 的值能够在安排 L2OutputOracle 合约的时候指定。230 行，调用FetchCurrentBlockNumber，得到当前区块的区块号
236 行至 241 行, 上面检测完 nextCheckpointBlock 符合规则之后，调用FetchOutput去 L2 上获取需要提交的 stateRoot

FetchCurrentBlockNumber 代码如下：
<img src="//q7.itc.cn/q_70/images03/20240606/2ea1e609a550476cbb2fd3fc53225e9c.jpeg" style="width: 50%; margin-bottom: 20px;">
1、254 行，SyncStatus：获取 L2 块的 SafeL2 和 FinalizedL2 的状态和块信息，
FetchOutput 代码如下：
<img src="//q1.itc.cn/q_70/images03/20240606/f280e6aacb47469ea1b7faffa69945bc.jpeg" style="width: 50%; margin-bottom: 20px;">
2、279 行，OutputAtBlock: 按照块高获取 output, 里面包括 stateRoot，这儿最后是调用 eth_getProof 去计算并获取 stateRoot，代码调用流程能够参考上图。提示: 这儿并不是一个块提交一次 stateRoot, 而是按照 SUBMISSION_INTERVAL 配置的值来计算一批块的 stateRoot，最后将 stateRoot 提交到 L2OutputOracle 合约
send Transaction

sendTransaction：运用 output 构建 stateRoot 提交交易，将交易提交到一层链，下面是交易打包的数据细节

return abi.Pack( "proposeL2Output", output.OutputRoot, new(big.Int).SetUint64(output.BlockRef.Number), output.Status.CurrentL1.Hash, new(big.Int).SetUint64(output.Status.CurrentL1.Number))
代码如下：<a style="color: black;">返回外链论坛：www.fok120.com，查看更加多</a>

责任编辑：网友投稿

AventurineLe 发表于 2024-9-3 04:21:17

可以发布外链的网站 http://www.fok120.com/

nykek5i 发表于 2024-11-5 13:53:40

你字句如珍珠，我珍藏这份情。

页: [1]

天涯论坛's Archiver

详解 OP Stack Rollup 流程及对应代码