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

L2交易相比L1交易多了一个环节,即"L2交易被收进L2区块,并等待上传至L1"。在这个阶段,数据还未上传至L1,用户只能依赖Sequencer提供的口头承诺,即所谓的Pre-Confirmation或Fast Confirmation、Soft Confirmation。

目前主流L2项目在其区块浏览器中都会显示Pre-Confirmation状态:

• Arbitrum/Optimism: "Confirmed by Sequencer"
• StarkNet: "Accepted on L2"
• zkSync: "zkSync Era Processed"

这些状态仅代表Sequencer的承诺,并不能完全保证交易最终会被收录。如果Sequencer存在恶意或出现bug,可能导致交易未被确认。

要获得更高的确定性,用户需要等待更长时间,直到L2数据被上传至L1并得到足够的确认。不同L2项目在这方面的处理各有特色:

• Optimism提供了L1 Finality信息,用户可直接看到对应L1区块是否已被Finalized
• zkSync将L2到L1的过程细分为Committed、Proven、Executed三个阶段,并提供详细的状态展示

总的来说,L2交易在不同阶段提供的确认程度和对应风险如下:

1. Pre-Confirmation: 仅Sequencer承诺,风险较高
2. 上传至L1: 基本确认,但仍存在L1 Re-org风险
3. L1充分确认: 最终确认,风险极低

未来可能会出现带经济激励的Pre-Confirmation机制,通过智能合约对违反承诺的Sequencer进行惩罚,为用户提供更强保障。