Для тех, кто внимательно следит за развитием технологий Ethereum, недавняя публикация инженеров Ethereum под названием «Доставка L1 zkEVM #1: Реальное доказательство» имеет важное значение. Хотя это только представляет собой техническую концепцию основной команды разработчиков 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 строители блоков при генерации блока одновременно создают компактное доказательство нулевого знания (ZK). Другие валидаторы, получив блок и доказательство, больше не будут нуждаться в повторном выполнении транзакций, им достаточно будет проверить это криптографическое доказательство. Поскольку вычислительные расходы на "проверку ZK Proof" ниже на несколько порядков, чем на "повторное выполнение транзакций", и что более важно, время, необходимое для проверки доказательства, почти не зависит от количества транзакций, охватываемых этим доказательством, это позволяет Ethereum значительно увеличить предел газа блока, чтобы вместить больше транзакций, не повышая существенно порог аппаратного обеспечения валидаторов. Некоторые упоминали, что предел газа L1 может быть увеличен в 10 раз, а в более отдаленном будущем достигнуть 100 раз, обеспечивая масштабирование L1 при сохранении децентрализации.
В целом, будущее L1 Ethereum будет очень похоже на огромный, нативный ZK-Rollup, что позволит L1 Ethereum стать "самым крупным ZK-приложением в мире".
Строгие технические стандарты
Команда Ethereum установила крайне жесткие технические стандарты для реализации L1 zkEVM, при этом снижая задержку и повышая пропускную способность, а также обеспечивая безопасность и обязательства по децентрализации.
Доказательство задержки (99% перцентиль ): менее 10 секунд
Криптографическая безопасность: 128 бит ( минимально 100 бит в начале запуска )
Размер доказательства: менее 300 KiB
Стоимость оборудования для валидатора: не более 100 000 долларов США
Потребление энергии валидатора: ниже 10 кВт
Модель безопасности многопроверок
Чтобы предотвратить возможные неизвестные уязвимости в единственном реализованном zkEVM, данный дорожная карта вводит механизм безопасности "Мульти-доказательство" (Multi-Proof). Он требует, чтобы для проверки действительности одного и того же блока несколько zkEVM, созданных разными командами, предоставили несколько доказательств. Клиент проверяющего загружает и проверяет эти доказательства из разных источников. Только когда несколько независимых доказательств успешно пройдены, этот блок принимается уровнем консенсуса. Это по сути является продолжением и возвышением идеи "разнообразия клиентов" Эфира на уровне доказательства, принудительно вводя избыточность и разнообразие через протокол, что обеспечивает глубокую защиту для 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, Эфир выбрал уникальный путь конкуренции. Он не подражал конкурентам, жертвуя уровнем децентрализации (например, значительно увеличивая аппаратные требования для валидаторов и уменьшая количество валидирующих узлов) для повышения производительности, а вместо этого использовал технологии ZK, чтобы, сохраняя свое главное преимущество - сеть валидаторов численностью в миллион, осуществить скачок в производительности, изменив "дорогостоящую переигровку" на "дешевую валидацию". Эта стратегия направлена на укрепление защитного барьера Эфира в плане децентрализации и безопасности, одновременно повышая производительность, стараясь добиться сочетания безопасности и высокой производительности.
Наконец, это проактивное планирование для встречи с волной RWA и институциональных финансов. Токенизация RWA в целом рассматривается как следующая триллионная рыночная возможность для блокчейна. С приходом таких финансовых гигантов, как BlackRock и Franklin Templeton, к основным блокчейнам предъявляются беспрецедентные строгие требования по производительности, безопасности, конфиденциальности и соблюдению нормативных требований. Хотя Solana, Sui и другие L1 показывают отличные результаты, количество проверяющих узлов относительно невелико, степень централизации высока, и у них есть история сбоев, что делает их трудными для удовлетворения потребностей высокоценных финансовых операций в безопасности и стабильности. В то время как различные OP Rollup в экосистеме Ethereum (такие как Base, MegaETH) показывают хорошую производительность и обладают хорошей безопасностью благодаря записи состояния на L1, их семидневный период оспаривания является неприемлемым риском для высокоценных финансовых расчетов. В сравнении с этим, уровень окончательности в криптографии, предоставляемый ZK-технологиями, а также способность подтверждать соблюдение нормативных требований (например, доказать, что определенный адрес прошел KYC) без раскрытия конфиденциальных данных идеально соответствуют основным потребностям институциональных финансов. Если обновление zkEVM сможет повысить пропускную способность, то экосистема Ethereum с нативной интеграцией ZK-технологий (L1 + ZK Rollup) сможет одновременно достичь "производительности, безопасности и стабильности", став идеальным глобальным расчетным уровнем для поддержки волны RWA.
Три, ZK-апокалипсис в действии
Эфир ZK окончание уже проявило признаки, кроме недавнего блога, опубликованного некоторым инженером:
Еще в апреле 2023 года была предложена крайне перспективная идея: заменить существующую EVM архитектурой набора команд RISC-V, более дружелюбной к ZK. Сторонники считают, что по сравнению с низкой эффективностью EVM при генерации ZK цепей, более простая архитектура RISC-V может обеспечить многократное повышение эффективности доказательства. Несмотря на то, что это предложение вызвало споры из-за разрушительного воздействия на существующую экосистему, оно установило ясную "полярную звезду" для ZK-реализации Ethereum — определило стандарты идеального zkEVM и указало направление для оптимизации.
На воркшопе в Берлине в июне 2023 года исследователь фонда Ethereum четко заявил, что Ethereum "полностью ставит на ZK" в вопросах масштабирования L1. Это заявление подтвердило твердую решимость основной команды разработчиков.
Конечный результат 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 одной компании теперь может доказывать 93% блоков основной сети Ethereum в среднем за 10,3 секунды, что очень близко к целевому показателю в 10 секунд, установленному фондом Ethereum.
В плане совместимости, zkEVM прошел эволюцию от совместимости типа 4 до совместимости типа 1. Сегодня проекты такие как Scroll, Taiko, Polygon zkEVM могут достичь почти идеальной эквивалентности EVM (соответствуя стандартам типа 2 и даже типа 1), что в корне устраняет разрыв в опыте разработчиков с ORU. Более того, модель безопасности Multi-Proof, основанная на L1 ZK, зависит от нескольких независимых систем доказательства, и текущий бурный рост сектора zkEVM закладывает основу для реализации этой модели безопасности.
Таким образом, основные препятствия, которые исторически сдерживали развитие технологии ZK — производительность и совместимость — быстро преодолеваются. Технология уже полностью готова к широкомасштабному практическому применению, но прежние стереотипы о том, что ZK-технологии "медленные, дорогие и сложные", мешают людям сразу принять это. Видение основной команды Ethereum "сделать Ethereum крупнейшим ZK-приложением в мире" является поддержкой современной технологии ZK и звучит как сигнал к массовым инвестициям в ее практическое применение.
Четыре, переход экосистемы ROLLUP
NATIVE ROLLUP прокладывает高速道路 для ZK ROLLUP
Полная ZK-реализация Ethereum L1 кардинально изменит конкурентную среду Layer 2, и самым революционным изменением является предложение "родного 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 бесплатно предоставляет стандартный и высоко
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
10 Лайков
Награда
10
5
Поделиться
комментарий
0/400
RugPullAlarm
· 08-01 22:42
Получив stETH, вы хотите избавиться от больших затрат на разработку? zk неплохо играет эту игру.
Посмотреть ОригиналОтветить0
gas_fee_therapist
· 07-31 05:33
zk — это единственное лекарство для Ethereum.
Посмотреть ОригиналОтветить0
BearMarketGardener
· 07-29 23:50
Снова слишком быстро бегут, не успеваем за ритмом.
Посмотреть ОригиналОтветить0
ChainWatcher
· 07-29 23:47
Что бы я ни делал, Торговля криптовалютой на первом месте.
Ethereum полная ZK-реализация: архитектурная революция для Layer 1
"ZK-Конец" Эфириума: революция архитектурного уровня, пересекающая Layer 1
Для тех, кто внимательно следит за развитием технологий Ethereum, недавняя публикация инженеров Ethereum под названием «Доставка L1 zkEVM #1: Реальное доказательство» имеет важное значение. Хотя это только представляет собой техническую концепцию основной команды разработчиков 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 строители блоков при генерации блока одновременно создают компактное доказательство нулевого знания (ZK). Другие валидаторы, получив блок и доказательство, больше не будут нуждаться в повторном выполнении транзакций, им достаточно будет проверить это криптографическое доказательство. Поскольку вычислительные расходы на "проверку ZK Proof" ниже на несколько порядков, чем на "повторное выполнение транзакций", и что более важно, время, необходимое для проверки доказательства, почти не зависит от количества транзакций, охватываемых этим доказательством, это позволяет Ethereum значительно увеличить предел газа блока, чтобы вместить больше транзакций, не повышая существенно порог аппаратного обеспечения валидаторов. Некоторые упоминали, что предел газа L1 может быть увеличен в 10 раз, а в более отдаленном будущем достигнуть 100 раз, обеспечивая масштабирование L1 при сохранении децентрализации.
В целом, будущее L1 Ethereum будет очень похоже на огромный, нативный ZK-Rollup, что позволит L1 Ethereum стать "самым крупным ZK-приложением в мире".
Строгие технические стандарты
Команда Ethereum установила крайне жесткие технические стандарты для реализации L1 zkEVM, при этом снижая задержку и повышая пропускную способность, а также обеспечивая безопасность и обязательства по децентрализации.
Доказательство задержки (99% перцентиль ): менее 10 секунд Криптографическая безопасность: 128 бит ( минимально 100 бит в начале запуска ) Размер доказательства: менее 300 KiB Стоимость оборудования для валидатора: не более 100 000 долларов США Потребление энергии валидатора: ниже 10 кВт
Модель безопасности многопроверок
Чтобы предотвратить возможные неизвестные уязвимости в единственном реализованном zkEVM, данный дорожная карта вводит механизм безопасности "Мульти-доказательство" (Multi-Proof). Он требует, чтобы для проверки действительности одного и того же блока несколько zkEVM, созданных разными командами, предоставили несколько доказательств. Клиент проверяющего загружает и проверяет эти доказательства из разных источников. Только когда несколько независимых доказательств успешно пройдены, этот блок принимается уровнем консенсуса. Это по сути является продолжением и возвышением идеи "разнообразия клиентов" Эфира на уровне доказательства, принудительно вводя избыточность и разнообразие через протокол, что обеспечивает глубокую защиту для 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, Эфир выбрал уникальный путь конкуренции. Он не подражал конкурентам, жертвуя уровнем децентрализации (например, значительно увеличивая аппаратные требования для валидаторов и уменьшая количество валидирующих узлов) для повышения производительности, а вместо этого использовал технологии ZK, чтобы, сохраняя свое главное преимущество - сеть валидаторов численностью в миллион, осуществить скачок в производительности, изменив "дорогостоящую переигровку" на "дешевую валидацию". Эта стратегия направлена на укрепление защитного барьера Эфира в плане децентрализации и безопасности, одновременно повышая производительность, стараясь добиться сочетания безопасности и высокой производительности.
Наконец, это проактивное планирование для встречи с волной RWA и институциональных финансов. Токенизация RWA в целом рассматривается как следующая триллионная рыночная возможность для блокчейна. С приходом таких финансовых гигантов, как BlackRock и Franklin Templeton, к основным блокчейнам предъявляются беспрецедентные строгие требования по производительности, безопасности, конфиденциальности и соблюдению нормативных требований. Хотя Solana, Sui и другие L1 показывают отличные результаты, количество проверяющих узлов относительно невелико, степень централизации высока, и у них есть история сбоев, что делает их трудными для удовлетворения потребностей высокоценных финансовых операций в безопасности и стабильности. В то время как различные OP Rollup в экосистеме Ethereum (такие как Base, MegaETH) показывают хорошую производительность и обладают хорошей безопасностью благодаря записи состояния на L1, их семидневный период оспаривания является неприемлемым риском для высокоценных финансовых расчетов. В сравнении с этим, уровень окончательности в криптографии, предоставляемый ZK-технологиями, а также способность подтверждать соблюдение нормативных требований (например, доказать, что определенный адрес прошел KYC) без раскрытия конфиденциальных данных идеально соответствуют основным потребностям институциональных финансов. Если обновление zkEVM сможет повысить пропускную способность, то экосистема Ethereum с нативной интеграцией ZK-технологий (L1 + ZK Rollup) сможет одновременно достичь "производительности, безопасности и стабильности", став идеальным глобальным расчетным уровнем для поддержки волны RWA.
Три, ZK-апокалипсис в действии
Эфир ZK окончание уже проявило признаки, кроме недавнего блога, опубликованного некоторым инженером:
Еще в апреле 2023 года была предложена крайне перспективная идея: заменить существующую EVM архитектурой набора команд RISC-V, более дружелюбной к ZK. Сторонники считают, что по сравнению с низкой эффективностью EVM при генерации ZK цепей, более простая архитектура RISC-V может обеспечить многократное повышение эффективности доказательства. Несмотря на то, что это предложение вызвало споры из-за разрушительного воздействия на существующую экосистему, оно установило ясную "полярную звезду" для ZK-реализации Ethereum — определило стандарты идеального zkEVM и указало направление для оптимизации.
На воркшопе в Берлине в июне 2023 года исследователь фонда Ethereum четко заявил, что Ethereum "полностью ставит на ZK" в вопросах масштабирования L1. Это заявление подтвердило твердую решимость основной команды разработчиков.
Конечный результат 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 одной компании теперь может доказывать 93% блоков основной сети Ethereum в среднем за 10,3 секунды, что очень близко к целевому показателю в 10 секунд, установленному фондом Ethereum.
В плане совместимости, zkEVM прошел эволюцию от совместимости типа 4 до совместимости типа 1. Сегодня проекты такие как Scroll, Taiko, Polygon zkEVM могут достичь почти идеальной эквивалентности EVM (соответствуя стандартам типа 2 и даже типа 1), что в корне устраняет разрыв в опыте разработчиков с ORU. Более того, модель безопасности Multi-Proof, основанная на L1 ZK, зависит от нескольких независимых систем доказательства, и текущий бурный рост сектора zkEVM закладывает основу для реализации этой модели безопасности.
Таким образом, основные препятствия, которые исторически сдерживали развитие технологии ZK — производительность и совместимость — быстро преодолеваются. Технология уже полностью готова к широкомасштабному практическому применению, но прежние стереотипы о том, что ZK-технологии "медленные, дорогие и сложные", мешают людям сразу принять это. Видение основной команды Ethereum "сделать Ethereum крупнейшим ZK-приложением в мире" является поддержкой современной технологии ZK и звучит как сигнал к массовым инвестициям в ее практическое применение.
Четыре, переход экосистемы ROLLUP
NATIVE ROLLUP прокладывает高速道路 для ZK ROLLUP
Полная ZK-реализация Ethereum L1 кардинально изменит конкурентную среду Layer 2, и самым революционным изменением является предложение "родного 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 бесплатно предоставляет стандартный и высоко