Под давлением технического долга Ethereum выбирает RISC-V для полной перестройки

Автор:jaehaerys.eth

Подготовка: TechFlow

Краткое содержание

Эфириум готовится к самому важному архитектурному переходу со времени своего основания: замене EVM на RISC-V.

Причина проста — в будущем, где центральное место занимают доказательства с нулевым разглашением (ZK), EVM стала узким местом производительности:

• Современные zkEVM зависят от интерпретаторов, что приводит к снижению производительности в 50–800 раз;

• Модули предкомпиляции усложняют протокол и повышают риски;

• Архитектура стека на 256 бит крайне неэффективна при генерации доказательств.

Решение RISC-V:

• Минималистичный дизайн (~47 базовых инструкций) + зрелая экосистема LLVM (поддержка языков Rust, C++, Go и др.);

• Стал фактическим стандартом для zkVM (используется в 90% проектов);

• Имеет формальную спецификацию SAIL (в отличие от неоднозначной «Жёлтой книги») → обеспечивает строгую верификацию;

• Путь аппаратных доказательств (ASIC/FPGA) уже тестируется (SP1, Nervos, Cartesi и др.).

Процесс миграции разделен на три этапа:

1. Замена модулей предкомпиляции на RISC-V (тестирование с низким риском);

2. Эра двух виртуальных машин: одновременное сосуществование EVM и RISC-V с полной интероперабельностью;

3. Переимплементация EVM внутри RISC-V (стратегия Rosetta).

Влияние на экосистему:

• Оптимистичные Rollup (например, Arbitrum и Optimism) потребуется перестроить механизм доказательств мошенничества;

• ZK-Rollup (например, Polygon, zkSync, Scroll) получат колоссальное преимущество → дешевле, быстрее, проще;

• Разработчики смогут напрямую использовать библиотеки на Rust, Go и Python на уровне L1;

• Пользователи получат доказательства примерно на 100 раз дешевле → путь к Gigagas L1 (около 10 000 TPS).

В конечном итоге Эфириум эволюционирует из «виртуальной машины для смарт-контрактов» в минималистичный, верифицируемый доверенный слой интернета, а его конечной целью станет «превратить всё в ZK-Snarks».

На перепутье Эфириума

Виталик Бутерин однажды сказал: «Конечная цель включает... преобразование всего в ZK-Snarks».

Финальная архитектура на основе доказательств с нулевым разглашением (ZK) неизбежна, а ее ключевой тезис прост: Эфириум пересоздает себя с нуля, опираясь на ZK-доказательства. Это означает технологический финиш протокола — достижение его финального состояния путем рефакторинга L1, управляемого высокопроизводительными zkVM, поддерживаемыми командой разработчиков ядра (такой как Succinct).

Иззираясь на эту перспективу, Эфириум находится на пороге важнейшего архитектурного перехода со времени своего создания. Речь идет уже не об поэтапных обновлениях, а о полном переосмыслении вычислительного ядра — замене Эфириум Виртуальной Машины (EVM). Этот шаг является краеугольным камнем более широкого видения «Lean Ethereum».

Видение Lean Ethereum направлено на систематическое упрощение всего протокола путем его разделения на три основных модуля: Lean Consensus, Lean Data и Lean Execution. Ключевой вопрос в рамках Lean Execution заключается в следующем: стал ли EVM, движущий революцию смарт-контрактов, главным ограничением будущего развития Эфириума?

Как отмечает Джастин Дрейк (Justin Drake) из Эфириум Фонда, долгосрочной целью всегда была «snarkification of everything» (преобразование всего в snarks) — мощный инструмент для усиления каждого слоя протокола. Однако долгое время эта цель больше походила на «недостижимый чертеж», поскольку для ее реализации требовалось понятие real-time proving (доказательств в реальном времени). Теперь, когда real-time proving постепенно становится реальностью, теоретическая неэффективность EVM превратилась в острую практическую проблему.

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

Что именно меняется?

Прежде чем обсуждать «почему», необходимо четко определить «что» именно меняется.

