核验清单
- 记下钱包文案与时间戳,标明这是软确认,不是 L1 包含。
- 在 L1 上找到包含该交易的批次或 blob,写下区块号与哈希。
- 核对该 L1 区块是否已被信标链最终确定;未最终确定不得写成已结算。
- 乐观挑战窗口只约束提款,不得并入口径写成入账已完成。
1. 绿勾是排序器收据,不是结算证明
中心化排序器先把交易排进自己的队列,再异步把批次或 blob 发到 L1。Optimism 对交易最终性的分层说明把「unsafe / safe / finalized」拆成三档:钱包常用的已确认,对应的是 unsafe 或预确认——排序器说收下了,L1 还没看见。把绿勾写成已结算,等于把一家运营方的内存状态,当成以太坊的共识结果。
这与本站看板时滞笔记不是同一问题。时滞问的是截图时钟是不是链上时钟;本笔记问的是:即便 L2 浏览器已经给出交易哈希,这笔哈希落在哪一口时钟上。三口时钟的会计单位不同:软确认以排序器日志为准;L1 包含以批次交易或 EIP-4844 blob 为准;最终性以信标检查点为准。
2. 教学案例:两秒绿勾,三十一分钟才最终确定
假设研究者在 T0 发出一笔 L2 转账。T0+2 秒钱包显示 Confirmed。T0+18 分钟,L1 出现包含该批次的区块,但该区块尚未最终确定。T0+31 分钟,信标链将该 L1 区块标记为 finalized。若研报在 T0+2 秒截图并写「跨链入账已完成,可计入当日仓位」,三口时钟有两口尚未发生。下表全部为教学假设。
| 时钟 | 读取对象 | 教学等待 | 可否写成已结算 |
|---|---|---|---|
| 软确认 | 钱包或排序器收据 | 约 2 秒 | 否,可被改写 |
| L1 包含 | 批次或 blob 所在区块 | 约 18 分钟 | 否,L1 仍可能重组 |
| L1 最终性 | 信标 finalized 检查点 | 约 31 分钟 | 入账口径可通过 |
| 乐观挑战窗 | 故障证明窗口 | 数天 | 只约束提款,不约束入账 |
2 秒与 31 分钟的差额不是界面延迟。大量安全性仍锁在 L1 共识里,不在排序器的内存池里。把钱包速度当成结算速度,等于把运营方的 SLA 写成协议保证。以太坊对乐观 Rollup 的说明也把排序器快速出块与主网发布拆开:前者服务体验,后者服务可验证性。
3. 三条路径怎么读,才不会把预确认当成最终性
第一层读钱包或 RPC 返回的状态字符串。必须原文照抄 Confirmed、Success、Safe,并记下客户端与时间戳。第二层读 L1:用交易哈希反查批次提交交易或 blob 版本哈希,确认目标 L2 交易确实被编进该批次。只看见 L2 浏览器有哈希、看不见 L1 包含,核验停在软确认。第三层读信标:按 PoS 最终性说明 核对该 L1 区块是否已进入 finalized 检查点,写下 epoch 或区块号,而不是抄「大约十五分钟」。
三条路径的失败模式不同。软确认失败是排序器审查、宕机或私下重排;L1 包含失败是批次尚未提交或 blob 丢失;最终性失败是 L1 重组。把三种失败写成同一个「还没到账」,会让后续排障从错误的层开始。
4. 筛选线:写成已结算必须看到 finalized 的 L1 区块
教学筛选是:研究笔记要把一笔 L2 转账写成已结算、可计入仓位或可触发下一笔操作,当且仅当 L1 上存在包含该交易的批次,且该 L1 区块已被最终确定。软确认只能写成「排序器已受理」。L1 已包含但未最终确定,写成「已发布、待最终性」。乐观挑战窗口另起一行,标注它只覆盖提款,不覆盖这笔入账是否发生。
该筛选不代替数据可用性核验,也不代替强制退出核验。那两篇问的是数据能否被取回、审查时能否自行离开。本笔记只回答:界面上的已确认,落在哪一口时钟。通过最终性筛选,也不等于对手方已经在另一条链认账——那是跨链消息的终局性问题,要另文对账。
5. 一份别人能复现的记录
最低字段包括:L2 链 ID、交易哈希、钱包文案与客户端、软确认时间戳、批次或 blob 的 L1 交易哈希、L1 区块号与哈希、该区块是否 finalized、从发到最终确定的分钟数、是否把已结算写进结论。L2 浏览器截图不能代替 L1 包含证明;RPC 查询要保存请求与返回,避免用另一次刷新拼行。
对账顺序固定为:软确认 → L1 包含 → L1 最终性 →(如涉及提款)挑战窗口。任何钱包「已确认」与 L1 包含对不上的缺口,列入未归因等待。未归因不是指控造假,只是禁止把缺口写进已核验的结算。需要付费归档节点才能稳定读历史 blob 时,把数据源等级写进记录。
6. 结论:已确认是三口时钟,不是一个形容词
加密研究的错误句式是「L2 已经确认,两秒到账」。更可靠的句子是「软确认 t1;L1 包含区块 B;finalized 时刻 t3;从发到 t3 的分钟数」。在这三个量写出来之前,用钱包绿勾去讨论「已经不可逆」,是把排序器的收据写成以太坊的最终性。
本文是分析框架和教学算例,未对任何 Rollup 或钱包做质量背书,不构成投资建议。