Аналіз всього процесу L2-трейдингу: аналіз безпеки на різних етапах

Торговля на L2 порівняно з L1 має один важливий крок: очікування, поки блоки L2 будуть завантажені в L1. На цьому етапі, оскільки дані ще не завантажені в L1, існує невизначеність, і користувачі можуть покладатися лише на "усну обіцянку", надану Sequencer, тобто Pre-Confirmation.

Процес підтвердження транзакцій основних L2 рішень такий:

Арбітраж/Оптимізм

Після відправлення транзакції користувач майже негайно отримує квитанцію про транзакцію, яка вказує, що Sequencer локально відсортував імітаційно виконав. Це є Pre-Confirmation.

Arbitrum Explorer відображає:

• "Підтверджено Sequencer": підтверджено лише Sequencer, не завантажено L1
• "X L1 Block Confirmations": Завантажено L1, далі приєднуються X блоків

Оптимізм Експлорер показує:

• "Підтверджено Секвенсером": Секвенсер підтвердив
• "L1 State Batch Index" та "L1 State Root Submission Tx Hash": пакетне завантаження L1 інформації
• "Фіналізовано": відповідає стану Finalized L1

СтаркНет

Процес статусу угоди:

1. Отримано: Трансакцію отримано та перевірено
2. В очікуванні: Sequencer обробляється
3. Прийнято на L2: Входить в L2 блок
4. Прийнято на L1: Дані завантажено на L1

Через тривалий процес генерації нульових доказів, завантаження L1 потребує 4-5 годин очікування, користувачі тривалий час покладаються на попереднє підтвердження.

zkSync

Стан процесу торгівлі:

1. PENDING: Очікування обробки Sequencer
2. zkSync Era Processed: увійшов до L2 блоку
3. Committed: Блок завантажено L1
4. Доведено: Дійсність блоків доведена
5. Виконано: Оновлення статусу L2 до L1

zkSync розділяє процес L2 до L1 на 3 етапи, забезпечуючи більш детальне відображення стану.

Підсумок

• У L2 торгівлі з'явився етап "очікування завантаження L1"
• На цьому етапі користувачі покладаються на попереднє підтвердження Sequencer
• Більшість L2 Explorer показують стан Pre-Confirmation
• Повне підтвердження потрібно чекати на завантаження даних L2 до L1
• Передпідтвердження може додати економічні стимули для підвищення надійності

Гарантія та ризики підтвердження транзакцій на різних етапах:

| Етап | L1 торгівля | L2 торгівля | |------|--------|--------| | Випуск угоди | Без гарантії | Без гарантії | | Вхід в mempool | Невелика гарантія | Невелика гарантія (, якщо є ) | | Попереднє підтвердження | - | Послідовник обіцяє |
| Вхід у блок | Сильна гарантія | Сильна гарантія L2 | | Завантажити L1 | - | Сильна гарантія L1 | | Багато підтверджень | Дуже сильна гарантія | Дуже сильна гарантія | | Остаточний | Найсильніша гарантія | Найсильніша гарантія |