Конечная ZK Ethereum: от мирового компьютера к проверяемому мировому компьютеру
Статья «Доставка L1 zkEVM #1: Реальное доказательство», недавно опубликованная инженером Ethereum Софи Голд, имеет важное значение. Хотя это всего лишь техническая концепция основной команды разработчиков Ethereum и еще не вошла в официальный процесс EIP, до того как стать утвержденным планом обновления основной сети, еще предстоит пройти долгий путь, но сигналы, которые она посылает, нельзя недооценивать.
Эта статья четко демонстрирует основную дорожную карту будущего развития Ethereum: полное и глубокое интегрирование технологии нулевых знаний на всех уровнях протокола Layer 1, обеспечивая всестороннее покрытие от уровня консенсуса до уровня исполнения. Согласно этой технологической дорожной карте, первым ключевым шагом является модернизация EVM на каждом узле в zkEVM. Таким образом, узлы в процессе выполнения транзакций и запуска смарт-контрактов смогут синхронно генерировать соответствующие доказательства нулевых знаний, предоставляя узлам основание для проверки правильности выполнения.
Это не просто очередная техническая итерация, а архитектурная революция, сравнимая с "The Merge". Она направлена на то, чтобы в корне решить множество проблем, с которыми сталкивается Ethereum в вопросах масштабируемости, безопасности и экономической модели. Почему Ethereum решает "полностью поставить на" ZK именно в этот момент? Какова глубинная логика, стоящая за этим стратегическим поворотом? И как это изменит известный нам L1 и всю экосистему L2?
В этой статье на основе существующих исследований мы подробно расскажем о великой нарративе "ZK-эпилога" Эфира и проанализируем его мотивацию, действия и глубокие последствия.
Один. Переход от "повторного выполнения" к "доказательному верификацию"
Концепция ZK-реализации Ethereum заключается в переосмыслении механизма проверки консенсуса. Недавно опубликованная дорожная карта L1 zkEVM четко определяет технический путь для этого преобразования.
Текущая модель: повторное выполнение (Re-execution)
В настоящее время, когда новый блок предлагается, все узлы-валидаторы в сети должны независимо и полностью повторно выполнить каждую транзакцию внутри этого блока, чтобы рассчитать и проверить, соответствует ли корень конечного состояния заявленному инициатором. Этот процесс требует много ресурсов и является основным узким местом, ограничивающим пропускную способность Ethereum L1.
Будущая модель: Проверка доказательств (Proof Verification)
В новой архитектуре L1 zkEVM строители блоков (Builder) при создании блока одновременно производят компактное ZK доказательство (ZK Proof) его действительности. Другие валидаторы, получив блок и доказательство, больше не будут нуждаться в повторном выполнении транзакций, им достаточно будет проверить это криптографическое доказательство. Поскольку вычислительные затраты на "проверку ZK Proof" на несколько порядков ниже, чем на "повторное выполнение транзакций", более того, время, необходимое для проверки доказательства, почти не зависит от количества транзакций, которые оно охватывает, это позволяет Ethereum значительно увеличить лимит Gas блока, чтобы вместить больше транзакций, не повышая значительно пороговые требования к оборудованию валидаторов. Говорили, что лимит Gas на L1 может быть увеличен в 10 раз, а в более долгосрочной перспективе достичь 100 раз, что позволит масштабировать L1 при сохранении децентрализации.
В общем, будущее Ethereum L1 архитектурно очень похоже на огромный, родной ZK-Rollup, что делает Ethereum L1 самим по себе многообещающим кандидатом на звание "самого большого ZK-приложения в мире".
Строгие технические стандарты
Команда Ethereum установила исключительно строгие технические стандарты для реализации L1 zkEVM, снижая задержку и увеличивая пропускную способность, при этом также обеспечивая безопасность и обещание децентрализации.
Доказательство задержки (99% кванти ): менее 10 секунд
Криптографическая безопасность: 128 бит ( минимальные 100 бит на раннем этапе запуска )
Размер доказательства: менее 300 KiB
Стоимость оборудования для валидаторов: не более 100,000 долларов США
Потребление энергии валидатора: менее 10 кВт
Модель безопасности многодоказательства
Чтобы предотвратить возможные неизвестные уязвимости в единственной реализации zkEVM, в этой дорожной карте введен механизм безопасности "Много доказательств" (Multi-Proof). Это требует, чтобы для проверки действительности одного и того же блока несколько zkEVM, принадлежащих разным командам, создали множество доказательств. Клиент валидатора будет загружать и проверять эти доказательства из разных источников. Только когда несколько независимых доказательств пройдут проверку, этот блок будет принят уровнем консенсуса. Это по сути является продолжением и углублением идеи "разнообразия клиентов" Ethereum на уровне доказательств, принуждая к введению избыточности и разнообразия через протокол, что обеспечивает глубокую защиту для L1 и усиливает устойчивость протокола.
Два, почему Ethereum должен "полностью перейти на ZK"?
Ethereum полностью принимает технологию нулевых знаний, что является важной стратегической трансформацией, основанной на глубоком анализе его экономической модели, конкурентной среды и будущего рыночного спроса.
Во-первых, это важная поправка к экономической модели, сосредоточенной на "L2". После введения механизма blob в EIP-4844, хотя удалось снизить стоимость транзакций Layer 2, это также привело к неожиданным побочным эффектам — серьезному ослаблению способности Layer 1 захватывать ценность. Резкое падение доходов от транзакционных сборов L1 и объема сжигания ETH напрямую ударило по ожиданиям дефляции ETH, что привело к слабым показателям цен на монеты и росту недовольства в сообществе. Обновив EVM до zkEVM, узлы-валидаторы могут перейти от времязатратного режима "переполнения" к эффективному режиму "валидации", что значительно снизит задержки L1 и повысит пропускную способность. Таким образом, Ethereum сможет вновь привлечь высокоценных клиентов с высокими требованиями к безопасности и мгновенной окончательности, увеличив доходы от сборов L1, снова активировав механизм сжигания EIP-1559 и восстановив баланс экономических отношений между L1 и L2.
Во-вторых, это асимметричная стратегия, направленная на противодействие конкуренции высокопроизводительных публичных блокчейнов. Столкнувшись с сильными показателями TPS новых поколений высокопроизводительных L1, таких как Solana и Sui, Ethereum выбрал уникальный путь конкуренции. Он не подражал конкурентам, жертвуя степенью децентрализации (например, значительно увеличивая аппаратные требования для валидаторов и уменьшая количество валидирующих узлов) для повышения производительности, а вместо этого использует технологии ZK, чтобы сделать скачок в производительности, изменяя валидацию с "дорогой репликации" на "дешевую валидацию" при сохранении своего основного преимущества — сети из миллиона валидаторов. Эта стратегия направлена на укрепление защитного периметра Ethereum в области децентрализации и безопасности, одновременно повышая производительность, стремясь добиться совмещения безопасности и высокой производительности.
В конце концов, это перспективная стратегия для迎接RWA и институциональных финансовых волн. Токенизация RWA широко рассматривается как следующая триллионная рыночная возможность для блокчейна. С приходом таких финансовых гигантов, как BlackRock и Franklin Templeton, предъявляются беспрецедентные строгие требования к базовым публичным цепочкам по производительности, безопасности, конфиденциальности и соблюдению нормативных требований. Хотя такие L1, как Solana и Sui, демонстрируют выдающуюся производительность, количество узлов проверки относительно невелико, уровень централизации высок, и у них есть черная история с простоями, что делает их недостаточными для высокоценной финансовой деятельности с точки зрения безопасности и стабильности. Различные OP Rollup в экосистеме Ethereum (такие как Base, MegaETH) хотя и демонстрируют хорошую производительность и обладают хорошей безопасностью благодаря записи состояния в L1, однако их семидневный период оспаривания является неприемлемым риском для высокоценного финансового расчета. В этом контексте, криптографический уровень окончательности, предлагаемый технологиями ZK, а также способность доказывать соблюдение нормативных требований (например, подтвердить, что определенный адрес прошел KYC) без раскрытия конфиденциальных данных идеально соответствуют основным требованиям институциональных финансов. Если обновление zkEVM сможет повысить пропускную способность, то экосистема Ethereum с нативной интеграцией ZK технологий (L1+ZK Rollup) сможет достичь "производительности, безопасности и стабильности", став идеальным глобальным расчетным уровнем для RWA волн.
Три, ZK-эпилог в действии
Эфир ZK-эпилог давно уже начал проявлять признаки, кроме блога, опубликованного Софией Голд:
Еще в апреле 2025 года была предложена крайне перспективная концепция: заменить существующую EVM на более дружелюбную к ZK архитектуру набора команд RISC-V. Сторонники считают, что по сравнению с неэффективностью EVM при генерации ZK-цирков, более простая архитектура RISC-V сможет обеспечить многократное повышение эффективности доказательства. Хотя это предложение вызвало споры из-за разрушения существующей экосистемы, оно установило четкую "северную звезду" для ZK-реализации Ethereum — определило стандарты для идеального zkEVM и указало направление для оптимизации.
На рабочем семинаре в Берлине в июне 2025 года исследователь фонда Ethereum Джастин Дрейк четко заявил, что Ethereum "полностью ставит на ZK" (Ethereum is going all in on ZK). Это заявление подтвердило непоколебимую решимость основной команды разработчиков.
ZK-окончание Ethereum также не является "пустыми разговорами". Хотя в настоящее время Optimistic Rollup все еще опережает ZK Rollup по всем ключевым показателям, проблемы, препятствующие практическому применению ZK-технологий, постепенно решаются. Три основные причины, которые исторически привели к серьезному отставанию ZK Rollup:
Во-первых, это техническая сложность и узкие места производительности: в прошлом создание ZK-доказательств для общего EVM-калькулятора считалось крайне трудным, медленным и дорогим, а иногда даже вычислительно неприемлемым.
Во-вторых, разница в опыте разработчиков: ORU с самого начала обеспечила высокую совместимость с EVM, тогда как ранние ZKR (такие как ранние версии StarkNet) не были совместимы с EVM, требуя от разработчиков изучения совершенно нового языка программирования, что создает высокие барьеры для входа.
Наконец, это фрагментация ликвидности и сетевые эффекты: ORU благодаря своей первоочередной позиции собрал большое количество пользователей и ликвидности, создавая мощный сетевой эффект.
Тем не менее, эти исторические препятствия преодолеваются одно за другим.
В области скорости доказательства благодаря прогрессу новых алгоритмов доказательства, таких как PLONK и STARKs, а также развитию аппаратных технологий ускорения, таких как GPU, FPGA и даже ASIC, время генерации ZK-доказательства было значительно сокращено. Например, SP1 zkVM компании Succinct теперь может доказать 93% блоков основной сети Ethereum в среднем за 10,3 секунды, что очень близко к цели в 10 секунд, установленной фондом Ethereum.
В отношении совместимости zkEVM прошел процесс эволюции от совместимости типа 4 до совместимости типа 1. Сегодня такие проекты, как Scroll, Taiko, Polygon zkEVM, уже могут достигать почти идеальной эквивалентности EVM (соответствуя стандартам типа 2 или даже типа 1), что в корне устраняет разрыв в опыте разработчиков по сравнению с ORU. Более того, модель безопасности Multi-Proof с использованием ZK для L1 зависит от нескольких независимых систем доказательства, и текущий бурный рост сектора zkEVM создает основу для реализации этой модели безопасности.
В заключение, основные препятствия, которые исторически мешали развитию технологии ZK — производительность и совместимость — быстро преодолеваются. Технология уже полностью готова к широкомасштабному практическому применению, и только предвзятое мнение о том, что технология ZK "медленная, дорогая и сложная" мешает людям её принять. Видение основной команды Ethereum "сделать Ethereum крупнейшим ZK-приложением в мире" как раз и поддерживает современную технологию ZK, подавая сигнал о начале широкомасштабного внедрения технологии ZK в практику.
Четыре, экосистема ROLLUP
NATIVE ROLLUP прокладывает高速公路 для ZK ROLLUP
Полная ZK-реализация Ethereum L1 коренным образом изменит конкурентную среду второго уровня, среди самых революционных изменений - предложение "родного Rollup" (Native Rollup). В настоящее время ZK-Rollup требует развертывания на L1 сложного смарт-контракта проверяющего, содержащего тысячи строк кода, для проверки ZK-доказательств, представленных L2. Это не только увеличивает сложность разработки, но и создает риски безопасности из-за неоднородности уровня разработчиков. После реализации zkEVM на L1 будет введена функция EXECUTE, позволяющая ZK Rollup напрямую вызывать встроенную логику проверки L1 из смарт-контрактов на L1, без необходимости написания собственного контракта.
Это изменение принесло три преимущества для ZK-Rollup:
Во-первых, это коренное улучшение безопасности: разработчики проекта Rollup могут полностью передать огромные инженерные задачи по созданию и поддержке EVM-валидаторов L1, упростив сложные технические проблемы до вызова одной строки кода;
Во-вторых, была достигнута настоящая эквивалентность EVM и обратная совместимость, нативный Rollup синхронизируется с L1, без необходимости в отдельном процессе управления;
В конце концов, это значительное улучшение рентабельности: использование встроенной функции предварительной компиляции протокола L1 позволяет избежать накладных расходов на интерпретацию виртуальной машины, а эффективность верификации выше по сравнению с реализацией смарт-контрактов на несколько порядков, что, в свою очередь, позволяет значительно снизить операционные расходы на ZK Rollup.
Эта функция Native Rollup эквивалентна тому, что Ethereum L1 бесплатно предоставляет всем ZK-Rollup.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
14 Лайков
Награда
14
4
Поделиться
комментарий
0/400
HashBard
· 22ч назад
zk - это просто модное слово для прозрачности... довольно поэтично, если честно
Посмотреть ОригиналОтветить0
down_only_larry
· 22ч назад
бык снова начал вытворять фокусы
Посмотреть ОригиналОтветить0
AltcoinAnalyst
· 22ч назад
Исторические данные показывают, что такие фундаментальные обновления Layer1 требуют как минимум 24 месяца. Рекомендуем наблюдать за изменениями.
Ethereum полная ZK-реализация: перестройка архитектуры L1, ведение волны RWA
Конечная ZK Ethereum: от мирового компьютера к проверяемому мировому компьютеру
Статья «Доставка L1 zkEVM #1: Реальное доказательство», недавно опубликованная инженером Ethereum Софи Голд, имеет важное значение. Хотя это всего лишь техническая концепция основной команды разработчиков Ethereum и еще не вошла в официальный процесс EIP, до того как стать утвержденным планом обновления основной сети, еще предстоит пройти долгий путь, но сигналы, которые она посылает, нельзя недооценивать.
Эта статья четко демонстрирует основную дорожную карту будущего развития Ethereum: полное и глубокое интегрирование технологии нулевых знаний на всех уровнях протокола Layer 1, обеспечивая всестороннее покрытие от уровня консенсуса до уровня исполнения. Согласно этой технологической дорожной карте, первым ключевым шагом является модернизация EVM на каждом узле в zkEVM. Таким образом, узлы в процессе выполнения транзакций и запуска смарт-контрактов смогут синхронно генерировать соответствующие доказательства нулевых знаний, предоставляя узлам основание для проверки правильности выполнения.
Это не просто очередная техническая итерация, а архитектурная революция, сравнимая с "The Merge". Она направлена на то, чтобы в корне решить множество проблем, с которыми сталкивается Ethereum в вопросах масштабируемости, безопасности и экономической модели. Почему Ethereum решает "полностью поставить на" ZK именно в этот момент? Какова глубинная логика, стоящая за этим стратегическим поворотом? И как это изменит известный нам L1 и всю экосистему L2?
В этой статье на основе существующих исследований мы подробно расскажем о великой нарративе "ZK-эпилога" Эфира и проанализируем его мотивацию, действия и глубокие последствия.
Один. Переход от "повторного выполнения" к "доказательному верификацию"
Концепция ZK-реализации Ethereum заключается в переосмыслении механизма проверки консенсуса. Недавно опубликованная дорожная карта L1 zkEVM четко определяет технический путь для этого преобразования.
Текущая модель: повторное выполнение (Re-execution) В настоящее время, когда новый блок предлагается, все узлы-валидаторы в сети должны независимо и полностью повторно выполнить каждую транзакцию внутри этого блока, чтобы рассчитать и проверить, соответствует ли корень конечного состояния заявленному инициатором. Этот процесс требует много ресурсов и является основным узким местом, ограничивающим пропускную способность Ethereum L1.
Будущая модель: Проверка доказательств (Proof Verification) В новой архитектуре L1 zkEVM строители блоков (Builder) при создании блока одновременно производят компактное ZK доказательство (ZK Proof) его действительности. Другие валидаторы, получив блок и доказательство, больше не будут нуждаться в повторном выполнении транзакций, им достаточно будет проверить это криптографическое доказательство. Поскольку вычислительные затраты на "проверку ZK Proof" на несколько порядков ниже, чем на "повторное выполнение транзакций", более того, время, необходимое для проверки доказательства, почти не зависит от количества транзакций, которые оно охватывает, это позволяет Ethereum значительно увеличить лимит Gas блока, чтобы вместить больше транзакций, не повышая значительно пороговые требования к оборудованию валидаторов. Говорили, что лимит Gas на L1 может быть увеличен в 10 раз, а в более долгосрочной перспективе достичь 100 раз, что позволит масштабировать L1 при сохранении децентрализации.
В общем, будущее Ethereum L1 архитектурно очень похоже на огромный, родной ZK-Rollup, что делает Ethereum L1 самим по себе многообещающим кандидатом на звание "самого большого ZK-приложения в мире".
Строгие технические стандарты
Команда Ethereum установила исключительно строгие технические стандарты для реализации L1 zkEVM, снижая задержку и увеличивая пропускную способность, при этом также обеспечивая безопасность и обещание децентрализации.
Доказательство задержки (99% кванти ): менее 10 секунд Криптографическая безопасность: 128 бит ( минимальные 100 бит на раннем этапе запуска ) Размер доказательства: менее 300 KiB Стоимость оборудования для валидаторов: не более 100,000 долларов США Потребление энергии валидатора: менее 10 кВт
Модель безопасности многодоказательства
Чтобы предотвратить возможные неизвестные уязвимости в единственной реализации zkEVM, в этой дорожной карте введен механизм безопасности "Много доказательств" (Multi-Proof). Это требует, чтобы для проверки действительности одного и того же блока несколько zkEVM, принадлежащих разным командам, создали множество доказательств. Клиент валидатора будет загружать и проверять эти доказательства из разных источников. Только когда несколько независимых доказательств пройдут проверку, этот блок будет принят уровнем консенсуса. Это по сути является продолжением и углублением идеи "разнообразия клиентов" Ethereum на уровне доказательств, принуждая к введению избыточности и разнообразия через протокол, что обеспечивает глубокую защиту для L1 и усиливает устойчивость протокола.
Два, почему Ethereum должен "полностью перейти на ZK"?
Ethereum полностью принимает технологию нулевых знаний, что является важной стратегической трансформацией, основанной на глубоком анализе его экономической модели, конкурентной среды и будущего рыночного спроса.
Во-первых, это важная поправка к экономической модели, сосредоточенной на "L2". После введения механизма blob в EIP-4844, хотя удалось снизить стоимость транзакций Layer 2, это также привело к неожиданным побочным эффектам — серьезному ослаблению способности Layer 1 захватывать ценность. Резкое падение доходов от транзакционных сборов L1 и объема сжигания ETH напрямую ударило по ожиданиям дефляции ETH, что привело к слабым показателям цен на монеты и росту недовольства в сообществе. Обновив EVM до zkEVM, узлы-валидаторы могут перейти от времязатратного режима "переполнения" к эффективному режиму "валидации", что значительно снизит задержки L1 и повысит пропускную способность. Таким образом, Ethereum сможет вновь привлечь высокоценных клиентов с высокими требованиями к безопасности и мгновенной окончательности, увеличив доходы от сборов L1, снова активировав механизм сжигания EIP-1559 и восстановив баланс экономических отношений между L1 и L2.
Во-вторых, это асимметричная стратегия, направленная на противодействие конкуренции высокопроизводительных публичных блокчейнов. Столкнувшись с сильными показателями TPS новых поколений высокопроизводительных L1, таких как Solana и Sui, Ethereum выбрал уникальный путь конкуренции. Он не подражал конкурентам, жертвуя степенью децентрализации (например, значительно увеличивая аппаратные требования для валидаторов и уменьшая количество валидирующих узлов) для повышения производительности, а вместо этого использует технологии ZK, чтобы сделать скачок в производительности, изменяя валидацию с "дорогой репликации" на "дешевую валидацию" при сохранении своего основного преимущества — сети из миллиона валидаторов. Эта стратегия направлена на укрепление защитного периметра Ethereum в области децентрализации и безопасности, одновременно повышая производительность, стремясь добиться совмещения безопасности и высокой производительности.
В конце концов, это перспективная стратегия для迎接RWA и институциональных финансовых волн. Токенизация RWA широко рассматривается как следующая триллионная рыночная возможность для блокчейна. С приходом таких финансовых гигантов, как BlackRock и Franklin Templeton, предъявляются беспрецедентные строгие требования к базовым публичным цепочкам по производительности, безопасности, конфиденциальности и соблюдению нормативных требований. Хотя такие L1, как Solana и Sui, демонстрируют выдающуюся производительность, количество узлов проверки относительно невелико, уровень централизации высок, и у них есть черная история с простоями, что делает их недостаточными для высокоценной финансовой деятельности с точки зрения безопасности и стабильности. Различные OP Rollup в экосистеме Ethereum (такие как Base, MegaETH) хотя и демонстрируют хорошую производительность и обладают хорошей безопасностью благодаря записи состояния в L1, однако их семидневный период оспаривания является неприемлемым риском для высокоценного финансового расчета. В этом контексте, криптографический уровень окончательности, предлагаемый технологиями ZK, а также способность доказывать соблюдение нормативных требований (например, подтвердить, что определенный адрес прошел KYC) без раскрытия конфиденциальных данных идеально соответствуют основным требованиям институциональных финансов. Если обновление zkEVM сможет повысить пропускную способность, то экосистема Ethereum с нативной интеграцией ZK технологий (L1+ZK Rollup) сможет достичь "производительности, безопасности и стабильности", став идеальным глобальным расчетным уровнем для RWA волн.
Три, ZK-эпилог в действии
Эфир ZK-эпилог давно уже начал проявлять признаки, кроме блога, опубликованного Софией Голд:
Еще в апреле 2025 года была предложена крайне перспективная концепция: заменить существующую EVM на более дружелюбную к ZK архитектуру набора команд RISC-V. Сторонники считают, что по сравнению с неэффективностью EVM при генерации ZK-цирков, более простая архитектура RISC-V сможет обеспечить многократное повышение эффективности доказательства. Хотя это предложение вызвало споры из-за разрушения существующей экосистемы, оно установило четкую "северную звезду" для ZK-реализации Ethereum — определило стандарты для идеального zkEVM и указало направление для оптимизации.
На рабочем семинаре в Берлине в июне 2025 года исследователь фонда Ethereum Джастин Дрейк четко заявил, что Ethereum "полностью ставит на ZK" (Ethereum is going all in on ZK). Это заявление подтвердило непоколебимую решимость основной команды разработчиков.
ZK-окончание Ethereum также не является "пустыми разговорами". Хотя в настоящее время Optimistic Rollup все еще опережает ZK Rollup по всем ключевым показателям, проблемы, препятствующие практическому применению ZK-технологий, постепенно решаются. Три основные причины, которые исторически привели к серьезному отставанию ZK Rollup:
Во-первых, это техническая сложность и узкие места производительности: в прошлом создание ZK-доказательств для общего EVM-калькулятора считалось крайне трудным, медленным и дорогим, а иногда даже вычислительно неприемлемым.
Во-вторых, разница в опыте разработчиков: ORU с самого начала обеспечила высокую совместимость с EVM, тогда как ранние ZKR (такие как ранние версии StarkNet) не были совместимы с EVM, требуя от разработчиков изучения совершенно нового языка программирования, что создает высокие барьеры для входа.
Наконец, это фрагментация ликвидности и сетевые эффекты: ORU благодаря своей первоочередной позиции собрал большое количество пользователей и ликвидности, создавая мощный сетевой эффект.
Тем не менее, эти исторические препятствия преодолеваются одно за другим.
В области скорости доказательства благодаря прогрессу новых алгоритмов доказательства, таких как PLONK и STARKs, а также развитию аппаратных технологий ускорения, таких как GPU, FPGA и даже ASIC, время генерации ZK-доказательства было значительно сокращено. Например, SP1 zkVM компании Succinct теперь может доказать 93% блоков основной сети Ethereum в среднем за 10,3 секунды, что очень близко к цели в 10 секунд, установленной фондом Ethereum.
В отношении совместимости zkEVM прошел процесс эволюции от совместимости типа 4 до совместимости типа 1. Сегодня такие проекты, как Scroll, Taiko, Polygon zkEVM, уже могут достигать почти идеальной эквивалентности EVM (соответствуя стандартам типа 2 или даже типа 1), что в корне устраняет разрыв в опыте разработчиков по сравнению с ORU. Более того, модель безопасности Multi-Proof с использованием ZK для L1 зависит от нескольких независимых систем доказательства, и текущий бурный рост сектора zkEVM создает основу для реализации этой модели безопасности.
В заключение, основные препятствия, которые исторически мешали развитию технологии ZK — производительность и совместимость — быстро преодолеваются. Технология уже полностью готова к широкомасштабному практическому применению, и только предвзятое мнение о том, что технология ZK "медленная, дорогая и сложная" мешает людям её принять. Видение основной команды Ethereum "сделать Ethereum крупнейшим ZK-приложением в мире" как раз и поддерживает современную технологию ZK, подавая сигнал о начале широкомасштабного внедрения технологии ZK в практику.
Четыре, экосистема ROLLUP
NATIVE ROLLUP прокладывает高速公路 для ZK ROLLUP
Полная ZK-реализация Ethereum L1 коренным образом изменит конкурентную среду второго уровня, среди самых революционных изменений - предложение "родного Rollup" (Native Rollup). В настоящее время ZK-Rollup требует развертывания на L1 сложного смарт-контракта проверяющего, содержащего тысячи строк кода, для проверки ZK-доказательств, представленных L2. Это не только увеличивает сложность разработки, но и создает риски безопасности из-за неоднородности уровня разработчиков. После реализации zkEVM на L1 будет введена функция EXECUTE, позволяющая ZK Rollup напрямую вызывать встроенную логику проверки L1 из смарт-контрактов на L1, без необходимости написания собственного контракта.
Это изменение принесло три преимущества для ZK-Rollup:
Во-первых, это коренное улучшение безопасности: разработчики проекта Rollup могут полностью передать огромные инженерные задачи по созданию и поддержке EVM-валидаторов L1, упростив сложные технические проблемы до вызова одной строки кода;
Во-вторых, была достигнута настоящая эквивалентность EVM и обратная совместимость, нативный Rollup синхронизируется с L1, без необходимости в отдельном процессе управления;
В конце концов, это значительное улучшение рентабельности: использование встроенной функции предварительной компиляции протокола L1 позволяет избежать накладных расходов на интерпретацию виртуальной машины, а эффективность верификации выше по сравнению с реализацией смарт-контрактов на несколько порядков, что, в свою очередь, позволяет значительно снизить операционные расходы на ZK Rollup.
Эта функция Native Rollup эквивалентна тому, что Ethereum L1 бесплатно предоставляет всем ZK-Rollup.