Переосмислення L2: Час для нової основи в блокчейнах

Компроміс L2 зламано, час для кращої основи | Думка

Розголошення: Вигляди та думки, висловлені тут, належать виключно автору і не представляють поглядів та думок редакції crypto.news.

Другий квартал 2025 року став моментом істини для масштабування блокчейнів, і оскільки капітал продовжує надходити в ролапи та сайдчейни, тріщини в моделі другого рівня (L2) розширюються. Оригінальна обіцянка L2 була простою: масштабування L1, але витрати, затримки та фрагментація ліквідності та користувацького досвіду продовжують накопичуватися.

Резюме

L2 мали на меті масштабувати Ethereum, але вони внесли нові проблеми, покладаючись на централізовані секвенсери, які можуть стати одиничними точками відмови. В основі L2 лежать секвенування та обчислення стану, використовуючи оптимістичні або ZK ролапи для врегулювання на L1. Кожен з них має свої торгові переваги: довга остаточність в оптимістичних ролапах і висока вартість обчислень в ZK ролапах. Майбутня ефективність полягає у відокремленні обчислень від підтвердження — використовуючи централізовані суперкомп`ютери для обчислення та децентралізовані мережі для паралельної перевірки, що дозволяє масштабуватися без шкоди для безпеки. Модель “загального порядку” блокчейнів застаріла; перехід до локального, облікового порядку може відкрити величезний паралелізм, поклавши край “компромісу L2” і проклавши шлях для масштабованої, готової до майбутнього основи web3.

Нові проекти, такі як платежі зі стейблкоїнами, починають ставити під сумнів парадигму L2, запитуючи, чи дійсно L2 захищені, і чи їх секвенсери більше схожі на одиничні точки відмови та цензури? Часто вони дійдуть до песимістичного висновку, що фрагментація просто неминуча в web3.

Чи будуємо ми майбутнє на міцному фундаменті чи на “домі з карт”? L2 повинні зіткнутися з цими питаннями та дати на них відповіді. Адже, якщо базовий консенсусний шар Ethereum (ETH) був би в основі швидким, дешевим і безмежно масштабованим, то вся екосистема L2, яку ми знаємо зараз, стала б зайвою. Безліч ролапів і сайдчейнів були запропоновані як “доповнення до L1”, щоб пом’якшити основні обмеження підлягаючих L1. Це форма технічного боргу, складний, фрагментований обхід, який скинуто на користувачів і розробників web3.

Анатомія L2

Структура визначає функцію. Це базовий принцип в біології, який також дотримується в комп`ютерних системах. Щоб визначити правильну структуру і архітектуру L2, ми повинні уважно розглянути їх функції.

В своїй основі, кожен L2 виконує дві критичні функції: секвенування, тобто упорядкування транзакцій, а також обчислення та підтвердження нового стану. Секвенсер, будь то централізована сутність або децентралізована мережа, збирає, упорядковує і групує транзакції користувачів. Ця партія потім виконується, в результаті чого отримується оновлений стан (наприклад, нові баланси токенів). Цей стан повинен бути завершений на L1 для безпеки через оптимістичні або ZK ролапи.

Оптимістичні ролапи припускають, що всі переходи стану дійсні, і покладаються на період виклику (часто 7 днів), протягом якого будь-хто може подати докази шахрайства. Це створює великий компроміс в користувацькому досвіді, довгі часи остаточності. ZK ролапи використовують докази з нульовими знаннями для математичної перевірки правильності кожного переходу стану до того, як він потрапить на L1, забезпечуючи майже миттєву остаточність. Компроміс в тому, що вони енергоємні та складні для побудови. Самі ZK провери можуть бути “глючними”, що призводить до катастрофічних наслідків, а формальна перевірка з цих, якщо це взагалі можливо, є дуже дорогою.

Секвенування є вибором управління та дизайну для кожного L2. Деякі віддають перевагу централізованому рішення для ефективності (або, можливо, для тих повноважень цензури; хто знає), тоді як інші обирають децентралізоване рішення для більшої справедливості та надійності. Врешті-решт, L2 вирішують, як вони хочуть зробити своє секвенування.

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

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

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

Після секвенування та перевірки стану, робота L2 майже завершена. Останній етап полягає в публікації перевіреного стану в децентралізовану мережу, L1, для остаточного врегулювання та безпеки.

Цей останній етап виявляє слона в кімнаті: блокчейни є жахливими шарами завершення для L2! Основна обчислювальна робота виконується оффчейн, однак L2 повинні платити величезну надбавку, щоб завершити на L1. Вони стикаються з подвійним перевантаженням: обмежений пропуск L1, обтяжений своєю загальною, лінійною упорядкованістю всіх транзакцій, створює затори та високі витрати на публікацію даних. Більш того, їм потрібно витримати затримку остаточності L1.

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

З моменту виникнення Bitcoin (BTC) люди намагалися втиснути всі транзакції блокчейну в один загальний порядок. Ми ж говоримо про блокчейни! На жаль, ця парадигма “загального порядку” є затратним міфом і явно є надмірною для завершення L2. Яка іронія в тому, що одна з найбільших децентралізованих мереж у світі та комп`ютер світу поводиться так, як звичайний однонитковий настільний комп`ютер!

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

Глобальне упорядкування, звісно, передбачає локальне упорядкування, але це також неймовірно наївне і спрощене рішення. Після 15 років “блокчейн” настав час відкрити очі і виготовити кращий майбутній підхід. Наукова сфера розподілених систем вже перейшла від концепції сильної узгодженості 1980-х (яку реалізують блокчейни) до моделі сильної остаточної узгодженості 2015 року, яка розвиває паралелізм та конкурентність. Час для індустрії web3 також рухатися далі, залишаючи минуле позаду і слідувати науковому прогресу з орієнтацією на майбутнє.

Епоха компромісу L2 закінчилася. Час будувати на основі, розробленій для майбутнього, з якої прийде наступна хвиля прийняття web3.

Читати далі: Web3 відкритий, прозорий і жахливий для розробки | Думка

Сяохон Чен

Сяохон Чен є технічним директором компанії Pi Squared Inc., працюючи над швидкими, паралельними та децентралізованими системами для платежів і врегулювання. Його інтереси включають правильність програм, доведення теорем, масштабовані ZK рішення та застосування цих технік до всіх мов програмування. Сяохон отримав ступінь бакалавра математики в Пекінському університеті та доктора наук з комп`ютерних наук в університеті Іллінойс в Урбана-Шампейн.