Інвентар п'ятірки лідерів у треку Ethereum L2

Джерело: Bankless, складено: BitpushNews Mary Liu

Кажуть, що рішення Ethereum L2 успадковує «безпеку» Ethereum, але що це означає? Відповідь різниться залежно від зведеного пакету.

Хоча кожен Rollup прагне до повної довіри, усі оптимістичні рішення масштабування з нульовим знанням (ZK) на Ethereum наразі покладаються на ті чи інші «навчальні колеса».

Vitalik (V God) надає чудову структуру, яка допомагає користувачам зведених даних зрозуміти, що вони довіряють централізованим акторам або прозорому коду. Кінцева мета безпеки згортання — досягти етапу 2, що вимагає повного позбавлення від «навчальних коліс», згаданих у статті Віталіка — діаграма L2Beat, наведена нижче, гарно підсумовує це.

Кілька Rollups досягли Етапу 2, як визначено Віталіком, але Arbitrum робить кроки до того, щоб стати першим помітним. На початку серпня Offchain Labs (команда, яка створила Arbitrum) оголосила про нову схему бездозволової перевірки в ланцюжку — Delayed Bounded Liquidity (BOLD), яка зміцнює її суперечливий протокол проти атак типу «відмова в обслуговуванні».

Однак кожен L2 розвивається з різною швидкістю, і в цій статті буде розглянуто п’ять найбільших узагальнених L2 в Ethereum, які прагнуть усунути фактор ризику централізації під час згортання та рухатися до мети Етапу 2.

Рішення перше

Стадія ризику: 1 Тип: оптимістичний TVL (заблокована загальна вартість): 5,41 мільярда доларів

Arbitrum One успішно знизив ризик централізації більше, ніж будь-який інший ланцюг у цій статті, і якщо ArbitrumDAO прийме BOLD на One, ланцюжок стане зеленим для частини перевірки стану, але перехід до Фази 2 вимагатиме, щоб увесь графік ризиків змінився на зелений.

Покращення можливості оновлення вимагатиме двох змін. По-перше, затримку впровадження оновлень, ініційованих управлінням, потрібно збільшити з 12 до 30 днів. По-друге, жоден учасник не повинен оновлювати код Arbitrum за бажанням, якщо верифікація не є безпомилковою.

Останні навчальні колеса, Рада Безпеки Arbitrum, безпосередньо обираються DAO і мають можливість обійти управління для негайного впровадження оновлень. Незважаючи на всі зусилля Arbitrum One щодо зменшення ризику централізації, безпека мережевих активів усе ще залежить від чесності цього всемогутнього мультипідпису 9/12.

Враховуючи ризики, пов’язані з зведенням, комітет з безпеки вважається позитивним для екосистеми Arbitrum, але для переходу до фази 2 Arbitrum має обмежити його реагуванням лише на перевірені помилки в ланцюжку.

Це додатково захистить Arbitrum One користувачів і забезпечить (за відсутності помилок) те, що учасник не зможе видати stateRoot, який замінює систему перевірки зведення.

Оптимізм

Стадія ризику: 0 Тип: Оптимістичний

TVL: $2,67 млрд

Криптоспостерігачі зазвичай вважають, що Arbitrum і Optimism мають однакові гарантії безпеки, оскільки обидва використовують оптимістичні зведення. Користувачі, які піклуються про безпеку, знають, що це не може бути далі від істини!

З оптимістичної сторони докази шахрайства (інструменти, які використовуються для оскарження неправильної інформації, наданої замовником ланцюга в Ethereum) не працюють. Немає способу оскаржити неправильний stateRoot, користувачі повинні сліпо довіряти тому, що автор блоку надав правильний stateRoot.

Крім того, лише пропоненти з білого списку можуть публікувати stateRoot, а це означає, що якщо пропонент зазнає невдачі, не буде можливості вийти з Optimism на Ethereum L1.

Незважаючи на те, що підтвердження шахрайства наразі активно розробляється без чітких часових рамок для їх розгортання, вони мають вирішальне значення для децентралізації будь-якого Optimistic Rollup і необхідні для того, щоб Optimism перейшов за етап 0 у своїй поточній конфігурації.

Крім того, Optimism може вибрати бути зведеним пакетом з нульовими знаннями, реалізувавши докази дійсності. Лише минулого місяця фонд Optimism Foundation уклав контракти з двома командами на розробку модулів доказу нульового знання для OP Stack.

