Аналіз виконання транзакцій Рівня 2: оцінка безпеки на різних етапах

Рівень 2(L2) технологія принесла Ethereum вищу масштабованість, але одночасно збільшила складність підтвердження транзакцій. У цій статті буде детально описано повний процес виконання L2 транзакцій та проаналізовано безпеку на кожному етапі.

Огляд процесу торгівлі L1

Користувачеві потрібно чекати, поки майнери або валідатори запакують його транзакцію в блок після її відправлення. Навіть якщо транзакція вже запакована, необхідно дочекатися певної кількості підтверджувальних блоків, щоб зменшити ризик повторної організації (Re-org). Тільки коли ймовірність повторної організації буде достатньо низькою, транзакцію можна вважати остаточно підтвердженою.

Докладний процес торгівлі на Рівні 2

Процес торгівлі на Рівні 2, на відміну від Рівня 1, має ще один етап:

1. Користувач надсилає транзакцію до Sequencer
2. Sequencer упакує транзакції в блоки Рівня 2
3. Sequencer подає дані L2 блоків до L1
4. Очікування підтвердження L1

Зокрема, кроки 2-3 є унікальними для Рівня 2. На цьому етапі угода ще не зафіксована в блокчейні, користувачі можуть покладатися лише на обіцянки Секвенсера, що називається "попереднє підтвердження"(Pre-Confirmation).

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

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

• Транзакція майже миттєво отримує квитанцію, це попереднє підтвердження Sequencer.
• Explorer покаже статус транзакції, включаючи "Підтверджено Sequencer" та кількість підтверджень L1
• Optimism також відображатиме стан L1 Finality

Компанія StarkNet

• Статус транзакції включає Received, Pending, Accepted on L2, Accepted on L1
• Час підтвердження з Рівня 2 на Рівень 1 довший, приблизно 4-5 годин
• Explorer не відображає інформацію про L1 Finality

zkSync

• Статуси транзакцій: «Очікується», «zkSync Ера обробляється», «Комітовано», «Доведено», «Виконано»
• Розділіть процес переходу з Рівня 2 на Рівень 1 на три етапи
• Explorer надає детальну інформацію про кожен етап

Механізм попереднього підтвердження L1

Якщо можна заздалегідь дізнатися про блокотворця, L1 також може підтримувати попереднє підтвердження. У структурі PBS Builder може надавати послуги попереднього підтвердження, але їхня ефективність є нижчою. У майбутньому, якщо Proposer зможе брати участь у створенні блоків, механізм попереднього підтвердження може стати більш надійним.

Покращення механізму попереднього підтвердження

Можна через смарт-контракти дозволити Builder або Sequencer внести депозит і підписати зміст зобов'язання. Якщо зобов'язання порушено, користувач може подати докази і покарати іншу сторону, підвищуючи достовірність попереднього підтвердження.

Підсумок

• Торгівля на Рівні 2 має додаткову стадію очікування завантаження на Рівень 1
• Перед завантаженням L1 користувач може покладатися лише на попереднє підтвердження від Sequencer
• Більшість L2 Explorer показують стан попереднього підтвердження
• Очікування завантаження даних L2 на L1 є найзручнішим способом.
• Можна підвищити надійність попереднього підтвердження через економічні механізми стимулювання.

Нижче наведено таблицю, яка підсумовує гарантії підтвердження та ризики L1 та Рівень 2 під час різних етапів:

| Етап | L1 торгівля | Рівень 2 торгівля | |------|--------|--------| | Відправити транзакцію | Без гарантій | Без гарантій | | Попереднє підтвердження | Builder зобов'язується ( у майбутньому можливому ) | Sequencer зобов'язується | | Упаковка блоків | Висока гарантія | Середня гарантія ( залежить від Sequencer ) | | Завантажити L1 | - | Висока гарантія | | Кілька підтверджень | Дуже висока гарантія | Дуже висока гарантія | | Остаточне підтвердження | Найвища гарантія | Найвища гарантія |