EVM (Эфириум Виртуальная Машина) — это среда исполнения смарт-контрактов Эфириума, часто называемая «мир компьютером» (World Computer), обрабатывающим транзакции и обновляющим состояние блокчейна. За многие годы ее дизайн стал революционным, заложив фундамент для появления децентрализованных финансов (DeFi) и экосистемы NFT. Однако эта кастомная архитектура, созданная почти десятилетие назад, накопила огромный объем технического долга.

В отличие от этого, RISC-V — это не продукт, а открытый стандарт, бесплатная «абетка» дизайна универсальных процессоров. Как подчеркивал Джереми Брюстер (Jeremy Bruestle) на конференции Ethproofs, его ключевые принципы делают его идеальным кандидатом для этой роли:

• Минимализм: Базовый набор инструкций RISC-V чрезвычайно прост и содержит около 40–47 команд. По словам Джереми, это делает его «практически идеальным для использования в суперминималистичной универсальной машине».

• Модульность: Более сложные функции добавляются через необязательные расширения. Эта особенность критически важна, так как позволяет ядру оставаться простым, одновременно масштабируя функциональность под потребности без навязывания излишней сложности базовому протоколу.

• Открытая экосистема: RISC-V обладает обширной и зрелой поддержкой инструментов, включая компилятор LLVM, что позволяет разработчикам использовать популярные языки программирования, такие как Rust, C++ и Go. Как отметил Джастин Дрейк: «Инструментов вокруг компиляторов невероятно много, а их создание крайне сложно… Поэтому ценность таких тулчейнов исключительно высока». Благодаря RISC-V Эфириум может бесплатно унаследовать эти готовые инструменты.

Проблема накладных расходов интерпретатора

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

Проблема накладных расходов интерпретатора

Самым срочным драйвером этого перехода является присущая EVM низкая эффективность в системах доказательств с нулевым разглашением. По мере того как Эфириум постепенно переходит к модели проверки состояния L1 с помощью ZK-доказательств, производительность prove-систем становится главным узким местом.

Проблема кроется в том, как работают текущие zkEVM. Они выполняют ZK-доказательства не для самой EVM, а для интерпретатора EVM, который, в свою очередь, компилируется в код RISC-V. Виталик Бутерин прямо указывает на эту фундаментальную проблему:

«…если реализация zkVM предполагает компиляцию выполнения EVM в код, который в конечном итоге становится кодом RISC-V, то почему бы просто не предоставить разработчикам смарт-контрактов доступ к базовому уровню RISC-V напрямую? Это полностью устранит накладные расходы всей внешней виртуальной машины».

Этот дополнительный слой интерпретации вызывает огромную потерю производительности. Оценки показывают, что по сравнению с доказательством нативных программ он может привести к падению скорости в 50–800 раз. Даже после оптимизации других узких мест (например, путем перехода на хеш-функцию Poseidon) этот сегмент «выполнения блока» все равно занимает 80–90% общего времени доказательств, делая EVM последним и самым сложным барьером на пути масштабирования L1. Устранение этого слоя, по прогнозам Виталика, способно увеличить эффективность выполнения в 100 раз.

Ловушка технического долга

Чтобы компенсировать нехватку производительности EVM в определенных криптографических операциях, в Эфириум были внедрены предкомпилированные контракты — специализированные функции, напрямую зашитые в код протокола. Хотя это решение казалось прагматичным в свое время, сегодня оно создало ситуацию, которую Виталик Бутерин назвал «катастрофической»:

«Предкомпиляция стала для нас катастрофой… Она колоссально раздула наше доверенное кодовое пространство… и неоднократно приводила к серьезным инцидентам, граничившим с потерей консенсуса».

Уровень этой сложности поразителен. Виталик приводит пример: обвязочный код одного только предкомпилированного контракта (например, modexp) сложнее, чем весь интерпретатор RISC-V вместе взятый, а сама логика предкомпиляции еще многословнее. Добавление новых предкомпиляций требует медленного и политически противоречивого процесса хардфорка, что серьезно тормозит инновации приложений, нуждающихся в новых криптографических примитивах. В ответ на это Виталик сделал однозначный вывод:

