---
title: "Optimistic Rollup"
description: "按具体部署解析排序器回执、L1 派生数据、unsafe/safe/finalized head、故障证明博弈、canonical 提款、治理与快速退出。"
image: "https://wiki.fcontext.com/og.png"
---

> Documentation Index
> Fetch the complete documentation index at: https://wiki.fcontext.com/llms.txt
> Use this file to discover all available pages before exploring further.

# Optimistic Rollup

> 仅供教育参考，不构成协议、跨链桥或交易建议。Optimistic Rollup 的保障取决于具体部署、数据模式、派生规则、实际运行的故障证明博弈、权限、时钟、治理与提款合约；应逐阶段、逐资产独立核实。

<a id="answer"></a>

## 直接答案

Optimistic Rollup 执行排序后的交易流，并发布协议规定的派生数据与状态声明，但不为每个批次附加有效性证明。“Optimistic”表示：符合资格的声明可依已部署规则继续推进，除非成功的故障证明争议证实其错误。它不表示排序器消息能够证明正确性，也不表示每项实现都有无需许可的挑战机制或相同的提款延迟。

Rollup 节点依据 canonical L1 输入及精确协议配置，独立派生 L2 区块。因此，安全路径涵盖数据可用性、正确派生与执行、实际运行且健全的故障证明系统、L1 访问与最终性、治理及跨链桥合约。仅有状态根不足以重建链，也不足以挑战无效状态转换。

<a id="mechanism"></a>

## 运作方式

1. 锁定具体部署：L1 与 L2 链 ID、Rollup 配置与分叉、inbox 与跨链桥合约、批次格式与 DA 模式、状态声明与争议博弈合约、portal 版本、管理员、guardian 及观察区块。技术栈文档不能证明某项功能已在指定链上实际运行。
2. 对观察到的状态分类。排序器回执或 unsafe block 是快速的本地排序承诺；已发布至 L1 的批次可支持安全派生的 safe head；L1 最终性可支持派生后的 finalized head。状态或输出声明、已解决争议及可执行提款是不同对象，各有独立时钟。
3. 重建 L1 到 L2 的派生管道。根据 canonical L1 数据，核实存款与已排序输入、channel 与 batch、L1 origin、配置变更及状态转换。对于 blob 承载的数据，应区分协议窗口期内的可用性与之后的归档检索。
4. 映射活性与控制权。区分排序器、batcher、proposer、challenger、relayer、guardian 与升级权限；核实是否存在强制纳入或 delayed inbox 路径、延迟及暂停条件，以及普通用户是否有可实际调用的软件。
5. 核实已部署的故障证明路径。记录获认可的博弈类型、proposer 与 challenger 权限、bond、absolute prestate、证明程序与 VM、preimage oracle、声明深度、时钟与延长规则、解决规则、黑名单或暂停权及升级延迟。不能把 OP Stack 机制直接套用到 Arbitrum 或其他 Rollup。
6. 分别追踪提款与经济账。依次检查 L2 发起、L1 证明、声明或博弈依赖、成熟期与最终性延迟、重新证明、portal 检查及 L1 执行。快速退出是与独立交易对手进行的有价流动性或信用交易，不是缩短了 canonical 挑战时钟。
7. 持续核对。匹配 unsafe、safe 与 finalized 区块哈希、L1 批次交易、状态声明、博弈结果、跨链桥消息、收据、代币合约及最终余额。发生 L1 或 L2 重组、批次缺失、争议、暂停、合约升级或 DA 迁移后，应重新分析。

<a id="example"></a>

## 计算示例

