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進行懲罰,爲用戶提供更強保障。