«Я считаю, что нам нужно с сегодняшнего дня прекратить добавлять какие-либо новые предкомпилированные контракты».

Архитектурный технический долг Эфириума

Базовая архитектура EVM отражает приоритеты прошлой эпохи и не отвечает современным вычислительным потребностям. EVM выбрала 256-битную архитектуру для работы с криптографическими значениями, однако для 32- или 64-битных целых чисел, обычно используемых в смарт-контрактах, такая архитектура крайне неэффективна. Эта неэффективность особенно затратна в системах ZK. Как объясняет Виталик:

«При использовании меньших чисел ресурсы фактически не экономятся, тогда как сложность возрастает в два-четыре раза».

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

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

Архитектура RISC-V: Переосмысление будущего Эфириума на более прочной основе

Преимущества RISC-V заключаются не только в недостатках EVM, но и во внутренней мощи его философии проектирования. Его архитектура предлагает надежный, простой и верифицируемый фундамент, который идеально подходит для высоко рискованной среды Эфириума.

Почему открытый стандарт превосходит кастомный дизайн?

В отличие от кастомных архитектур набора инструкций (ISA), которым требуется создавать целую программную экосистему с нуля, RISC-V представляет собой зрелый открытый стандарт, обладающий тремя ключевыми преимуществами:

Зрелая экосистема

Опираясь на RISC-V, Эфириум сможет воспользоваться десятилетиями коллективного прогресса в области информатики. Как объясняет Джастин Дрейк, это предоставляет проекту возможность напрямую пользоваться инструментами мирового класса:

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

Это радикально снижает порог входа для разработки, позволяя миллионам разработчиков, привыкших к таким языкам, как Rust, C++ и Go, легко интегрироваться.

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

Фактический стандарт в сфере ZK-доказательств Важнее то, что экосистема zkVM уже сделала свой выбор. Как отмечает Джастин Дрейк, данные с Ethproofs демонстрируют четкую тенденцию:

«RISC-V является ведущей архитектурой набора инструкций (ISA) для бэкендов zkVM».

Из десяти zkVM, способных доказывать блоки Эфириума, девять выбрали RISC-V в качестве целевой архитектуры. Эта рыночная конвергенция посылает мощный сигнал: внедряя RISC-V, Эфириум не спекулирует, а выравнивается со стандартом, который уже прошел практическую проверку и одобрен проектами, строящими его ZK-будущее.

Рожденный для доверия, а не только для исполнения

Помимо широкой экосистемы, внутренняя архитектура RISC-V отлично подходит для создания безопасных и верифицируемых систем. Во-первых, у RISC-V есть формализованная, машиночитаемая спецификация — SAIL. Это огромный шаг вперед по сравнению со спецификацией EVM («Желтая книга»), существующей преимущественно в текстовом виде. «Желтая книга» содержит определенную долю двусмысленности, тогда как спецификация SAIL предоставляет «золотой стандарт», способный поддерживать критически важные доказательства математической корректности, что жизненно важно для защиты протокола с огромной стоимостью. Как отметил Алекс Хикс (Alex Hicks) из Эфириум Фонда на конференции Ethproofs, это позволяет контурам zkVM напрямую «верифицироваться с официальной спецификацией RISC-V».

Во-вторых, RISC-V включает привилегированную архитектуру — функцию, которую часто упускают из виду, но которая критически важна для безопасности. Она определяет разные уровни исполнения, в первую очередь пользовательский режим (User Mode) для недоверенных приложений, таких как смарт-контракты, и supervisor-режим (Supervisor Mode) для доверенного «ядра исполнения». Диего (Diego) из Cartesi глубоко раскрывает этот аспект:

«Сама операционная система должна защищать себя от влияния другого кода. Ей необходимо изолировать выполнение различных программ друг от друга, и все эти механизмы являются частью стандарта RISC-V».

В архитектуре RISC-V смарт-контракты, работающие в пользовательском режиме (User Mode), не имеют прямого доступа к состоянию блокчейна. Вместо этого они должны направлять запросы в доверенное ядро, работающее в supervisor-режиме (Supervisor Mode), посредством специальной инструкции ECALL (environment call). Этот механизм создает безопасный контур, обеспечиваемый железом, который намного надежнее и проще верифицируется, чем чисто песочная модель EVM, полагающаяся исключительно на программную изоляцию.

