Linea переходит на RISC-V, когда она переосмысливает будущее доказательства Ethereum.

Линея заявила, что она переходит на новую архитектуру доказательства, основанную на RISC-V, что является значительным изменением в том, как проект Ethereum layer-2 планирует масштабировать, проверять и развивать свой технологический стек. На протяжении многих лет команда криптографии Линеи шла, как она описывает, трудным путем: напрямую арифметизируя Эфирную Виртуальную Машину, или EVM, вручную переводя каждую операцию в математические ограничения, которые мог проверить доказыватель.

Этот подход помог проекту достичь основной сети и произвести спецификацию более чем на 1000 страниц, которая стала отправной точкой для более широкой экосистемы. Он также дал команде глубокое практическое понимание внутренностей EVM, с которым могут сравниться немногие проекты. Но, по словам Линеи, тот же дизайн, который довел ее до этого момента, также стал бременем.

Каждый жесткий форк Ethereum требовал переписывания модулей ограничений. Рутинные обновления замедлялись плотно связанными компонентами, которые было трудно изменить без внесения ошибок. Вместо того чтобы тратить время на новые идеи и прирост производительности, исследовательская команда часто была занята управлением сложностью. По мнению Линеи, эта модель больше не была лучшим путем вперед.

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

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

Сегодня Линея использует Poseidon вместо Keccak и поддерживает свое собственное представление состояния. Достижение совместимости с Ethereum первого типа старым способом потребовало бы ручного построения Keccak, RLP и Merkle Patricia Tree в системе ограничений. С RISC-V Линея говорит, что стандартный клиент EVM может быть скомпилирован в двоичный файл RISC-V, оставляя компилятору обрабатывать эти детали и обеспечивая совместимость первого типа с самого начала.

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

Стратегический сдвиг доказательства

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

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

Компания говорит, что новый стек будет более модульным в целом, позволяя каждому слою быть протестированным, проверенным или замененным независимо. Это означает, что оптимизация доказателя может происходить без принуждения к изменениям в базовой арифметизации, и улучшения в хэшировании или других компонентах могут быть внедрены без запуска каскадных переписок. Линея представляет это как значительный шаг вперед от плотно связанной системы, которую она использовала до сих пор.

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

Сообщение Линеи ясно: проект считает, что RISC-V — это не просто обновление производительности, а более открытая и устойчивая основа для следующего этапа масштабирования Ethereum. Он утверждает, что новая архитектура легче поддерживать, легче проверять и легче для более широкой общественности понять и внести свой вклад.

Компания говорит, что этот шаг связан не только со скоростью. Это связано с созданием стека, который может существовать независимо от любой одной команды. Ожидаются дополнительные детали в ближайшее время, но на данный момент Линея сигнализирует, что ее следующая глава будет определяться меньше сложностью и больше модульностью, совместимостью и согласованием с долгосрочным направлением Ethereum.