L2交易实现全流程解析:各阶段安全性分析

L2交易相比L1交易多了一个重要步骤:等待L2区块被上传至L1。在这个阶段,由于数据还未上传L1,存在不确定性,用户只能依赖Sequencer提供的"口头承诺",即Pre-Confirmation。

主流L2解决方案的交易确认流程如下:

Arbitrum/Optimism

交易发送后,用户几乎立即获得交易收据,表明Sequencer已本地排序并模拟执行。这是一种Pre-Confirmation。

Arbitrum Explorer显示:

• "Confirmed by Sequencer":仅由Sequencer确认,未上传L1
• "X L1 Block Confirmations":已上传L1,后续接X个区块

Optimism Explorer显示:

• "Confirmed by Sequencer":Sequencer已确认
• "L1 State Batch Index"和"L1 State Root Submission Tx Hash":批次上传L1信息
• "Finalized":对应L1的Finalized状态

StarkNet

交易状态流程:

1. Received:交易已接收并验证
2. Pending:Sequencer处理中
3. Accepted on L2:已进入L2区块
4. Accepted on L1:数据已上传L1

由于生成零知识证明耗时,上传L1需等待4-5小时,用户较长时间依赖Pre-Confirmation。

zkSync

交易状态流程:

1. PENDING:等待Sequencer处理
2. zkSync Era Processed:已进入L2区块
3. Committed:区块已上传L1
4. Proven:区块有效性已证明
5. Executed:L2状态更新至L1

zkSync将L2到L1过程细分为3个阶段,提供更详细的状态展示。

总结

• L2交易多了"等待上传L1"的步骤
• 该阶段用户依赖Sequencer的Pre-Confirmation
• 大部分L2 Explorer都展示Pre-Confirmation状态
• 完全确认需等待L2数据上传L1
• Pre-Confirmation可加入经济激励机制提高可靠性

不同阶段的交易确认保证及风险:

| 阶段 | L1交易 | L2交易 | |------|--------|--------| | 交易发出 | 无保证 | 无保证 | | 进入mempool | 轻微保证 | 轻微保证(如有) | | Pre-Confirmation | - | Sequencer承诺 |
| 进入区块 | 较强保证 | L2较强保证 | | 上传L1 | - | L1较强保证 | | 多个确认 | 非常强保证 | 非常强保证 | | Finalized | 最强保证 | 最强保证 |