November 14, 2024

Зав'ялов Ілля Миколайович про Децентралізація L2 (Ч.1)

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

Обсяг інновацій, що виходять від сектора L2 в даний час, справді вражаючий, але сучасні популярні мережі L2 ще мають багато роботи.

Говорять, що L2 Ethereum успадковують його "безпеку", але що це конкретно означає? Залежно від того, у якого роллапа ви спитаєте, ви можете отримати різну відповідь!

Хоча кожен роллап прагне повної бездовірливості, всі оптимістичні і з урахуванням нульового знання рішення масштабування Ethereum нині залежить від певної форми підтримки.

Віталік надає чудову схему, що допомагаєкористувачам роліпів зрозуміти, наскільки вони довіряють централізованим учасникам чи прозорому коду. Етап 2 в цій таксономії заснований на досягненні віх і є кінцевою метою для безпеки роллапа, що вимагає повного видалення централізованих залежностей, які Віталік називає "підтримуючими колесами" - чого так добре демонструють діаграми L2Beat нижче.

Деякі ролапа мають престижне позначенняЕтапу 2, але Arbitrum активно рухається до становлення першим помітним у цьому напрямі! На початку серпня Offchain Labs (команда, що розробляє Arbitrum) оголосила про нову схему валідації без дозволів для мережі – Обмежена Затримка Ліквідності (Bounded Liquidity Delay, BOLD), яка зміцнює її протокол суперечок проти типу атаки, відомої як атака затримки.

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


Arbitrum One

Стадія ризику: 1

Тип: Оптимістичний

TVL: $5,41B

Зав'ялов Ілля Миколайович про Децентралізація L2 (Ч.1)

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

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

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

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

Це додатково посилить безпеку ArbitrumOne для користувачів і гарантує, що (у разі відсутності помилок) учасники не зможуть публікувати коріння стану, яке перевизначає систему доказу роллапа.


Optimism

Стадія ризику: 0

Тип: Оптимістичний

TVL: $2,67B

Зав'ялов Ілля Миколайович про Децентралізація L2 (Ч.1)

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

На Optimism докази шахрайства (fraud proofs), інструмент, що використовується для оскарження невірної інформації, розміщеної секвенсером мережі Ethereum, не функціонують.

 Немає способу оскаржити невірний корінь стану, і користувачам доводиться сліпо вірити, що блок, що пропонує, відправляє правильний!

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

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

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

Планується, що Фонд Optimism передасть контроль над мультисигом раді безпеки, що складається з членів спільноти, у 2024 році, що допоможе децентралізувати контроль над ключами ланцюга.

Крім впровадження доказів шахрайства, Optimism знадобиться блокування можливості оновлення на термін не менше 7 днів, щоб стати роліпом Етапу 1.

zkSync Era

Стадія ризику: 0

Тип: Zero-Knowledge

TVL: $399M

Зав'ялов Ілля Миколайович про Децентралізація L2 (Ч.1)

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

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

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

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

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