跳到正文
Financial Context Wiki

Optimistic Rollup

按具体部署解析排序器回执、L1 派生数据、unsafe/safe/finalized head、故障证明博弈、canonical 提款、治理与快速退出。

更新于

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

直接答案

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

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

1
排序

排序器排列 L2 交易并发布交易数据或承诺。

运作方式

  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 迁移后，应重新分析。

计算示例

  • 派生数据载荷。 一个批次包含 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 请求仍受原有时钟与风险约束。

风险

  • 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 派生最终性、声明解决与资产到账。

常见误区

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

相关主题

来源

导航

搜索知识库...