Эфириум готовится к самой важной архитектурной трансформации со времени своего создания: замена EVM на RISC-V.
Причина проста — в будущем, основанном на нулевых знаниях (ZK), EVM уже стал узким местом производительности:
Текущий zkEVM зависит от интерпретатора, что приводит к снижению производительности на 50–800 раз;
Предварительно скомпилированный модуль усложняет протокол и увеличивает риски;
Дизайн стека на 256 бит имеет очень низкую эффективность при генерации доказательств.
Решения RISC-V:
Минималистичный дизайн (около 47 базовых команд) + зрелая экосистема LLVM (поддержка языков Rust, C++, Go и др.);
Становится фактическим стандартом zkVM (90% проектов используют);
Имеет официальные спецификации SAIL (в отличие от нечеткой желтой книги) → обеспечивает строгую проверку;
Дорожка аппаратного доказательства (ASIC/FPGAs) находится в тестировании (SP1, Nervos, Cartesi и др.).
Процесс миграции делится на три этапа:
Замените RISC-V на предварительно скомпилированный модуль (низкий риск тестирования);
Эпоха двойных виртуальных машин: EVM и RISC-V сосуществуют и полностью взаимно совместимы;
Переимплементация EVM в RISC-V (стратегия Rosetta).
Влияние на экосистему:
Оптимистичный Rollup (такие как Arbitrum и Optimism) должен восстановить механизм доказательства мошенничества;
Нулевое знание Rollup (например, Polygon, zkSync, Scroll) получит огромное преимущество → дешевле, быстрее, проще;
Разработчики могут напрямую использовать языковые библиотеки, такие как Rust, Go и Python, на уровне L1;
Пользователи получат примерно в 100 раз более низкие затраты на доказательства → путь к Gigagas L1 (около 10 000 TPS).
В конечном итоге Ethereum эволюционирует из "виртуальной машины смарт-контрактов" в минималистичный, проверяемый уровень доверия Интернета, конечная цель которого заключается в том, чтобы "превратить все в ZK-Snark".
Перекресток Эфириума
Виталик Бутерин однажды сказал: "Конечная цель включает в себя... сделать все ZK-Snark."
Конечный результат доказательства с нулевым знанием (ZK) стал неизбежным, и его основная идея очень проста: Ethereum начинает с нуля и заново формируется на основе доказательства с нулевым знанием. Это знаменует собой техническую точку завершения протокола — через реконструкцию L1 достигается его конечная форма, поддерживаемая высокопроизводимым zkVM от основных команд разработчиков, таких как Succinct.
!
С этой целью, Ethereum находится на самом важном этапе архитектурной трансформации с момента своего создания. Теперь речь идет не о поэтапном обновлении, а о полной переработке его вычислительного ядра — замене виртуальной машины Ethereum (EVM). Эта инициатива является краеугольным камнем более широкой концепции "Упрощенный Ethereum".
Видение Lean Ethereum направлено на систематическое упрощение всего протокола, разделяя его на три основных модуля: Lean Consensus, Lean Data и Lean Execution. А в рамках центральной проблемы Lean Execution ключевым вопросом является: стал ли EVM, как движущая сила революции смарт-контрактов, основным узким местом в будущем развитии Ethereum?
!
Как сказал Джастин Дрейк из фонда Ethereum, долгосрочной целью Ethereum всегда было "Snarkify everything" (сделать все Snark), что является мощным инструментом, способным улучшить различные уровни протокола. Однако долгое время эта цель больше походила на "недостижимый план", поскольку для ее достижения требовалась концепция реального времени доказательства (real-time proving). А теперь, с тем, что реальное время доказательства постепенно становится реальностью, теоретическая неэффективность EVM превратилась в актуальную проблему, требующую решения.
В этой статье будет подробно рассмотрен технический и стратегический анализ миграции Ethereum L1 на архитектуру набора команд RISC-V (ISA). Эта инициатива не только обещает обеспечить беспрецедентную масштабируемость, но и упростит структуру протокола, обеспечивая соответствие Ethereum будущему верифицируемых вычислений.
Что же изменилось?
Прежде чем обсуждать "почему", сначала необходимо понять, "что" меняется.
EVM (Эфириум Виртуальная Машина) является средой выполнения смарт-контрактов Эфириума и называется "мировым компьютером", который обрабатывает транзакции и обновляет состояние блокчейна. На протяжении многих лет его дизайн можно считать революционным, так как он заложил основу для рождения децентрализованных финансов (DeFi) и экосистемы NFT. Тем не менее, эта кастомизированная архитектура, разработанная почти десять лет назад, сейчас накопила значительный объем технического долга.
В отличие от этого, RISC-V не является продуктом, а открытым стандартом — бесплатным универсальным «алфавитом» проектирования процессоров. Как подчеркнул Джереми Бруэстл на конференции Ethproofs, его ключевые принципы делают его отличным выбором для этой роли:
Минимализм: базовый набор инструкций RISC-V чрезвычайно прост и содержит всего около 40-47 инструкций. Как сказал Джереми, это делает его «почти идеально подходящим для случаев использования универсальной машины с супер минимализмом, которые нам нужны».
Модульный дизайн: более сложные функции добавляются через необязательные расширения. Эта особенность имеет решающее значение, поскольку она позволяет ядру оставаться простым, одновременно расширяя функциональность в зависимости от потребностей, не накладывая ненужную сложность на базовый протокол.
Открытая экосистема: RISC-V имеет обширную и зрелую поддержку инструментальных цепочек, включая компилятор LLVM, что позволяет разработчикам использовать распространенные языки программирования, такие как Rust, C++ и Go. Как отметил Джастин Дрейк: «Инструментов вокруг компилятора очень много, а создание компилятора чрезвычайно сложно... Поэтому наличие этих инструментальных цепочек компиляторов имеет огромную ценность.» RISC-V позволяет Ethereum бесплатно унаследовать эти готовые инструменты.
!
Проблема накладных расходов интерпретатора
Причины для замены EVM не сводятся к одному единственному недостатку, а являются результатом совокупности нескольких фундаментальных ограничений, которые в контексте будущего, основанного на нулевых знаниях, уже невозможно игнорировать. Эти ограничения включают в себя узкие места производительности в системах нулевых знаний, а также риски, связанные с нарастающей сложностью, накапливающейся внутри протокола.
Проблема накладных расходов интерпретатора
Наиболее срочным движущим фактором этой трансформации является врожденная неэффективность EVM в системах с нулевым знанием. Поскольку Ethereum постепенно переходит к модели проверки состояния L1 через ZK-доказательства, производительность доказателя становится самым большим узким местом.
!
Проблема заключается в текущем способе работы zkEVM. Они не делают нулевое доказательство непосредственно для EVM, а вместо этого доказывают интерпретатор EVM, который сам по себе компилируется в RISC-V. Виталик Бутерин открыто указал на эту основную проблему:
"……Если реализация zkVM заключается в компиляции выполнения EVM в код RISC-V, то почему бы не предоставить разработчикам смарт-контрактов прямой доступ к базовому RISC-V? Это полностью устранило бы накладные расходы на внешний виртуальный механизм."
!
Этот дополнительный уровень объяснения приводит к огромным потерям производительности. Оценки показывают, что этот уровень может привести к снижению производительности в 50-800 раз по сравнению с доказательством нативной программы. После оптимизации других узких мест (например, переход на алгоритм хеширования Poseidon) эта часть «исполнения блока» все равно будет занимать 80-90% всего времени доказательства, что делает EVM конечным и самым сложным препятствием для масштабирования L1. Удалив этот уровень, Виталик ожидает, что эффективность исполнения может вырасти в 100 раз.
Технический долг陷阱
Чтобы компенсировать недостаточную производительность EVM в определенных криптографических операциях, Ethereum ввел предкомпилированные контракты — специализированные функции, закодированные непосредственно в протоколе. Хотя это решение на тот момент казалось практичным, сегодня оно вызывает так называемую "плохую" ситуацию, на которую указал Виталик Бутерин:
"Предкомпиляция для нас катастрофична... Она значительно раздула доверенную кодовую базу Ethereum... и она несколько раз приводила к серьезным проблемам, которые почти вызывали сбои консенсуса."
Эта сложность поражает. Виталик приводит пример, что обертка для одного предкомпилированного контракта (например, modexp) сложнее, чем весь интерпретатор RISC-V, а логика предкомпилирования на самом деле еще более запутанная. Добавление новых предкомпилированных контрактов требует медленного и политически спорного процесса жесткой форки, что серьезно тормозит инновации приложений, нуждающихся в новых криптографических примитивах. На это Виталик сделал четкий вывод:
«Я считаю, что мы должны прекратить добавлять любые новые предварительно скомпилированные контракты с сегодняшнего дня.»
Технологический долг архитектуры Эфириума
Ядро дизайна EVM отражает приоритеты прошлых эпох, но оно не подходит для современных вычислительных требований. EVM выбрала 256-битную архитектуру для обработки криптографических значений, но эта архитектура крайне неэффективна для 32-битных или 64-битных целых чисел, которые обычно используются в смарт-контрактах. Эта неэффективность особенно дорого обходится в ZK системах. Как объяснил Виталик:
"Когда используются меньшие числа, каждое число на самом деле не экономит никаких ресурсов, а сложность увеличивается в два-три раза."
Кроме того, стековая архитектура EVM менее эффективна, чем архитектура регистров RISC-V и современных процессоров. Для выполнения одной и той же операции требуется больше команд, что также делает оптимизацию компилятора более сложной.
Эти проблемы — включая узкие места производительности ZK-доказательств, сложность предварительной компиляции и устаревшие архитектурные решения — вместе создают убедительную и настоятельную причину: Ethereum должен выйти за пределы EVM и принять архитектуру технологий, более подходящую для будущего.
Планы RISC-V: переосмысление будущего Ethereum на более крепкой основе
!
Преимущества RISC-V заключаются не только в недостатках EVM, но и в его внутренней мощи дизайнерской философии. Его архитектура предоставляет надежную, простую и проверяемую основу, что делает её очень подходящей для таких высокорискованных сред, как Ethereum.
Почему открытые стандарты лучше, чем индивидуальный дизайн?
В отличие от кастомизированной архитектуры команд (ISA), которую необходимо строить с нуля для создания целой программной экосистемы, RISC-V является зрелым открытым стандартом, обладающим тремя ключевыми преимуществами:
Взрослая экосистема
Используя RISC-V, Ethereum может воспользоваться десятилетиями коллективного прогресса в области компьютерных наук. Как объяснил Джастин Дрейк, это дает Ethereum возможность напрямую использовать инструменты мирового уровня:
"Существует компонент инфраструктуры под названием LLVM, который представляет собой набор инструментов компилятора, позволяющий вам компилировать высокоуровневые языки программирования в одну из нескольких целевых платформ. Одной из поддерживаемых платформ является RISC-V. Поэтому, если вы поддерживаете RISC-V, вы автоматически поддерживаете все высокоуровневые языки, поддерживаемые LLVM."
Это значительно снизило порог разработки, позволяя миллионам разработчиков, знакомых с такими языками, как Rust, C++ и Go, легко начать работу.
Минималистская философия дизайна Минимализм RISC-V является преднамеренной особенностью, а не ограничением. Его базовый набор инструкций содержит всего около 47 инструкций, что позволяет ядру виртуальной машины оставаться крайне простым. Эта простота имеет значительные преимущества с точки зрения безопасности, так как меньшая доверенная кодовая база легче поддается аудиту и формальной верификации.
Фактический стандарт в области нулевых знаний. Более того, экосистема zkVM уже сделала свой выбор. Как отметил Джастин Дрейк, из данных Ethproofs видно четкую тенденцию:
"RISC-V является ведущей архитектурой набора команд (ISA) для zkVM."
Среди десяти zkVM, способных доказать блоки Ethereum, девять выбрали RISC-V в качестве целевой архитектуры. Это рыночное сходство высвобождает сильный сигнал: Ethereum, приняв RISC-V, не совершает спекулятивную попытку, а согласуется со стандартом, который уже был фактически проверен и признан проектом, построенным на его будущем с нулевыми знаниями.
рожден для доверия, а не только для выполнения
Помимо обширной экосистемы, внутренняя архитектура RISC-V также особенно подходит для построения безопасных и верифицируемых систем. Во-первых, RISC-V имеет формализованную, машинно читаемую спецификацию — SAIL. Это является огромным шагом вперед по сравнению со спецификацией EVM (в основном представленной в текстовом формате в «Желтой книге»). «Желтая книга» имеет определенную неопределенность, тогда как спецификация SAIL предоставляет «золотой стандарт», который может поддерживать ключевые математические доказательства корректности, что крайне важно для защиты ценных протоколов. Как упомянул Алекс Хикс из Фонда Эфириума (EF) на конференции Ethproofs, это позволяет zkVM circuit напрямую «проверять соответствие официальной спецификации RISC-V». Во-вторых, RISC-V включает привилегированную архитектуру, что является часто игнорируемой, но критически важной характеристикой для безопасности. Она определяет различные уровни операций, в основном включая пользовательский режим (для ненадежных приложений, таких как смарт-контракты) и режим мониторинга (для надежного «исполнительного ядра»). Диего из Cartesi подробно объяснил это:
«Операционная система сама должна защищать себя от воздействия другого кода. Ей необходимо изолировать различные программы друг от друга, и все эти механизмы являются частью стандарта RISC-V.»
!
В архитектуре RISC-V смарт-контракты, работающие в пользовательском режиме (User Mode), не могут напрямую получить доступ к состоянию блокчейна. Вместо этого им необходимо отправить запрос специальной инструкцией ECALL (вызов окружения) к доверенной ядру, работающему в режиме супервизора (Supervisor Mode). Этот механизм создает безопасную границу, принудительно обеспечиваемую аппаратным обеспечением, которая более устойчива и легче поддается верификации, чем модель EVM, полагающаяся исключительно на программные песочницы.
Видение Виталика
Этот переход задуман как постепенный многоступенчатый процесс, чтобы обеспечить стабильность системы и обратную совместимость. Как объяснил основатель Ethereum Виталик Бутерин, этот подход направлен на достижение "эволюционного" развития, а не на радикальные "революционные" изменения.
На начальном этапе следует применять самый консервативный подход, вводя ограниченные функции новой виртуальной машины (VM). Как предложил Виталик Бутерин: "Мы можем начать с ограниченных сценариев использования новой VM, например, заменить функции предварительной компиляции." В частности, это приостановит добавление новых функций предварительной компиляции EVM и вместо этого реализует необходимые функции с помощью программ RISC-V, одобренных через белый список. Этот подход позволяет новой VM проходить полевые испытания в основной сети в условиях низкого риска, одновременно действуя как посредник между двумя средами выполнения через клиент Ethereum.
Шаг 2: Совместное использование двух виртуальных машин
На следующем этапе "новая VM будет открыта для пользователей". Умные контракты могут указывать, является ли их байт-код EVM или RISC-V, с помощью меток. Ключевая особенность заключается в обеспечении бесшовной интероперабельности: "два типа контрактов могут вызывать друг друга". Эта функция будет реализована через системные вызовы (ECALL), что позволит двум виртуальным машинам сотрудничать в одной экосистеме.
Шаг третий: EVM как симулированный контракт (стратегия "Rosetta")
Конечная цель заключается в упрощении протокола. На этом этапе "мы рассматриваем EVM как одну из реализаций новой VM." Нормализованный EVM станет формально проверяемым смарт-контрактом, работающим на родном RISC-V L1. Это не только обеспечивает постоянную поддержку старых приложений, но и позволяет разработчикам клиентских приложений поддерживать только упрощенный движок выполнения, что значительно снижает сложность и затраты на обслуживание.
Рябь эффекта экосистемы
Переход от EVM к RISC-V — это не только изменение основного протокола, но и оказание глубокого влияния на всю экосистему Ethereum. Эта трансформация не только изменит опыт разработчиков, но и коренным образом изменит конкурентную среду решений второго уровня, а также откроет новые модели экономической верификации.
Переосмысление Rollup: Сражение между Optimistic и ZK
Использование уровня выполнения RISC-V на уровне L1 окажет совершенно различное влияние на два основных типа Rollup.
Оптимистичные роллапы (например, Arbitrum, Optimism) сталкиваются с архитектурными проблемами. Их модель безопасности зависит от повторного выполнения спорных транзакций через L1 EVM для решения вопросов мошенничества. Если EVM L1 будет заменен, эта модель полностью развалится. Эти проекты столкнутся с трудным выбором: либо провести масштабную инженерную переработку, разработав систему доказательства мошенничества для нового L1 VM, либо полностью отказаться от модели безопасности Ethereum.
В сравнении с этим, ZK Rollup получит огромное стратегическое преимущество. Подавляющее большинство ZK Rollup уже выбрали RISC-V в качестве своей внутренней архитектуры набора команд (ISA). L1, «говорящий на одном языке», позволит достичь более тесной и эффективной интеграции. Джастин Дрейк предложил будущее видение «родного Rollup»: L2 фактически становится специализированным экземпляром среды выполнения L1, используя встроенную VM L1 для достижения бесшовных расчетов. Это выравнивание приведет к следующим изменениям:
!
Упрощение технологического стека: команде L2 больше не нужно будет строить сложные механизмы мостов между внутренней средой выполнения RISC-V и EVM.
Инструменты и повторное использование кода: компиляторы, отладчики и инструменты формальной верификации, разработанные для среды L1 RISC-V, могут быть напрямую использованы на L2, что значительно снижает затраты на разработку.
Экономические стимулы: Газовые расходы L1 будут более точно отражать фактические затраты на ZK-проверку на основе RISC-V, что приведет к более разумной экономической модели.
Новая эра для разработчиков и пользователей
Для разработчиков Ethereum этот переход будет постепенным, а не разрушительным.
Для разработчиков они смогут получить доступ к более широкому и зрелому экосистеме разработки программного обеспечения. Как отметил Виталик Бутерин, разработчики «смогут писать контракты на Rust, и эти опции могут сосуществовать». В то же время он предсказал, что «Solidity и Vyper все еще будут популярны в течение длительного времени благодаря их элегантному дизайну в логике смарт-контрактов». Использование основного языка программирования и его обширных библиотек через инструментальную цепочку LLVM сделает этот переход революционным. Виталик сравнил это с «опытом в стиле NodeJS», разработчики смогут писать код на цепочке и вне цепочки на одном и том же языке, осуществляя интеграцию разработки.
Для пользователей эта трансформация в конечном итоге приведет к более низким затратам и более высокой производительности сетевого опыта. Ожидается, что стоимость доказательства снизится примерно в 100 раз, с нескольких долларов за транзакцию до нескольких центов или даже меньше. Это напрямую приведет к более низким затратам L1 и L2 на расчет. Эта экономическая жизнеспособность откроет видение "Gigagas L1", нацеленного на достижение производительности около 10,000 TPS, прокладывая путь для более сложных и более ценных приложений на цепочке в будущем.
Succinct Labs и SP1: создание доказательства будущего в настоящем
!
Эфириум находится на пороге изменений. "Расширение L1, расширение блока" является стратегической неотложной задачей внутри протокольного кластера EF. Ожидается, что в ближайшие 6-12 месяцев произойдут значительные улучшения производительности.
Команды, такие как Succinct Labs, уже на практике продемонстрировали теоретические преимущества RISC-V, и их работа стала убедительным примером для проверки этого предложения.
Разработанная Succinct Labs SP1 - это высокопроизводительная, открытая zkVM на базе RISC-V, которая подтверждает жизнеспособность нового архитектурного подхода. SP1 использует философию "централизованной предкомпиляции" (precompile-centric), что идеально решает проблему криптографического узкого места EVM. В отличие от традиционного подхода, полагающегося на медленные, жестко закодированные методы предкомпиляции, SP1 выгружает ресурсоемкие операции, такие как хеширование Keccak, в специально разработанные, вручную оптимизированные ZK-цепи и вызывает их через стандартные инструкции ECALL. Этот подход сочетает в себе производительность специализированного оборудования и гибкость программного обеспечения, предоставляя разработчикам более эффективное и масштабируемое решение.
Фактическое влияние Succinct Labs уже стало очевидным. Их продукт OP Succinct использует SP1 для предоставления возможности нулевых знаний (ZK-ify) для оптимистичных сверток. Как объяснила соучредитель Succinct Ума Рой:
«Использование Rollup на OP Stack больше не требует ожидания семи дней для окончательного подтверждения и вывода... Теперь подтверждение занимает всего один час. Это замечательное повышение скорости.»
Этот прорыв решил ключевую больную точку всей экосистемы OP Stack. Кроме того, инфраструктура Succinct — Succinct Prover Network — была разработана как децентрализованный рынок генерации доказательств, демонстрируя жизнеспособную экономическую модель для будущих проверяемых вычислений. Их работа не только является проверкой концепции, но и реальным жизнеспособным планом на будущее, как описано в этой статье.
Как Эфириум снижает риски
Одно из основных преимуществ RISC-V заключается в том, что он делает достижимой святую Грааль формальной верификации — математическое доказательство корректности системы. Спецификация EVM написана на естественном языке в Yellow Paper, что затрудняет ее формализацию. В то время как у RISC-V есть официальная, машиночитаемая спецификация SAIL, которая предоставляет четкую "золотую ссылку" для его поведения.
Это проложило путь к более высокой безопасности. Как отметил Алекс Хикс из Фонда Эфириума, в настоящее время ведется работа по «извлечению zkVM RISC-V схем и официальной спецификации RISC-V в Lean для формальной верификации». Это знаковый прогресс, который переносит доверие с подверженной ошибкам человеческой реализации на проверяемые математические доказательства, открывая новые высоты для безопасности блокчейна.
Основные риски трансформации
Хотя архитектура RISC-V имеет множество преимуществ на уровне L1, она также приносит новые сложные вызовы.
Проблема учета газа
Создание детерминированной и справедливой модели Gas для универсальной архитектуры команд (ISA) является нерешенной задачей. Простой метод подсчета команд подвержен угрозам атак типа «отказ в обслуживании». Например, злоумышленник может разработать программу, которая многократно вызывает промахи кэша, что приводит к высокому потреблению ресурсов при очень низкой стоимости Gas. Эта проблема ставит серьезные вызовы для стабильности сети и экономической модели.
Безопасность инструментальной цепочки и проблема "воспроизводимого сборки"
Это самый важный и часто недооцененный риск в процессе трансформации. Модель безопасности переходит от зависимости от виртуальных машин на цепочке к зависимости от компиляторов вне цепочки (таких как LLVM), и эти компиляторы имеют очень высокую сложность и известные уязвимости. Злоумышленники могут использовать уязвимости компилятора, чтобы превратить казалось бы безобидный исходный код в вредоносный байт-код. Кроме того, обеспечить полное соответствие бинарных файлов после компиляции в цепочке и открытого исходного кода, то есть проблему «воспроизводимой сборки», также крайне сложно. Небольшие различия в среде сборки могут привести к созданию различных бинарных файлов, что, в свою очередь, влияет на прозрачность и доверие. Эти проблемы представляют собой серьезные испытания для безопасности разработчиков и пользователей.
Стратегия смягчения
Дорога вперед требует многослойной стратегии защиты.
Поэтапное продвижение
Постепенное, многоступенчатое переходное планирование является ключевой стратегией для управления рисками. Вводя RISC-V сначала в качестве предварительно скомпилированной альтернативы, а затем запуская его в двухвиртуальной среде, сообщество может накапливать операционный опыт и уверенность в условиях низкого риска, избегая любых необратимых изменений. Этот постепенный подход обеспечивает стабильную основу для технологической трансформации.
Полный аудит: нечеткое тестирование и формальная верификация
Хотя формальная верификация является конечной целью, она должна сочетаться с непрерывным, интенсивным тестированием. Как показал Валентин из Diligence Security на телефонной конференции Ethproofs, их инструмент для模糊测试 Argus уже обнаружил 11 ключевых уязвимостей целостности и корректности в ведущем zkVM. Это указывает на то, что даже в самых тщательно спроектированных системах могут быть уязвимости, которые могут быть обнаружены только с помощью строгого противостоящего тестирования. Сочетание模糊测试 и формальной верификации предоставляет более надежную защиту безопасности системы.
Стандартизация
Чтобы избежать фрагментации экосистемы, сообществу необходимо единодушно принять единообразную, стандартизированную конфигурацию RISC-V. Это может быть комбинация RV64GC и совместимого с Linux ABI, так как эта комбинация имеет наибольшую поддержку в основных языках программирования и инструментах, что позволяет максимизировать преимущества новой экосистемы. Стандартизация не только повысит эффективность разработчиков, но и заложит прочный фундамент для долгосрочного развития экосистемы.
Проверяемое будущее Эфириума
Предложение заменить виртуальную машину Ethereum (EVM) на RISC-V представляет собой не просто постепенное обновление, а коренное преобразование слоя выполнения Ethereum. Эта амбициозная идея направлена на решение глубоких узких мест масштабируемости, упрощение сложности протокола и согласование платформы с более широкой экосистемой общего вычисления. Несмотря на то, что эта трансформация сталкивается с огромными техническими и социальными вызовами, её долгосрочные стратегические выгоды достаточно велики, чтобы оправдать эту смелую инициативу.
Этот переход сосредоточен на серии основных компромиссов:
Баланс между огромным улучшением производительности, обеспечиваемым нативной архитектурой ZK, и настоятельной необходимостью обратной совместимости;
Балансировка между преимуществами безопасности, обеспечиваемыми упрощенными протоколами, и инерцией огромного сетевого эффекта EVM;
Выбор между мощными возможностями универсальной экосистемы и рисками, связанными с зависимостью от сложных сторонних инструментов.
В конечном итоге эта трансформация архитектуры станет ключом к выполнению обязательства по «бережному выполнению» (Lean Execution) и важной частью видения «бережного Эфира» (Lean Ethereum). Она преобразует L1 Эфира из простой платформы для смарт-контрактов в эффективный и безопасный уровень расчетов и доступности данных, специально разработанный для поддержки обширной вселенной проверяемых вычислений.
Как сказал Виталик Бутерин, "конечная цель... обеспечить все ZK-snark."
Проекты, такие как Ethproofs, предоставляют объективные данные и платформу для сотрудничества для этой трансформации, в то время как команда Succinct Labs, с помощью практического применения своего SP1 zkVM, предлагает операционную схему для этого будущего. Приняв RISC-V, Ethereum не только решает свои проблемы с масштабируемостью, но и позиционирует себя как основной уровень доверия следующего поколения Интернета — движимый третьим по величине криптографическим примитивом SNARK, после хэшей и подписей.
Доказательство программного обеспечения мира, открывающее новую эпоху криптовалюты.
Узнать больше:
Толкование Виталика: нажмите для просмотра
ETHProofs Четвертая дискуссия: нажмите, чтобы посмотреть
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Технический долг давит, Ethereum выбирает "снести и начать заново" с RISC-V
Автор: jaehaerys.eth
Компиляция: Shenchao TechFlow
Резюме
Эфириум готовится к самой важной архитектурной трансформации со времени своего создания: замена EVM на RISC-V.
Причина проста — в будущем, основанном на нулевых знаниях (ZK), EVM уже стал узким местом производительности:
Решения RISC-V:
Процесс миграции делится на три этапа:
Влияние на экосистему:
В конечном итоге Ethereum эволюционирует из "виртуальной машины смарт-контрактов" в минималистичный, проверяемый уровень доверия Интернета, конечная цель которого заключается в том, чтобы "превратить все в ZK-Snark".
Перекресток Эфириума
Виталик Бутерин однажды сказал: "Конечная цель включает в себя... сделать все ZK-Snark."
Конечный результат доказательства с нулевым знанием (ZK) стал неизбежным, и его основная идея очень проста: Ethereum начинает с нуля и заново формируется на основе доказательства с нулевым знанием. Это знаменует собой техническую точку завершения протокола — через реконструкцию L1 достигается его конечная форма, поддерживаемая высокопроизводимым zkVM от основных команд разработчиков, таких как Succinct.
!
С этой целью, Ethereum находится на самом важном этапе архитектурной трансформации с момента своего создания. Теперь речь идет не о поэтапном обновлении, а о полной переработке его вычислительного ядра — замене виртуальной машины Ethereum (EVM). Эта инициатива является краеугольным камнем более широкой концепции "Упрощенный Ethereum".
Видение Lean Ethereum направлено на систематическое упрощение всего протокола, разделяя его на три основных модуля: Lean Consensus, Lean Data и Lean Execution. А в рамках центральной проблемы Lean Execution ключевым вопросом является: стал ли EVM, как движущая сила революции смарт-контрактов, основным узким местом в будущем развитии Ethereum?
!
Как сказал Джастин Дрейк из фонда Ethereum, долгосрочной целью Ethereum всегда было "Snarkify everything" (сделать все Snark), что является мощным инструментом, способным улучшить различные уровни протокола. Однако долгое время эта цель больше походила на "недостижимый план", поскольку для ее достижения требовалась концепция реального времени доказательства (real-time proving). А теперь, с тем, что реальное время доказательства постепенно становится реальностью, теоретическая неэффективность EVM превратилась в актуальную проблему, требующую решения.
В этой статье будет подробно рассмотрен технический и стратегический анализ миграции Ethereum L1 на архитектуру набора команд RISC-V (ISA). Эта инициатива не только обещает обеспечить беспрецедентную масштабируемость, но и упростит структуру протокола, обеспечивая соответствие Ethereum будущему верифицируемых вычислений.
Что же изменилось?
Прежде чем обсуждать "почему", сначала необходимо понять, "что" меняется.
EVM (Эфириум Виртуальная Машина) является средой выполнения смарт-контрактов Эфириума и называется "мировым компьютером", который обрабатывает транзакции и обновляет состояние блокчейна. На протяжении многих лет его дизайн можно считать революционным, так как он заложил основу для рождения децентрализованных финансов (DeFi) и экосистемы NFT. Тем не менее, эта кастомизированная архитектура, разработанная почти десять лет назад, сейчас накопила значительный объем технического долга.
В отличие от этого, RISC-V не является продуктом, а открытым стандартом — бесплатным универсальным «алфавитом» проектирования процессоров. Как подчеркнул Джереми Бруэстл на конференции Ethproofs, его ключевые принципы делают его отличным выбором для этой роли:
!
Проблема накладных расходов интерпретатора
Причины для замены EVM не сводятся к одному единственному недостатку, а являются результатом совокупности нескольких фундаментальных ограничений, которые в контексте будущего, основанного на нулевых знаниях, уже невозможно игнорировать. Эти ограничения включают в себя узкие места производительности в системах нулевых знаний, а также риски, связанные с нарастающей сложностью, накапливающейся внутри протокола.
Проблема накладных расходов интерпретатора
Наиболее срочным движущим фактором этой трансформации является врожденная неэффективность EVM в системах с нулевым знанием. Поскольку Ethereum постепенно переходит к модели проверки состояния L1 через ZK-доказательства, производительность доказателя становится самым большим узким местом.
!
Проблема заключается в текущем способе работы zkEVM. Они не делают нулевое доказательство непосредственно для EVM, а вместо этого доказывают интерпретатор EVM, который сам по себе компилируется в RISC-V. Виталик Бутерин открыто указал на эту основную проблему:
"……Если реализация zkVM заключается в компиляции выполнения EVM в код RISC-V, то почему бы не предоставить разработчикам смарт-контрактов прямой доступ к базовому RISC-V? Это полностью устранило бы накладные расходы на внешний виртуальный механизм."
!
Этот дополнительный уровень объяснения приводит к огромным потерям производительности. Оценки показывают, что этот уровень может привести к снижению производительности в 50-800 раз по сравнению с доказательством нативной программы. После оптимизации других узких мест (например, переход на алгоритм хеширования Poseidon) эта часть «исполнения блока» все равно будет занимать 80-90% всего времени доказательства, что делает EVM конечным и самым сложным препятствием для масштабирования L1. Удалив этот уровень, Виталик ожидает, что эффективность исполнения может вырасти в 100 раз.
Технический долг陷阱
Чтобы компенсировать недостаточную производительность EVM в определенных криптографических операциях, Ethereum ввел предкомпилированные контракты — специализированные функции, закодированные непосредственно в протоколе. Хотя это решение на тот момент казалось практичным, сегодня оно вызывает так называемую "плохую" ситуацию, на которую указал Виталик Бутерин:
"Предкомпиляция для нас катастрофична... Она значительно раздула доверенную кодовую базу Ethereum... и она несколько раз приводила к серьезным проблемам, которые почти вызывали сбои консенсуса."
Эта сложность поражает. Виталик приводит пример, что обертка для одного предкомпилированного контракта (например, modexp) сложнее, чем весь интерпретатор RISC-V, а логика предкомпилирования на самом деле еще более запутанная. Добавление новых предкомпилированных контрактов требует медленного и политически спорного процесса жесткой форки, что серьезно тормозит инновации приложений, нуждающихся в новых криптографических примитивах. На это Виталик сделал четкий вывод:
«Я считаю, что мы должны прекратить добавлять любые новые предварительно скомпилированные контракты с сегодняшнего дня.»
Технологический долг архитектуры Эфириума
Ядро дизайна EVM отражает приоритеты прошлых эпох, но оно не подходит для современных вычислительных требований. EVM выбрала 256-битную архитектуру для обработки криптографических значений, но эта архитектура крайне неэффективна для 32-битных или 64-битных целых чисел, которые обычно используются в смарт-контрактах. Эта неэффективность особенно дорого обходится в ZK системах. Как объяснил Виталик:
"Когда используются меньшие числа, каждое число на самом деле не экономит никаких ресурсов, а сложность увеличивается в два-три раза."
Кроме того, стековая архитектура EVM менее эффективна, чем архитектура регистров RISC-V и современных процессоров. Для выполнения одной и той же операции требуется больше команд, что также делает оптимизацию компилятора более сложной.
Эти проблемы — включая узкие места производительности ZK-доказательств, сложность предварительной компиляции и устаревшие архитектурные решения — вместе создают убедительную и настоятельную причину: Ethereum должен выйти за пределы EVM и принять архитектуру технологий, более подходящую для будущего.
Планы RISC-V: переосмысление будущего Ethereum на более крепкой основе
!
Преимущества RISC-V заключаются не только в недостатках EVM, но и в его внутренней мощи дизайнерской философии. Его архитектура предоставляет надежную, простую и проверяемую основу, что делает её очень подходящей для таких высокорискованных сред, как Ethereum.
Почему открытые стандарты лучше, чем индивидуальный дизайн?
В отличие от кастомизированной архитектуры команд (ISA), которую необходимо строить с нуля для создания целой программной экосистемы, RISC-V является зрелым открытым стандартом, обладающим тремя ключевыми преимуществами:
Взрослая экосистема
Используя RISC-V, Ethereum может воспользоваться десятилетиями коллективного прогресса в области компьютерных наук. Как объяснил Джастин Дрейк, это дает Ethereum возможность напрямую использовать инструменты мирового уровня:
"Существует компонент инфраструктуры под названием LLVM, который представляет собой набор инструментов компилятора, позволяющий вам компилировать высокоуровневые языки программирования в одну из нескольких целевых платформ. Одной из поддерживаемых платформ является RISC-V. Поэтому, если вы поддерживаете RISC-V, вы автоматически поддерживаете все высокоуровневые языки, поддерживаемые LLVM."
Это значительно снизило порог разработки, позволяя миллионам разработчиков, знакомых с такими языками, как Rust, C++ и Go, легко начать работу.
Минималистская философия дизайна Минимализм RISC-V является преднамеренной особенностью, а не ограничением. Его базовый набор инструкций содержит всего около 47 инструкций, что позволяет ядру виртуальной машины оставаться крайне простым. Эта простота имеет значительные преимущества с точки зрения безопасности, так как меньшая доверенная кодовая база легче поддается аудиту и формальной верификации.
Фактический стандарт в области нулевых знаний. Более того, экосистема zkVM уже сделала свой выбор. Как отметил Джастин Дрейк, из данных Ethproofs видно четкую тенденцию:
"RISC-V является ведущей архитектурой набора команд (ISA) для zkVM."
Среди десяти zkVM, способных доказать блоки Ethereum, девять выбрали RISC-V в качестве целевой архитектуры. Это рыночное сходство высвобождает сильный сигнал: Ethereum, приняв RISC-V, не совершает спекулятивную попытку, а согласуется со стандартом, который уже был фактически проверен и признан проектом, построенным на его будущем с нулевыми знаниями.
рожден для доверия, а не только для выполнения
Помимо обширной экосистемы, внутренняя архитектура RISC-V также особенно подходит для построения безопасных и верифицируемых систем. Во-первых, RISC-V имеет формализованную, машинно читаемую спецификацию — SAIL. Это является огромным шагом вперед по сравнению со спецификацией EVM (в основном представленной в текстовом формате в «Желтой книге»). «Желтая книга» имеет определенную неопределенность, тогда как спецификация SAIL предоставляет «золотой стандарт», который может поддерживать ключевые математические доказательства корректности, что крайне важно для защиты ценных протоколов. Как упомянул Алекс Хикс из Фонда Эфириума (EF) на конференции Ethproofs, это позволяет zkVM circuit напрямую «проверять соответствие официальной спецификации RISC-V». Во-вторых, RISC-V включает привилегированную архитектуру, что является часто игнорируемой, но критически важной характеристикой для безопасности. Она определяет различные уровни операций, в основном включая пользовательский режим (для ненадежных приложений, таких как смарт-контракты) и режим мониторинга (для надежного «исполнительного ядра»). Диего из Cartesi подробно объяснил это:
«Операционная система сама должна защищать себя от воздействия другого кода. Ей необходимо изолировать различные программы друг от друга, и все эти механизмы являются частью стандарта RISC-V.»
!
В архитектуре RISC-V смарт-контракты, работающие в пользовательском режиме (User Mode), не могут напрямую получить доступ к состоянию блокчейна. Вместо этого им необходимо отправить запрос специальной инструкцией ECALL (вызов окружения) к доверенной ядру, работающему в режиме супервизора (Supervisor Mode). Этот механизм создает безопасную границу, принудительно обеспечиваемую аппаратным обеспечением, которая более устойчива и легче поддается верификации, чем модель EVM, полагающаяся исключительно на программные песочницы.
Видение Виталика
Этот переход задуман как постепенный многоступенчатый процесс, чтобы обеспечить стабильность системы и обратную совместимость. Как объяснил основатель Ethereum Виталик Бутерин, этот подход направлен на достижение "эволюционного" развития, а не на радикальные "революционные" изменения.
!
Шаг первый: Предварительная компиляция альтернативы
На начальном этапе следует применять самый консервативный подход, вводя ограниченные функции новой виртуальной машины (VM). Как предложил Виталик Бутерин: "Мы можем начать с ограниченных сценариев использования новой VM, например, заменить функции предварительной компиляции." В частности, это приостановит добавление новых функций предварительной компиляции EVM и вместо этого реализует необходимые функции с помощью программ RISC-V, одобренных через белый список. Этот подход позволяет новой VM проходить полевые испытания в основной сети в условиях низкого риска, одновременно действуя как посредник между двумя средами выполнения через клиент Ethereum.
Шаг 2: Совместное использование двух виртуальных машин
На следующем этапе "новая VM будет открыта для пользователей". Умные контракты могут указывать, является ли их байт-код EVM или RISC-V, с помощью меток. Ключевая особенность заключается в обеспечении бесшовной интероперабельности: "два типа контрактов могут вызывать друг друга". Эта функция будет реализована через системные вызовы (ECALL), что позволит двум виртуальным машинам сотрудничать в одной экосистеме.
Шаг третий: EVM как симулированный контракт (стратегия "Rosetta")
Конечная цель заключается в упрощении протокола. На этом этапе "мы рассматриваем EVM как одну из реализаций новой VM." Нормализованный EVM станет формально проверяемым смарт-контрактом, работающим на родном RISC-V L1. Это не только обеспечивает постоянную поддержку старых приложений, но и позволяет разработчикам клиентских приложений поддерживать только упрощенный движок выполнения, что значительно снижает сложность и затраты на обслуживание.
Рябь эффекта экосистемы
Переход от EVM к RISC-V — это не только изменение основного протокола, но и оказание глубокого влияния на всю экосистему Ethereum. Эта трансформация не только изменит опыт разработчиков, но и коренным образом изменит конкурентную среду решений второго уровня, а также откроет новые модели экономической верификации.
Переосмысление Rollup: Сражение между Optimistic и ZK
Использование уровня выполнения RISC-V на уровне L1 окажет совершенно различное влияние на два основных типа Rollup.
Оптимистичные роллапы (например, Arbitrum, Optimism) сталкиваются с архитектурными проблемами. Их модель безопасности зависит от повторного выполнения спорных транзакций через L1 EVM для решения вопросов мошенничества. Если EVM L1 будет заменен, эта модель полностью развалится. Эти проекты столкнутся с трудным выбором: либо провести масштабную инженерную переработку, разработав систему доказательства мошенничества для нового L1 VM, либо полностью отказаться от модели безопасности Ethereum.
В сравнении с этим, ZK Rollup получит огромное стратегическое преимущество. Подавляющее большинство ZK Rollup уже выбрали RISC-V в качестве своей внутренней архитектуры набора команд (ISA). L1, «говорящий на одном языке», позволит достичь более тесной и эффективной интеграции. Джастин Дрейк предложил будущее видение «родного Rollup»: L2 фактически становится специализированным экземпляром среды выполнения L1, используя встроенную VM L1 для достижения бесшовных расчетов. Это выравнивание приведет к следующим изменениям:
!
Упрощение технологического стека: команде L2 больше не нужно будет строить сложные механизмы мостов между внутренней средой выполнения RISC-V и EVM.
Инструменты и повторное использование кода: компиляторы, отладчики и инструменты формальной верификации, разработанные для среды L1 RISC-V, могут быть напрямую использованы на L2, что значительно снижает затраты на разработку.
Экономические стимулы: Газовые расходы L1 будут более точно отражать фактические затраты на ZK-проверку на основе RISC-V, что приведет к более разумной экономической модели.
Новая эра для разработчиков и пользователей
Для разработчиков Ethereum этот переход будет постепенным, а не разрушительным.
Для разработчиков они смогут получить доступ к более широкому и зрелому экосистеме разработки программного обеспечения. Как отметил Виталик Бутерин, разработчики «смогут писать контракты на Rust, и эти опции могут сосуществовать». В то же время он предсказал, что «Solidity и Vyper все еще будут популярны в течение длительного времени благодаря их элегантному дизайну в логике смарт-контрактов». Использование основного языка программирования и его обширных библиотек через инструментальную цепочку LLVM сделает этот переход революционным. Виталик сравнил это с «опытом в стиле NodeJS», разработчики смогут писать код на цепочке и вне цепочки на одном и том же языке, осуществляя интеграцию разработки.
Для пользователей эта трансформация в конечном итоге приведет к более низким затратам и более высокой производительности сетевого опыта. Ожидается, что стоимость доказательства снизится примерно в 100 раз, с нескольких долларов за транзакцию до нескольких центов или даже меньше. Это напрямую приведет к более низким затратам L1 и L2 на расчет. Эта экономическая жизнеспособность откроет видение "Gigagas L1", нацеленного на достижение производительности около 10,000 TPS, прокладывая путь для более сложных и более ценных приложений на цепочке в будущем.
Succinct Labs и SP1: создание доказательства будущего в настоящем
!
Эфириум находится на пороге изменений. "Расширение L1, расширение блока" является стратегической неотложной задачей внутри протокольного кластера EF. Ожидается, что в ближайшие 6-12 месяцев произойдут значительные улучшения производительности.
Команды, такие как Succinct Labs, уже на практике продемонстрировали теоретические преимущества RISC-V, и их работа стала убедительным примером для проверки этого предложения.
Разработанная Succinct Labs SP1 - это высокопроизводительная, открытая zkVM на базе RISC-V, которая подтверждает жизнеспособность нового архитектурного подхода. SP1 использует философию "централизованной предкомпиляции" (precompile-centric), что идеально решает проблему криптографического узкого места EVM. В отличие от традиционного подхода, полагающегося на медленные, жестко закодированные методы предкомпиляции, SP1 выгружает ресурсоемкие операции, такие как хеширование Keccak, в специально разработанные, вручную оптимизированные ZK-цепи и вызывает их через стандартные инструкции ECALL. Этот подход сочетает в себе производительность специализированного оборудования и гибкость программного обеспечения, предоставляя разработчикам более эффективное и масштабируемое решение.
Фактическое влияние Succinct Labs уже стало очевидным. Их продукт OP Succinct использует SP1 для предоставления возможности нулевых знаний (ZK-ify) для оптимистичных сверток. Как объяснила соучредитель Succinct Ума Рой:
«Использование Rollup на OP Stack больше не требует ожидания семи дней для окончательного подтверждения и вывода... Теперь подтверждение занимает всего один час. Это замечательное повышение скорости.»
Этот прорыв решил ключевую больную точку всей экосистемы OP Stack. Кроме того, инфраструктура Succinct — Succinct Prover Network — была разработана как децентрализованный рынок генерации доказательств, демонстрируя жизнеспособную экономическую модель для будущих проверяемых вычислений. Их работа не только является проверкой концепции, но и реальным жизнеспособным планом на будущее, как описано в этой статье.
Как Эфириум снижает риски
Одно из основных преимуществ RISC-V заключается в том, что он делает достижимой святую Грааль формальной верификации — математическое доказательство корректности системы. Спецификация EVM написана на естественном языке в Yellow Paper, что затрудняет ее формализацию. В то время как у RISC-V есть официальная, машиночитаемая спецификация SAIL, которая предоставляет четкую "золотую ссылку" для его поведения.
Это проложило путь к более высокой безопасности. Как отметил Алекс Хикс из Фонда Эфириума, в настоящее время ведется работа по «извлечению zkVM RISC-V схем и официальной спецификации RISC-V в Lean для формальной верификации». Это знаковый прогресс, который переносит доверие с подверженной ошибкам человеческой реализации на проверяемые математические доказательства, открывая новые высоты для безопасности блокчейна.
Основные риски трансформации
Хотя архитектура RISC-V имеет множество преимуществ на уровне L1, она также приносит новые сложные вызовы.
Проблема учета газа
Создание детерминированной и справедливой модели Gas для универсальной архитектуры команд (ISA) является нерешенной задачей. Простой метод подсчета команд подвержен угрозам атак типа «отказ в обслуживании». Например, злоумышленник может разработать программу, которая многократно вызывает промахи кэша, что приводит к высокому потреблению ресурсов при очень низкой стоимости Gas. Эта проблема ставит серьезные вызовы для стабильности сети и экономической модели.
Безопасность инструментальной цепочки и проблема "воспроизводимого сборки"
Это самый важный и часто недооцененный риск в процессе трансформации. Модель безопасности переходит от зависимости от виртуальных машин на цепочке к зависимости от компиляторов вне цепочки (таких как LLVM), и эти компиляторы имеют очень высокую сложность и известные уязвимости. Злоумышленники могут использовать уязвимости компилятора, чтобы превратить казалось бы безобидный исходный код в вредоносный байт-код. Кроме того, обеспечить полное соответствие бинарных файлов после компиляции в цепочке и открытого исходного кода, то есть проблему «воспроизводимой сборки», также крайне сложно. Небольшие различия в среде сборки могут привести к созданию различных бинарных файлов, что, в свою очередь, влияет на прозрачность и доверие. Эти проблемы представляют собой серьезные испытания для безопасности разработчиков и пользователей.
Стратегия смягчения
Дорога вперед требует многослойной стратегии защиты.
Поэтапное продвижение
Постепенное, многоступенчатое переходное планирование является ключевой стратегией для управления рисками. Вводя RISC-V сначала в качестве предварительно скомпилированной альтернативы, а затем запуская его в двухвиртуальной среде, сообщество может накапливать операционный опыт и уверенность в условиях низкого риска, избегая любых необратимых изменений. Этот постепенный подход обеспечивает стабильную основу для технологической трансформации.
Полный аудит: нечеткое тестирование и формальная верификация
Хотя формальная верификация является конечной целью, она должна сочетаться с непрерывным, интенсивным тестированием. Как показал Валентин из Diligence Security на телефонной конференции Ethproofs, их инструмент для模糊测试 Argus уже обнаружил 11 ключевых уязвимостей целостности и корректности в ведущем zkVM. Это указывает на то, что даже в самых тщательно спроектированных системах могут быть уязвимости, которые могут быть обнаружены только с помощью строгого противостоящего тестирования. Сочетание模糊测试 и формальной верификации предоставляет более надежную защиту безопасности системы.
Стандартизация
Чтобы избежать фрагментации экосистемы, сообществу необходимо единодушно принять единообразную, стандартизированную конфигурацию RISC-V. Это может быть комбинация RV64GC и совместимого с Linux ABI, так как эта комбинация имеет наибольшую поддержку в основных языках программирования и инструментах, что позволяет максимизировать преимущества новой экосистемы. Стандартизация не только повысит эффективность разработчиков, но и заложит прочный фундамент для долгосрочного развития экосистемы.
Проверяемое будущее Эфириума
Предложение заменить виртуальную машину Ethereum (EVM) на RISC-V представляет собой не просто постепенное обновление, а коренное преобразование слоя выполнения Ethereum. Эта амбициозная идея направлена на решение глубоких узких мест масштабируемости, упрощение сложности протокола и согласование платформы с более широкой экосистемой общего вычисления. Несмотря на то, что эта трансформация сталкивается с огромными техническими и социальными вызовами, её долгосрочные стратегические выгоды достаточно велики, чтобы оправдать эту смелую инициативу.
Этот переход сосредоточен на серии основных компромиссов:
В конечном итоге эта трансформация архитектуры станет ключом к выполнению обязательства по «бережному выполнению» (Lean Execution) и важной частью видения «бережного Эфира» (Lean Ethereum). Она преобразует L1 Эфира из простой платформы для смарт-контрактов в эффективный и безопасный уровень расчетов и доступности данных, специально разработанный для поддержки обширной вселенной проверяемых вычислений.
Как сказал Виталик Бутерин, "конечная цель... обеспечить все ZK-snark."
Проекты, такие как Ethproofs, предоставляют объективные данные и платформу для сотрудничества для этой трансформации, в то время как команда Succinct Labs, с помощью практического применения своего SP1 zkVM, предлагает операционную схему для этого будущего. Приняв RISC-V, Ethereum не только решает свои проблемы с масштабируемостью, но и позиционирует себя как основной уровень доверия следующего поколения Интернета — движимый третьим по величине криптографическим примитивом SNARK, после хэшей и подписей.
Доказательство программного обеспечения мира, открывающее новую эпоху криптовалюты.
Узнать больше:
Толкование Виталика: нажмите для просмотра
ETHProofs Четвертая дискуссия: нажмите, чтобы посмотреть