Анализ безопасности на всех этапах реализации полного процесса L2交易

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

В настоящее время основные проекты L2 отображают статус Pre-Confirmation в своих блокчейн-обозревателях:

• Arbitrum/Optimism: "Подтверждено последовательным исполнителем"
• StarkNet: "Принято на L2"
• zkSync: "Обработано zkSync Era"

Эти состояния представляют собой лишь обязательства Sequencer и не могут полностью гарантировать, что транзакция будет окончательно зафиксирована. Если у Sequencer есть злонамеренные намерения или возникает ошибка, это может привести к тому, что транзакция не будет подтверждена.

Чтобы получить более высокую степень уверенности, пользователям необходимо ждать дольше, пока данные L2 будут загружены в L1 и получат достаточное подтверждение. Разные проекты L2 имеют свои особенности в этом отношении:

• Optimism предоставляет информацию о L1 Finality, пользователи могут напрямую видеть, был ли соответствующий L1 блок завершен.
• zkSync разделяет процесс L2 на L1 на три этапа: Committed, Proven, Executed и предоставляет подробное отображение состояния.

В общем, степень подтверждения и соответствующие риски L2-транзакций на разных этапах следующие:

1. Предварительное подтверждение: только обещание Sequencer, риск выше
2. Загрузка на L1: базовое подтверждение, но все еще существует риск реорганизации L1
3. L1 полное подтверждение: окончательное подтверждение, риск крайне низкий

В будущем может появиться механизм предварительного подтверждения с экономическими стимулами, который будет наказывать секвенсоры за нарушение обязательств с помощью смарт-контрактов, предоставляя пользователям более надежную защиту.