Подорож Linea до прогресивної децентралізації: ключ до мінімізації довіри за допомогою технології нульового знання

Модульна архітектура блокчейну призвела до кембрійського вибуху рішень для масштабування, і, незважаючи на першокласні переваги оптимістичних зведень, зведені з нульовими знаннями (ZK) вишикуються в чергу, щоб зайняти своє місце на троні. Зведені пакети zkEVM, які часто називають «святим граалем масштабування», оскільки вони пропонують такий самий досвід розробника, як і Ethereum, сьогодні доступні в основній мережі. Це не гіпотетичне майбутнє; Тепер ми можемо обробляти великі обсяги транзакцій за низькими витратами на Рівні 2 і завершувати кінцевий перехід стану на децентралізованому Рівні 1 за лічені хвилини. Існуючим розробникам Solidity не потрібно вивчати нові мови програмування, відкривати нові інструменти або навіть переписувати та перевіряти свої існуючі прикладні програми, щоб використовувати цю нову технологію. Розгортання вашого dapp у повністю еквівалентному EVM зведеному пакеті zkEVM так само просто, як копіювання.

Але ця технологія масштабування має свою ціну. Усі зведення, включаючи ZK-зведення та zkEVM, мають єдиного оператора. Ключі оновлення для смарт-контрактів ще недостатньо децентралізовані, і в більшості випадків основна команда має можливість оновити зведений пакет після періоду очікування. Ці «навчальні колеса» є необхідним запобіжним заходом для захисту активів користувачів, враховуючи відносну незрілість технології.

Щоб подолати розрив між тим, де ми є сьогодні, і тим, де ми маємо бути в майбутньому, тому всім командам Rollup є обов’язковим окреслити свої плани щодо поступової децентралізації та мінімізації довіри. У Linea перед запуском нашої Mainnet Alpha для громадськості 18 липня, ми представили 5-етапний план про те, як ми збираємося видалити наші навчальні колеса та надати зріле зведене рішення, повністю захищене Ethereum. Лінія це зручний для розробників Type-2 zkEVM, створений провідною компанією Consensys, що займається інфраструктурою web3.

ZK-зведення за своєю суттю пропонують кращі гарантії безпеки, ніж оптимістичні зведення, оскільки вони покладаються на криптографію, а не на криптоекономіку для захисту бази даних. Розумні контракти на Ethereum перевіряють доказ дійсності, опублікований зведенням, щоб підтвердити цілісність запропонованого переходу стану. Для zkEVM це вимагає перевірки всіх існуючих кодів операцій і попередніх компіляцій EVM на Рівні 2. Лише за кілька місяців, як частина початкової фази, Linea запропонує 100% охоплення всіх можливих виконання, щоб будь-який користувач або Щоб переконатися, що зловмисної поведінки не було, dapp достатньо довіряти доказовій перевірці на Ethereum. Програмне забезпечення та схеми з нульовими знаннями будуть відкритими для будь-кого, хто зможе їх самостійно перевірити. Ліцензування дозволить користувачам переглядати, змінювати та розгалужувати код, гарантуючи, що спільнота Linea зможе діяти, якщо основна команда коли-небудь ухилятиметься від наміченої місії.

Ще одним ключовим кроком на шляху до мінімізації довіри є надання користувачам можливості вилучати свої активи зі зведення через Рівень 1. У випадку, якщо оператор зведення вирішує цензурувати транзакцію користувача на Рівні 2 або просто стає недоступним, повинен існувати механізм, який гарантує вихід із системи без дозволу. Це одна з причин, чому зведення є фактичним рішенням масштабування для Ethereum, оскільки вони вирішують цю фундаментальну проблему доступності даних. Linea планує ввімкнути стійкі до цензури вилучення коштів на другому етапі своєї дорожньої карти.

Фаза 3 відзначає децентралізацію Linea ключових операційних компонентів у її архітектурі та демократизацію системи управління. Децентралізація операторів, таких як перевірки та секвенсори, зміцнює довіру між учасниками мережі, зменшуючи залежність від централізованих об’єктів. Існує багато технічних і операційних проблем, оскільки нам потрібно враховувати консенсус, MEV, продуктивність і UX. Жодне зведене рішення ще не децентралізувало своїх операторів, і ми, ймовірно, побачимо розбіжності між системами, оскільки цінності та принципи кожної екосистеми будуть переведені в основну архітектуру.

На останньому етапі, етапі 4, Linea зосередиться на реалізації концепції зведення кількох перевірок, що включає кілька різноманітних реалізацій прувера zkEVM. Навіть у разі потенційних помилок або проблем з доступністю використання кількох різнорідних пруверів забезпечить безперебійну роботу та гарантію, що єдина точка відмови не призведе до серйозної помилки в системі. Ця різноманітність пруверів є ще більш важливою, оскільки специфікація EVM, керована спільнотою Ethereum, продовжує розвиватися, а схеми ZK потрібно оновлювати та перевіряти відповідно.

Multi-prover — це найшвидший шлях до повного усунення тренувальних коліс і, ймовірно, стане переломним моментом для заспокоєння хвилі ліквідності та заохочення компаній, які не схильні до ризику, увійти в публічну парадигму блокчейну. У багатьох існуючих рішеннях zkEVM використано короткі шляхи, які ускладнюють технічно реалізацію мультипровера, але Linea з самого початку була розроблена так, щоб бути максимально наближеною до специфікації EVM.

Немає сумніву, що ZK-rollups і zkEVMs тут. Linea — це новий zkEVM, який працює в основній мережі, який прозоро повідомляє про свій поточний стан зрілості та має чіткий шлях до децентралізації та мінімізації довіри. Ми вже бачимо переваги масштабованості, але ще потрібно попрацювати, щоб видалити навчальні колеса. Ми віримо, що, зосередившись на кінцевій меті з самого початку, ми маємо унікальну можливість стати першим зведеним пакетом zkEVM, який реалізує повне бачення масштабування Ethereum.