Видение Виталика

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

Шаг первый: Замена предкомпиляций

Начальный этап будет самым консервативным и введет ограниченные возможности новой виртуальной машины (VM). Как предложил Виталик Бутерин: «Мы можем начать с ограниченных сценариев использования новой VM, например, для замены функций предкомпиляции». Конкретнее, это означает приостановку добавления новых предкомпиляций EVM и замену их на функционал, реализуемый программами RISC-V, прошедшими проверку по белому списку. Такой подход позволит тестировать новую VM на основной сети в условиях низкого риска, при этом клиенты Эфириума будут выступать посредниками между двумя средами исполнения.

Шаг второй: Одновременное существование двух виртуальных машин

На следующем этапе проект «откроет новую VM напрямую для пользователей». Смарт-контракты смогут маркировать свои байткоды как EVM или RISC-V. Ключевой особенностью станет обеспечение бесшовной интероперабельности: «контракты обоих типов смогут вызывать друг друга». Эта функция будет реализована через системные вызовы (ECALL), позволяя обоим типам VM взаимодействовать в рамках единой экосистемы.

Шаг третий: EVM в качестве симулирующего контракта (стратегия «Rosetta»)

Конечной целью является максимальное упрощение протокола. На этом этапе «мы реализуем EVM как одну из спецификаций внутри новой VM». Стандартизированная версия EVM станет формально верифицируемым смарт-контрактом, работающим поверх нативного RISC-V на уровне L1. Это обеспечит пожизненную поддержку старых приложений, одновременно позволив разработчикам клиентов обслуживать лишь один упрощенный движок исполнения, что радикально снизит сложность и затраты на поддержку.

Рикошетное влияние на экосистему

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

Переопределение позиций Rollup: противостояние Optimistic и ZK

Внедрение исполняющего слоя RISC-V на уровне L1 окажет совершенно разное воздействие на два основных типа Rollup.

Optimistic Rollup (например, Arbitrum и Optimism) сталкиваются с серьезными архитектурными вызовами. Их модель безопасности опирается на разрешение споров и генерацию доказательств мошенничества посредством повторного исполнения спорных транзакций в L1 EVM. Если EVM на уровне L1 будет заменена, эта модель рухнет. Проектам придется выбирать между масштабной инженерной перестройкой для создания системы доказательств мошенничества под новую L1 VM или полным отказом от модели безопасности Эфириума.

В противовес этому, ZK Rollup получат колоссальное стратегическое преимущество. Подавляющее большинство ZK Rollup уже используют RISC-V в качестве своей внутренней архитектуры набора инструкций (ISA). L1, «говорящий на одном языке», позволит им достичь гораздо более тесной и эффективной интеграции. Джастин Дрейк описывает будущее «нативных Rollup»: L2 фактически становится специализированным экземпляром среды исполнения самого L1, используя встроенную VM уровня L1 для бесшовного расчета. Такая синхронизация приведет к следующим изменениям:

Упрощение технологического стека: Командам L2 больше не потребуется строить сложные механизмы мостов между внутренним исполняющим окружением RISC-V и EVM.

Повторное использование инструментов и кода: Компиляторы, отладчики и инструменты формальной верификации, созданные для среды L1 RISC-V, могут быть напрямую использованы на L2, существенно снижая стоимость разработки.

Синхронизация экономических стимулов: Топливо (Gas) на L1 точнее отразит реальные затраты на ZK-верификацию на базе RISC-V, создавая более справедливую экономическую модель.

Новая эра для разработчиков и пользователей

Для разработчиков Эфириума этот переход будет постепенным, а не разрушительным.

