Linea переходить на RISC-V, переосмислюючи майбутнє підтвердження Ethereum.

Лінея заявила, що переходить на нову архітектуру доказування, побудовану навколо RISC-V, що є значним зміщенням у тому, як проект Ethereum layer-2 планує масштабувати, перевіряти та розвивати свій технологічний стек. Протягом багатьох років криптографічна команда Лінеї обрала, як вона описує, важкий шлях: безпосередньо арифметизуючи Ethereum Virtual Machine, або EVM, вручну перекладаючи кожен opcode в математичні обмеження, які провайдер міг би верифікувати.

Цей підхід допоміг проекту досягти основної мережі і створив специфікацію з більш ніж 1000 сторінок, яка стала орієнтиром для більшої екосистеми. Це також дало команді глибоке практичне розуміння внутрішньої роботи EVM, яке мало хто з проектів може зрівняти. Але, за словами Лінеї, та сама конструкція, яка довела її до цього етапу, також стала тягарем.

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

Компанія тепер стверджує, що RISC-V пропонує чистіший і швидший спосіб побудови шару доказування. У порівнянні з більш складною і динамічною моделлю стану EVM, RISC-V є набагато простішим набором команд, з 32 реєстрами та приблизно 40 інструкціями. Для системи доказування Лінея стверджує, що ця різниця має негайне значення.

Сліди стають вужчими, можуть генеруватися в реальному часі і дозволяють провайдеру почати працювати над частинами доказів раніше. У практичному сенсі архітектура спроектована так, щоб бути легшою, простішою для обробки та більш ефективною для роботи в масштабах. RISC-V також закриває прогалину сумісності, яку Лінея стверджує, що було важко вирішити через безпосередню арифметизацію EVM.

Сьогодні Лінея використовує Poseidon замість Keccak і підтримує власне представлення стану. Досягнення сумісності Ethereum типу-1 старим способом вимагало б ручного побудування Keccak, RLP і Merkle Patricia Trie в систему обмежень. Завдяки RISC-V Лінея стверджує, що стандартний клієнт EVM може бути скомпільований в бінарний файл RISC-V, залишаючи компілятору обробляти ці деталі та забезпечуючи сумісність типу-1 з самого початку.

Цей крок також відображає бачення Лінеї щодо власного напрямку Ethereum. Проект стверджує, що зобов’язання Фонду Ethereum до RISC-V є найбільш чітким знаком того, яким може бути шар доказування Ethereum у майбутньому, і які системи найімовірніше впишуться в закріплену модель rollup. Продовження слідувати своїм попереднім шляхом, стверджує Лінея, відштовхнуло б її від дорожньої карти L1, на що вона не була готова.

Стратегічний перехід у доказуванні (Strategic Proving Shift)

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

Важливо, що проект стверджує, що зміна не скасовує те, що вже було створено. Її мова обмежень, zkC, буде використана для написання віртуальної машини RISC-V. Vortex і Arcane, шари доказування та агрегації, описуються як незалежні від архітектури, що означає, що вони можуть продовжувати обслуговувати стек під новим дизайном. Лінея також будує сумісність формальної перевірки з самого початку, з обмеженнями, спроектованими для експорту в такі інструменти, як Lean.

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

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

Повідомлення Лінеї чітке: проект вважає, що RISC-V є не лише оновленням продуктивності, але й більш відкритою та стійкою основою для наступного етапу масштабування Ethereum. Вона стверджує, що нова архітектура легша для підтримки, легша для аудиту і легша для розуміння та внесення внесків з боку ширшої спільноти.

Компанія стверджує, що цей крок стосується не лише швидкості. Це про створення стеку, який може існувати поза межами будь-якої окремої команди. Більше деталей очікується незабаром, але наразі Лінея сигналізує, що її наступна глава буде визначена менше складністю і більше модульністю, сумісністю та узгодженістю з довгостроковим напрямком Ethereum.