У 2024 році фонд Optimism Foundation планує передати контроль над multisig раді членів спільноти, що допоможе децентралізувати контроль над ключами ланцюга.

На додаток до впровадження захисту від шахрайства, Optimism вимагає принаймні 7-денного блокування оновлення, щоб стати фазою 1 зведення.

zkSync Era

Стадія ризику: 0 Тип: Нульове знання (ZK) TVL: $399 мільйонів

Докази з нульовим знанням гарантують, що кожен stateRoot, опублікований в Ethereum, є правильним і дозволяють сегментам перевірки стану бути зеленими, але користувачі zkSync все ще ризикують відмовити в замовнику або пропонаторі.

zkSync створює чергу для транзакцій, здійснених на L1, які замовник повинен обробити, щоб зменшити ризик цензури. Хоча це не гарантує, що транзакція включена, це означає, що якщо замовник цензурує або вимикає одного користувача, усі будуть закриті.

У майбутньому zkSync, окрім роботи над децентралізацією замовника, також оновить свою систему, щоб змусити замовника обробляти чергу транзакцій L1. Ці зусилля допоможуть зменшити ризики, пов’язані зі зловмисними або вимкненими секвенсорами.

Кожне оновлення зведеного стану з нульовим знанням супроводжується підтвердженням з нульовим знанням (ZKP), щоб гарантувати правильний вихід нового стану; це магія ZKP, але це означає, що єдиний спосіб включити транзакцію – це включити його до згенерованого доказу У , підвищена децентралізація zkSync вимагатиме від будь-кого створення доказів без використання оператора централізованого зведення.

Подібно до Arbitrum і Optimism від Optimistic, zkSync має запровадити блокування часу оновлення та обмеження на мультипідписи, щоб зменшити ризик можливості оновлення.

База

Стадія ризику: 0 Тип: Оптимістичний

TVL: 246 мільйонів доларів

Помітили, як однаково виглядають графіки ризиків для Optimism і Base?

Це пояснюється тим, що всі вони побудовані з однієї блокчейн-цегли Lego: OP Stack. Замість створення спеціального рішення Coinbase вирішила розробити L2 на основі модульного зведеного фреймворку Optimism.

Успіхи в децентралізації дозволять Coinbase посилити гарантії безпеки для користувачів, що означає, що Base може піти подібним шляхом безпеки, як Optimism, реалізуючи інновації OP Stack, такі як шахрайство або докази нульового знання (коли вони стануть доступними).

Старкнет

Стадія ризику: 0 Тип: Нульове знання TVL: 110 мільйонів доларів

Zero-knowledge rollup стикається з іншими проблемами, ніж його оптимістичні колеги. У той час як ZKP гарантує, що кожен кореневий стан, опублікований в Ethereum, є правильним і дозволяє перевірці стану бути частково зеленим, зведені пакети з нульовими знаннями стикаються з власними проблемами щодо зменшення ризику відмови замовника або пропонента.

Надання «аварійного люка» для користувачів має вирішальне значення для посилення ненадійної природи Starknet, і його можна досягти, дозволивши користувачам примусово здійснювати транзакції або виходити на рівень L1 у разі збою секвенсора або перевірки. Наразі в Starknet не ввімкнуто жодних аварійних люків, але ввімкнення лише одного значною мірою відрізало б користувачів від централізованих операторів агрегації.

Примушення мережі приймати транзакції відкриває двері для атак на відмову в обслуговуванні, якщо зловмисник змушує мережу спробувати прийняти недійсні транзакції. Реалізація спочатку вимагає створення доказів без проходження перевірки StarkWare, і щоб усі транзакції в Starknet могли бути засвідчені.

В якості альтернативи Starknet може вибрати рішення для зв’язку, відоме як «аварійний люк для програми». Це рішення можна впровадити сьогодні, але за рахунок простоти мережі, оскільки воно вимагає впровадження реєстру облікових записів Ethereum-to-Starknet і механізму передачі контролю над активами в L2 смарт-контрактам L1 rollup.

Як і всі перелічені вище ланцюжки, Starknet має запровадити блокування часу оновлення та обмеження для multisig, щоб зменшити ризик можливості оновлення.

31 серпня Starknet повністю відкриє вихідний код свого прувера, що, за словами команди, допоможе знизити ризик помилок замовника або пропонента, дозволяючи користувачам надсилати власні докази.