Для разработчиков откроется доступ к гораздо более широкому и зрелому ландшафту разработки программного обеспечения. Как отмечает Виталик Бутерин, разработчики «смогут писать контракты на Rust, и при этом эти варианты смогут сосуществовать». В то же время он прогнозирует, что «Solidity и Vyper сохранят свою популярность в долгосрочной перспективе благодаря элегантности их дизайна для логики смарт-контрактов». Использование популярных языков программирования и их обширных библиотек через тулчейн LLVM сделает этот переход революционным. Виталик сравнивает это с «NodeJS-подобным опытом», где разработчики могут писать on-chain и off-chain код на одном языке, объединяя процесс разработки.

Для пользователей, эта трансформация в конечном итоге принесет опыт взаимодействия с сетью при значительно меньших затратах и высшей производительности. Ожидается, что стоимость доказательств упадет примерно в 100 раз — с нескольких долларов за транзакцию до копеек или даже меньше. Это напрямую конвертируется в снижение комиссий на L1 и затрат на расчеты L2. Такая экономическая целесообразность откроет двери к видению «Gigagas L1» с целевой производительностью около 10 000 TPS, подготовив почву для более сложных и ценных on-chain приложений будущего.

Succinct Labs и SP1: Строительство доказательственного будущего здесь и сейчас

Эфириум накапливает силы. «Масштабировать L1, масштабировать блок» — это стратегическая задача повышенной срочности внутри кластера протокола EF. Прогнозируется значительный рост производительности в ближайшие 6–12 месяцев.

https://blog.ethereum.org/2025/07/31/lean-ethereum

Такие команды, как Succinct Labs, уже продемонстрировали теоретические преимущества RISC-V на практике, и их работа служит мощным подтверждением данного предложения.

Разработанная Succinct Labs платформа SP1 представляет собой высокопроизводительную, открытую zkVM на базе RISC-V, подтверждающую жизнеспособность нового архитектурного подхода. SP1 придерживается философии «предкомпиляции» (precompile-centric), что идеально решает криптографические узкие места EVM. В отличие от традиционных методов, зависящих от медленных и зашитых намертво предкомпиляций, SP1 делегирует ресурсоемкие операции, такие как хеш-функция Keccak, в специально спроектированные и вручную оптимизированные ZK-контуры, вызываемые через стандартную инструкцию ECALL. Этот подход сочетает производительность настроенного оборудования с гибкостью программного обеспечения, предоставляя разработчикам более эффективное и масштабируемое решение.

Практическое влияние Succinct Labs уже ощущается. Их продукт OP Succinct использует SP1 для «ZK-ификации» (наделения capabilities ZK-доказательств) Optimistic Rollup. Как объясняет соучредитель Succinct Ума Рой (Uma Roy):

«Благодаря Rollup на базе OP Stack больше не нужно ждать семь дней для получения окончательного подтверждения и вывода средств… Подтверждение теперь занимает всего час. Это невероятный скачок в скорости».

Это прорывное решение addresses ключевую боль всей экосистемы OP Stack. Кроме того, инфраструктура Succinct — Succinct Prover Network — спроектирована как децентрализованный рынок генерации доказательств, демонстрирующий жизнеспособную экономическую модель для верифицируемых вычислений будущего. Их работа — это не просто proof-of-concept, а вполне осязаемый blueprint будущего, каким он описан в данной статье.

Как Эфириум минимизирует риски

Одно из главных преимуществ RISC-V заключается в том, что оно делает «святым Граалем» формальной верификации — доказательством правильности системы через математику — достижимой целью. Спецификация EVM написана на естественном языке в Yellow Paper, что затрудняет ее формализацию. RISC-V же обладает официальной машиночитаемой спецификацией SAIL, предоставляющей четкий «золотой стандарт» для проверки его поведения.

Это прокладывает путь к повышенной безопасности. Как отметил Алекс Хикс из Эфириум Фонда, в настоящее время уже ведется работа по извлечению «контуров zkVM RISC-V и официальной спецификации RISC-V в Lean для проведения формальной верификации». Это прогрессивный этап, переносящий доверие с подверженных ошибкам человеческих реализаций на верифицируемые математические доказательства, открывая новые высоты в безопасности блокчейнов.

Основные риски перехода

Несмотря на многочисленные преимущества L1 на базе RISC-V, он также сопряжен с новыми комплексными вызовами.

