Phân tích toàn bộ quy trình giao dịch L2: Phân tích an toàn ở các giai đoạn khác nhau

Giao dịch L2 so với giao dịch L1 có thêm một bước quan trọng: chờ đợi khối L2 được tải lên L1. Trong giai đoạn này, do dữ liệu vẫn chưa được tải lên L1, có sự không chắc chắn, người dùng chỉ có thể dựa vào "cam kết miệng" do Sequencer cung cấp, tức là Pre-Confirmation.

Quy trình xác nhận giao dịch của các giải pháp L2 chính thống như sau:

Arbitrum/Optimism

Sau khi giao dịch được gửi, người dùng gần như ngay lập tức nhận được biên lai giao dịch, cho thấy Sequencer đã sắp xếp và thực hiện mô phỏng tại chỗ. Đây là một dạng Pre-Confirmation.

Arbitrum Explorer hiển thị:

• "Được xác nhận bởi Sequencer": chỉ được Sequencer xác nhận, chưa được tải lên L1
• "X L1 Block Confirmations": Đã tải lên L1, sẽ tiếp theo là X khối

Optimism Explorer hiển thị:

• "Đã được xác nhận bởi Sequencer": Sequencer đã xác nhận
• "L1 State Batch Index" và "L1 State Root Submission Tx Hash": tải lên thông tin L1 theo lô
• "Finalized": trạng thái Finalized tương ứng với L1

StarkNet

Quy trình trạng thái giao dịch:

1. Đã nhận: Giao dịch đã được tiếp nhận và xác minh
2. Đang chờ: Sequencer đang xử lý
3. Đã chấp nhận trên L2: đã vào khu vực L2
4. Đã chấp nhận trên L1: Dữ liệu đã được tải lên L1

Do việc tạo chứng minh không có kiến thức tốn thời gian, việc tải lên L1 phải chờ 4-5 giờ, người dùng phụ thuộc khá lâu vào Pre-Confirmation.

zkSync

Quy trình trạng thái giao dịch:

1. PENDING: Đang chờ Sequencer xử lý
2. zkSync Era Processed: đã vào L2 khối
3. Cam kết: Khối đã được tải lên L1
4. Đã chứng minh: Tính hợp lệ của khối đã được chứng minh
5. Thực hiện: Cập nhật trạng thái L2 lên L1

zkSync đã chia quá trình L2 đến L1 thành 3 giai đoạn, cung cấp hiển thị trạng thái chi tiết hơn.

Tóm tắt

• Giao dịch L2 nhiều bước "đợi tải lên L1"
• Giai đoạn này người dùng phụ thuộc vào Pre-Confirmation của Sequencer
• Hầu hết các L2 Explorer đều hiển thị trạng thái Pre-Confirmation
• Cần chờ dữ liệu L2 được tải lên L1 để xác nhận hoàn toàn
• Pre-Confirmation có thể thêm cơ chế khuyến khích kinh tế để nâng cao độ tin cậy

Đảm bảo và rủi ro xác nhận giao dịch ở các giai đoạn khác nhau:

| Giai đoạn | Giao dịch L1 | Giao dịch L2 | |------|--------|--------| | Giao dịch đã phát hành | Không có bảo đảm | Không có bảo đảm | | Vào mempool | Đảm bảo nhẹ | Đảm bảo nhẹ ( nếu có ) | | Xác Nhận Trước | - | Sequencer cam kết | | Vào khu vực | Đảm bảo mạnh | Đảm bảo mạnh L2 | | Tải lên L1 | - | Bảo đảm L1 mạnh hơn | | Nhiều xác nhận | Đảm bảo rất mạnh | Đảm bảo rất mạnh | | Cuối cùng | Bảo đảm mạnh nhất | Bảo đảm mạnh nhất |