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

TLDR:

Зміст

Перемикач

• TLDR:

• Простішa система команд змінює все

• Що переходить у новий стек

• Перехід Linea на RISC-V зменшує складність інструкцій із повного набору opcode в EVM до приблизно 40 інструкцій.

• Кожний попередній хардфорк Ethereum раніше змушував повністю переписувати ZK-модулі обмежень Linea в межах старої системи.

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

• Linea зберігає zkC, Vortex і Arcane у новому стеку, зберігаючи роки криптографічних досліджень і виробничого досвіду.

Linea, мережа Ethereum Layer 2, розроблена ConsenSys, переходить від прямої еймівської арифметизації до архітектури доведення на базі RISC-V.

Команда витратила три роки на створення однієї з найстрогіших систем ZK-доведення в продакшені. Ця робота породила специфікацію на 1 000 сторінок, яка стала референсом для екосистеми.

Однак такий підхід створив проблеми з обслуговуванням, що уповільнили прогрес. Перехід на RISC-V — це стратегічний перезапуск, зосереджений на продуктивності, модульності та узгодженні з Ethereum.

Простішa система команд змінює все

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

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

Кожний попередній хардфорк Ethereum вимагав повних переписувань модулів обмежень Linea. Це навантаження з обслуговування витрачало значні дослідницькі можливості.

Команда керувала складністю замість того, щоб розвивати криптографічну продуктивність. Перехід на RISC-V прибирає цей цикл повністю.

Сумісність із Ethereum типу 1 була ще одним головним бар’єром у межах старої архітектури. Для її досягнення потрібно було вручну реалізувати Keccak, RLP і Merkle Patricia Trie безпосередньо в обмеженнях.

З RISC-V стандартний клієнт EVM компілюється безпосередньо в бінарний файл RISC-V, а компілятор автоматично обробляє сумісність.

Криптографічний дослідник Linea Alexandre Belling представив перехід на конференції eth_proofs. Як Linea опублікувала в X, команда рухається до «справжньої модульності», де кожен рівень можна незалежно бенчмаркувати, аудіювати або замінювати. Це не було досяжно з тісно пов’язаною системою, яка використовувалася раніше.

Наш криптографічний дослідник @alexand_belling вчора розкрив на @eth_proofs, що Linea переходить на RISC-V.

Після 3 років прямої арифметизації EVM, створення специфікації на 1000+ сторінок і однієї з найстрогіших систем доведення в продакшені, ми змінюємо курс.

Ось… pic.twitter.com/jXIF5mZaPT

— Linea.eth (@LineaBuild) 29 березня 2026

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

Що переходить у новий стек

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

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

Linea також зберігає повну власність на весь стек у своїй інфраструктурі. Це включає виконувальний клієнт Besu, консенсусний шар Maru, ZK-доводчик і gateway. У архітектурі немає критичних залежностей від сторонніх постачальників.

Як Linea зазначила в наступному пості в X, пряма еймівська арифметизація була «складною для аудиту без глибокої криптографічної експертизи».

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

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

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

Рекламуйте тут