Полный анализ процесса L2-трейдинга: анализ безопасности на каждом этапе

В交易 L2 по сравнению с交易 L1 добавлен один важный шаг: ожидание загрузки блоков L2 в L1. На этом этапе, поскольку данные еще не загружены в L1, существует неопределенность, и пользователи могут полагаться только на "устные обязательства", предоставленные Sequencer, то есть Pre-Confirmation.

Процесс подтверждения транзакций в основных решениях L2 выглядит следующим образом:

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

После отправки транзакции пользователи почти сразу получают квитанцию о транзакции, которая указывает, что Sequencer локально отсортировал и смоделировал выполнение. Это является Предварительным Подтверждением.

Arbitrum Explorer показывает:

• "Подтверждено Sequencer": подтверждено только Sequencer, не загружено на L1
• "X L1 Block Confirmations": L1 загружен, далее подключено X блоков

Оптимизм Эксплорер показывает:

• "Подтверждено Sequencer": Sequencer подтвердил
• "L1 State Batch Index" и "L1 State Root Submission Tx Hash": пакетная загрузка информации L1
• "Finalized": соответствует состоянию 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 | Небольшая гарантия | Небольшая гарантия ( при наличии ) | | Предварительное подтверждение | - | Обещание Sequencer | | Вход в блок | Сильная гарантия | Сильная гарантия L2 | | Загрузить L1 | - | Сильная гарантия L1 | | Много подтверждений | Очень сильная гарантия | Очень сильная гарантия | | Завершено | Самая сильная гарантия | Самая сильная гарантия |