Проблемы с метрикой Gas

Создание детерминированной и справедливой модели метрики Gas для универсального ISA остается нерешенной задачей. Простой подсчет инструкций подвержен угрозам DDoS-атак. Например, злоумышленник может запрограммировать приложение на частое срабатывание промахов кэша, что приведет к высокому потреблению ресурсов при минимальных расходах газа. Такие проблемы ставят под жесткую угрозу стабильность сети и экономические модели.

Безопасность тулчейна и проблема «воспроизводимой сборки»

Это самый важный риск в процессе перехода, который часто недооценивают. Модель безопасности смещается с доверия on-chain VM к reliance на off-chain компиляторы (такие как LLVM), которые отличаются высокой сложностью и содержат известные уязвимости. Атакующие могут эксплуатировать дыры в компиляторах для трансформации внешне безобидного исходного кода в вредоносный байткод. Кроме того, обеспечение полного соответствия скомпилированных он-чейн бинарных файлов опубликованному исходному коду, так называемая проблема «воспроизводимой сборки» (reproducible build), крайне сложна. Небольшие различия в среде сборки могут привести к генерации разных бинарных файлов, подрывая прозрачность и доверие. Данные вопросы предъявляют суровые требования к безопасности разработчиков и пользователей.

Стратегии смягчения

Дорога вперед требует многоуровневой стратегии защиты.

Поэтапное внедрение

Опора на постепенный, многоэтапный план перехода является ключевой стратегией противодействия рискам. Начав с внедрения RISC-V в качестве альтернативы предкомпиляциям, а затем запустив работу в среде двух параллельных VM, сообщество сможет набраться операционного опыта и укрепить доверие в условиях низкого риска, избегая любых необратимых изменений. Данный эволюционный метод обеспечивает устойчивый фундамент для технологического трансформационного процесса.

Комплексный аудит: Фаззинг-тестирование и формальная верификация

Хотя формальная верификация является конечной целью, она должна дополняться непрерывными интенсивными тестами. Как продемонстрировал Валентин (Valentine) из Diligence Security на телефонном собеседовании Ethproofs, их инструмент для фаззинга Argus уже выявил 11 критических уязвимостей целостности и надежности в ведущих zkVM. Это доказывает, что даже самые хорошо спроектированные системы могут скрывать дыры, обнаруживаемые исключительно через строгое конкурентное тестирование. Сочетание фаззинга и формальной верификации обеспечивает дополнительную гарантию безопасности системы.

Стандартизация

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

Верифицируемое будущее Эфириума

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

Эта трансформация сфокусирована на ряде ключевых компромиссов:

• Баланс между колоссальным повышением производительности благодаря нативной ZK-архитектуре и острой необходимостью сохранения обратной совместимости;

• Компромисс между преимуществами в безопасности от упрощения протокола и инерцией масштабной сетевой эффективности EVM;

• Выбор между мощными возможностями универсальной экосистемы и рисками зависимости от сложных тулчейнов сторонних разработчиков.

В конечном счете, этот архитектурный переход станет ключом к реализации обязательства по «Lean Execution» и важнейшей частью видения «Lean Ethereum». Он превратит L1 Эфириума из простой платформы смарт-контрактов в высокоэффективный и безопасный слой расчетов и доступности данных, специально спроектированный для поддержки огромной вселенной верифицируемых вычислений.

Как говорит Виталик Бутерин: «Конечная цель — … предоставить ZK-snark для всего».

Такие проекты, как Ethproofs, предоставляют объективные данные и платформу для сотрудничества в ходе этой трансформации, в то время как команда Succinct Labs, через практическое применение своей zkVM SP1, дает действенный blueprint данного будущего. Объединившись с RISC-V, Эфириум не только решит свои собственные проблемы масштабируемости, но и займет позицию базового доверенного слоя интернета следующего поколения — управляемого третьим по величине криптографическим примитивом SNARK после хэширования и подписей.

Программирование мира доказательств открывает новую эру криптографии.

Узнать больше:

Анализ от Виталика: Смотреть видео

Четвертая дискуссия ETHProofs: Смотреть видео