- **派生数据载荷。** 一个批次包含 `10,000` 笔交易、`1,200 KB` 原始协议输入，压缩后为 `300 KB`。比率是 `1,200 / 300 = 4.0x`，降幅为 `1 - 300 / 1,200 = 75%`，按十进制计算的平均值为 `300,000 / 10,000 = 30 bytes/tx`。这些数值只描述编码后的输入载荷，不代表 L1 gas、执行正确性、状态大小或归档保障。
- **未计遗漏成本前的贡献额。** 用户支付 `2.4 ETH`；测得 L2 执行成本为 `0.3 ETH`；L1 DA 成本为 `1.2 ETH`。残余额为 `2.4 - 0.3 - 1.2 = 0.9 ETH`，即 `0.9 / 10,000 = 0.00009 ETH/tx`。由于未计入运营方基础设施、L1 执行、证明博弈、退款、资金、故障及税费，这不是净利润。
- **争议定位。** 教学用执行轨迹含 `2^20 = 1,048,576` 个步骤。理想二分需 `log2(2^20) = 20` 次选择才能定位一个步骤。若每轮教学示例各有 `3-hour` 上限，朴素串行上限为 `20 * 3 = 60 hours`；实际协议采用各自的棋钟、并发、延长规则和交易时序。
- **提款时钟与快速流动性。** 教学示例中的批次在 `10 minutes` 后到达 L1，再经 `30 minutes` 出现获认可声明，随后假设挑战期持续 `7 days`，最终转发耗时 `2 hours`。依次累计为 `10 + 30 + 10,080 + 120 = 10,240 minutes = 7 days 2 hours 40 minutes`。流动性跨链桥预付 `4.97 ETH`，对应 `5 ETH` 的请求，并收取 `0.03 ETH`，即 `0.03 / 5 = 0.6%`；canonical 请求仍受原有时钟与风险约束。

<a id="risks"></a>

## 风险

- L1、L2、链 ID、Rollup 配置或合约部署错误。
- 把 unsafe 排序器回执当成 safe 或 final。
- 排序器产生矛盾结果、审查、重排或停机。
- L1 批次发布延迟、缺失、格式错误或无效。
- Blob 或替代 DA 数据不可用或未归档。
- 派生客户端、配置或分叉不匹配。
- L1 重组使此前认为 safe 的派生输入失效。
- Batcher、状态 proposer 或证明参与者停机。
- 强制纳入或 delayed inbox 路径不存在、暂停或被误解。
- 故障证明尚未部署、未启用或绑定错误博弈类型。
- Proposer 或 challenger 角色需要许可或白名单。
- Challenger 离线、受审查、资金不足或错过期限。
- 证明程序、VM、absolute prestate、oracle 或 verifier 存在缺陷。
- 时钟、延长规则、声明位置、bond 或解决账务出错。
- Guardian、安全委员会、暂停或黑名单干预。
- 立即升级、时间锁过短或管理员密钥泄露。
- Canonical 跨链桥、messenger、防重放或资产映射漏洞。
- 提款证明、成熟期、重新证明、最终化或转发失败。
- 快速退出的流动性、定价、路由、资不抵债或交易对手风险。
- 混淆 L1 最终性、L2 派生最终性、声明解决与资产到账。

<a id="misconceptions"></a>

## 常见误区

- Optimistic 表示用户无条件信任排序器显示的结果。
- 只发布状态根就能提供数据可用性与独立派生能力。
- 每个 Optimistic Rollup 都有实际运行且无需许可的故障证明，以及统一的七天时钟。
- L2 区块达到 safe 或 finalized，就表示其 L2 到 L1 提款已经可以执行。
- 快速跨链桥会缩短 canonical 挑战期，或只承担 Rollup 本身的风险。

<a id="related"></a>

## 相关主题

- [故障证明](/zh-cn/crypto/fraud-proof/)
- [数据可用性](/zh-cn/crypto/data-availability/)
- [Rollup](/zh-cn/crypto/rollup/)

<a id="sources"></a>

## 来源

- [Optimistic Rollups](https://ethereum.org/developers/docs/scaling/optimistic-rollups/) - Ethereum.org（访问日期：2026-08-13）
- [EIP-4844: Shard Blob Transactions](https://eips.ethereum.org/EIPS/eip-4844) - Ethereum Improvement Proposals（访问日期：2026-08-13）
- [Rollup Node](https://specs.optimism.io/protocol/rollup-node.html) - OP Stack Specification（访问日期：2026-08-13）
- [Derivation](https://specs.optimism.io/protocol/derivation.html) - OP Stack Specification（访问日期：2026-08-13）
- [Fault Proof](https://specs.optimism.io/fault-proof/index.html) - OP Stack Specification（访问日期：2026-08-13）
- [Optimism Portal](https://specs.optimism.io/fault-proof/stage-one/optimism-portal.html) - OP Stack Specification（访问日期：2026-08-13）
- [Stage 1 Roles and Requirements](https://specs.optimism.io/protocol/stage-1.html) - OP Stack Specification（访问日期：2026-08-13）
- [Arbitrum Nitro: A Second-Generation Optimistic Rollup](https://docs.arbitrum.io/nitro-whitepaper.pdf) - Offchain Labs（访问日期：2026-08-13）

Source: https://wiki.fcontext.com/zh-cn/crypto/optimistic-rollup/index.mdx