量化投资技术文档

op-L2 输出根提案规范

10分钟阅读

L2 输出根提案规范

目录

处理一个或多个区块后，输出需要与结算层 (L1) 同步，以便无需信任地执行 L2 到 L1 消息传递（例如提款）。这些输出建议充当桥接器进入 L2 状态的视图。被称为“提议者”的参与者将输出根提交到结算层（L1），并且可以通过故障证明进行争议，如果证明错误，则将面临风险。提议者的此类实现中的反对提议者。

注意：目前尚未完全指定 Optimism 的故障证明。尽管在 Cannon 中实现了防错构造和验证，但防错游戏规范以及将输出根挑战者集成到汇总节点中 是后来规范里程碑的一部分。

提出 L2 产出承诺

提议者的角色是构建并提交输出根，即对 L2 状态的承诺，以及L2OutputOracleL1（结算层）上的合约。为此，提议者定期查询汇总节点以获取从最新 最终确定的L1 块派生的最新输出根。然后，它获取输出根并将其提交给L2OutputOracle结算层（L1）上的合约。

L2OutputOracle v1.0.0

输出提案的提交仅限于单个帐户。预计该帐户会随着时间的推移继续提交输出提案，以确保用户提款不会停止。

L2 输出提议者预计会根据SUBMISSION_INTERVAL中的配置以确定性间隔提交输出根L2OutputOracle。越大SUBMISSION_INTERVAL，需要将 L1 交易发送到合约的频率就越低L2OutputOracle ，但 L2 用户需要等待更长的时间才能将输出根包含在 L1（结算层）中，其中包括他们从系统中提款的意图。

诚实op-proposer算法假设与合约有连接，L2OutputOracle以了解与必须提交的下一个输出提案相对应的 L2 区块号。它还假设连接到op-node能够查询optimism_syncStatusRPC 端点的连接。

import time

while True:
    next_checkpoint_block = L2OutputOracle.nextBlockNumber()
    rollup_status = op_node_client.sync_status()
    if rollup_status.finalized_l2.number >= next_checkpoint_block:
        output = op_node_client.output_at_block(next_checkpoint_block)
        tx = send_transaction(output)
    time.sleep(poll_interval)

一个账户可以通过调用该函数并指定要删除的第一个输出的索引来CHALLENGER删除多个输出根，这也将删除所有后续输出。deleteL2Outputs()

L2OutputOracle v2.0.0

产出提案的提交无需许可，并且没有必须提交产出提案的时间间隔。预计用户会“及时”提出输出提案，方便自己提现。必须与输出提案一起放置保证金，以抑制恶意输出的提案。如果可以通过故障证明或证明证明证明输出是恶意的，那么可以削减债券并将其用作支付给支付gas以消除恶意输出的用户的费用。

仍可op-proposer用于提交输出提案。一个简单的实现 op-proposer将定期提交输出建议。然而，这不是必需的，其他提议者实现可以随时提交有效的输出。更理想的实现将使用启发式方法，例如上次提交的时间或尚未包含在输出提案中的待处理提款数量。

该提议者的单次迭代（将一个输出根发布到 L1）如下所示：

由于启用无需许可的输出提案时可能有多个提案者同时运行，因此反对者提案者将在发送提案交易之前检查其输出根是否尚未针对给定的 L2 区块号发布。Proposer 当查询L2OutputOracle输出根时，这如上面的序列图中所示。如果它接收到的输出根等于从汇总节点接收到的输出根，则它不会在事务中将此输出根发送到L2OutputOracle.

另请注意，虽然op-proposer实现仅基于最终确定或安全的 L2 块提交输出，但其他提议者实现可能会提交与不安全（未最终确定）L2 块相对应的输出。这会带来风险，因为批处理程序可能会提交与已提供的输出不对应的 L2 块（意味着这些输出现在无效）。

版本v2.0.0包括对 ABI 的重大更改L2OutputOracle。

L2输出承诺构建

这output_root是一个 32 字节的字符串，它是基于版本化方案派生的：

output_root = keccak256(version_byte || payload)

在哪里：

  1. version_byte( bytes32) 一个简单的版本字符串，只要输出根的构造发生更改，该版本字符串就会递增。
  2. payload( bytes) 是任意长度的字节串。

在输出承诺构造的初始版本中，版本为bytes32(0)，有效负载定义为：

payload = state_root || withdrawal_storage_root || latest_block_hash

在哪里：

  1. ( ) 是最新 L2 块的块哈希latest_block_hash。bytes32
  2. ( state_root)是所有执行层账户的bytes32Merkle-Patricia-Trie ( MPT ) 根。该值被频繁使用，因此升高到更接近 L2 输出根，从而无需证明其包含在 的原像中latest_block_hash。这减少了 Merkle 证明的深度和访问 L1 上的 L2 状态根的成本。
  3. ( withdrawal_storage_root)提升Message Passer 合约bytes32存储的Merkle-Patricia-Trie ( MPT ) 根。我们可以直接针对 L2toL1MessagePasser 的存储根进行证明，而不是针对状态根进行提款的 MPT 证明（首先针对状态根证明 L2toL1MessagePasser 的存储根，然后针对该存储根证明提款），从而减少验证L1 上的提款成本。

L2输出预言机智能合约

L2 块以恒定速率L2_BLOCK_TIME（2 秒）生成。必须将新的 L2 输出添加到链一次，每个SUBMISSION_INTERVAL链基于多个块。确切的数量尚未确定，并将取决于故障证明游戏的设计。

L2输出预言机合约实现了以下接口：

/**
 * @notice The number of the first L2 block recorded in this contract.
 */
uint256 public startingBlockNumber;

/**
 * @notice The timestamp of the first L2 block recorded in this contract.
 */
uint256 public startingTimestamp;

/**
 * @notice Accepts an L2 outputRoot and the timestamp of the corresponding L2 block. The
 * timestamp must be equal to the current value returned by `nextTimestamp()` in order to be
 * accepted.
 * This function may only be called by the Proposer.
 *
 * @param _l2Output      The L2 output of the checkpoint block.
 * @param _l2BlockNumber The L2 block number that resulted in _l2Output.
 * @param _l1Blockhash   A block hash which must be included in the current chain.
 * @param _l1BlockNumber The block number with the specified block hash.
*/
  function proposeL2Output(
      bytes32 _l2Output,
      uint256 _l2BlockNumber,
      bytes32 _l1Blockhash,
      uint256 _l1BlockNumber
  )

/**
 * @notice Deletes all output proposals after and including the proposal that corresponds to
 *         the given output index. Only the challenger address can delete outputs.
 *
 * @param _l2OutputIndex Index of the first L2 output to be deleted. All outputs after this
 *                       output will also be deleted.
 */
function deleteL2Outputs(uint256 _l2OutputIndex) external

/**
 * @notice Computes the block number of the next L2 block that needs to be checkpointed.
 */
function nextBlockNumber() public view returns (uint256)

配置

必须startingBlockNumber至少是第一个基岩块的编号。必须startingTimestamp与起始块的时间戳相同。

因此，第一个outputRoot提议将处于高度startingBlockNumber + SUBMISSION_INTERVAL

安全考虑

L1 重组

如果 L1 在生成并提交输出后进行重组，则 L2 状态和正确输出可能会发生变化，从而导致错误的提案。通过允许提议者在附加新输出时向输出预言机提交 L1 块号和哈希值可以缓解这种情况；如果发生重组，块哈希将与具有该编号的块的哈希不匹配，并且调用将恢复。

关系图谱