Конечная ZK Ethereum: глубокая логика и влияние полной ZK
Для тех, кто следит за развитием технологии Ethereum, недавняя статья инженеров Ethereum под названием "Доставка L1 zkEVM #1: Реальное доказательство" имеет важное значение. Хотя это всего лишь техническая концепция основной команды разработчиков Ethereum и еще не вступила в официальный процесс EIP, до того как стать установленным решением для обновления основной сети, еще предстоит пройти долгий путь, но сигналы, которые она излучает, не следует недооценивать.
Эта статья ясно демонстрирует ключевую дорожную карту будущего развития Ethereum: всесторонняя и глубокая интеграция технологии нулевых знаний на всех уровнях протокола Layer 1, от уровня консенсуса до уровня исполнения. Согласно этой технологической дорожной карте, первый ключевой шаг заключается в модернизации EVM различных узлов в zkEVM. Таким образом, узлы могут синхронно генерировать соответствующие доказательства с нулевыми знаниями в процессе выполнения транзакций и работы смарт-контрактов, предоставляя подтверждение корректности выполнения для узлов-проверяющих.
Это не просто очередная технологическая итерация, а архитектурная революция, сопоставимая с "The Merge". Она направлена на то, чтобы в корне решить многократные проблемы, с которыми сталкивается Ethereum в области масштабируемости, безопасности и экономической модели. Так почему Ethereum решает в этот момент "всё поставить" на ZK? Какова глубокая логика, стоящая за этим стратегическим поворотом? Как это изменит наш привычный L1 и всю экосистему L2?
В этой статье мы основываясь на существующих исследованиях, подробно расскажем о великой нарративе "ZK-окончание" Ethereum и проанализируем его мотивации, действия и дальние последствия.
Один. Переход от "повторного выполнения" к "доказательному подтверждению"
Концепция ZK-версии Ethereum основана на парадигмальном пересмотре механизма проверки консенсуса. Недавно опубликованная дорожная карта L1 zkEVM предоставляет четкий технический путь для этого преобразования.
Текущая модель: повторное выполнение (Re-execution)
В настоящее время, когда предлагается новый блок, все узлы-валидаторы в сети должны независимо и полностью повторно выполнить каждую транзакцию в этом блоке, чтобы вычислить и проверить, соответствует ли итоговый корень состояния заявленному предложителем. Этот процесс является ресурсоемким и представляет собой основное узкое место, ограничивающее пропускную способность Ethereum L1.
Будущая модель: проверка доказательств (Proof Verification)
В новой архитектуре L1 zkEVM строители блоков, создавая блоки, одновременно производят компактное ZK-доказательство валидности. Другим валидаторам, получившим блок и доказательство, больше не нужно повторно выполнять транзакции, им достаточно проверить это криптографическое доказательство. Поскольку вычислительные расходы на "проверку ZK Proof" на несколько порядков ниже, чем на "повторное выполнение транзакций", и что более важно, время, необходимое для проверки доказательства, практически не зависит от количества транзакций, которые оно охватывает, это позволяет Ethereum значительно увеличить лимит Gas блоков, не повышая при этом порог аппаратного обеспечения валидаторов, чтобы вместить больше транзакций. Упоминается, что лимит Gas L1 может быть увеличен в 10 раз, а в более долгосрочной перспективе даже до 100 раз, что позволит достичь масштабируемости L1 при сохранении децентрализации.
В общем, будущий Ethereum L1 по своей архитектуре будет очень похож на огромный, родной ZK-Rollup, что позволит Ethereum L1 стать "самым большим ZK-приложением в мире".
Строгие технические стандарты
Команда Ethereum установила крайне строгие технические стандарты для реализации L1 zkEVM, при этом снижая задержки и увеличивая пропускную способность, а также обеспечивая безопасность и соблюдение принципов децентрализации.
| Метрики | Целевое значение | Принцип/влияние |
|------------------|-------------------|--------------------------------------------------------------------|
| Доказательство задержки (99% перцентиль ) | до 10 секунд | Это "реальное соревнование" в его основе. Задержка должна быть достаточно низкой, чтобы без проблем вписаться в 12-секундный цикл блоков, не становясь новым узким местом. |
| Криптографическая безопасность | 128 бит ( минимальный 100 бит ) на начальном этапе запуска | Обеспечьте криптографическую прочность доказательства, достаточную для противостояния текущим и предсказуемым будущим вычислительным атакам, обеспечивая безопасность L1.
| Размер доказательства | Меньше 300 KiB | Доказательство должно быть достаточно маленьким, чтобы эффективно распространяться в P2P-сети и не становиться новым узким местом сети.
| Стоимость оборудования для валидаторов | Не превышает 100,000 долларов | Предназначено для реализации "домашнего доказательства", чтобы обеспечить независимым стейкерам возможность участвовать в генерации доказательства, как последняя линия защиты от цензуры. |
| Энергопотребление валидатора | Ниже 10 кВт | Энергопотребление сопоставимо с зарядной станцией для бытовых электрических автомобилей, что дополнительно снижает барьеры для домашнего валидации и обеспечивает децентрализацию. |
Модель безопасности многофакторных доказательств
Чтобы предотвратить потенциальные неизвестные уязвимости в реализации zkEVM, данный маршрут вводит механизм безопасности "многочисленных доказательств". Это требует, чтобы для действительности одного и того же блока несколько 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, Ethereum выбрал уникальный путь конкуренции. Он не подражал конкурентам, жертвуя степенью децентрализации ради повышения производительности, а вместо этого использовал технологии ZK, чтобы добиться скачка производительности, изменив валидационную работу с "дорогого воспроизведения" на "дешевую валидацию", сохраняя при этом свое основное преимущество — сеть из миллионов валидаторов. Эта стратегия направлена на укрепление защитного пояса Ethereum в области децентрализации и безопасности, одновременно повышая производительность, стремясь достичь безопасности и высокой производительности.
В заключение, это перспективная стратегия для подготовки к волне RWA и институциональных финансов. Токенизация RWA широко рассматривается как следующая триллионная рыночная возможность для блокчейна. С приходом таких финансовых гигантов, как BlackRock и Franklin Templeton, были выставлены беспрецедентно строгие требования к производительности, безопасности, конфиденциальности и соблюдению норм для основных публичных блокчейнов. Хотя такие L1, как Solana и Sui, показывают выдающиеся результаты, количество узлов проверки относительно невелико, уровень централизации достаточно высок, и у них есть черные истории с простоями, что делает их недостаточно безопасными и стабильными для высокоценностных финансовых операций. В то время как различные OP Rollup в экосистеме Ethereum имеют хорошую производительность и обеспечивают хорошую безопасность благодаря записи состояния на L1, их семидневный период оспаривания является неприемлемым риском для высокоценностных финансовых расчетов. В этом контексте ZK-технологии предлагают криптографически обеспеченную окончательность и способность доказать соблюдение норм без раскрытия конфиденциальных данных, что идеально соответствует основным требованиям институциональных финансов. Если обновление zkEVM сможет увеличить пропускную способность, то экосистема Ethereum с нативной интеграцией ZK-технологий сможет сочетать "производительность, безопасность и стабильность", став идеальным глобальным расчетным уровнем для волны RWA.
Три, ZK-апокалипсис в действии
Эфир ZK-эпилог давно показал свои признаки, кроме недавно опубликованного блога:
Еще в апреле 2025 года была выдвинута очень перспективная идея: заменить существующую EVM архитектурой набора инструкций RISC-V, более дружелюбной к ZK. Сторонники считают, что, по сравнению с неэффективным поведением EVM при генерации ZK-цепей, более простая архитектура RISC-V может привести к увеличению эффективности доказательства на порядок. Несмотря на то, что это предложение вызвало споры из-за разрушения существующей экосистемы, оно установило ясную "Полярную звезду" для ZK-реализации Ethereum — уточнив стандарты идеального zkEVM и указав направление для оптимизации.
На рабочем семинаре в Берлине в июне 2025 года исследователь Фонда Ethereum ясно заявил, что Ethereum в расширении L1 "полностью ставит на ZK". Это заявление подтверждает твердую решимость основной команды разработчиков.
Эфирная ZK конечная форма также вовсе не является "праздной болтовней". Несмотря на то, что в настоящее время Оптимистичный Роллап по всем ключевым показателям всё ещё опережает ZK Роллап, трудности, препятствующие практическому применению ZK технологии, постепенно преодолеваются. Три основные причины, исторически приведшие к серьезному отставанию ZK Роллап:
Во-первых, это техническая сложность и производственные узкие места: в прошлом генерация ZK-доказательств для универсальных EVM-вычислений считалась крайне сложной, медленной и дорогой, даже вычислительно невозможной.
Во-вторых, разница в опыте разработчиков: ORU с самого начала обеспечил высокую совместимость с EVM, в то время как ранние ZKR не были совместимы с EVM, требуя от разработчиков изучения совершенно нового языка программирования, что создавало крайне высокие барьеры для входа.
Наконец, это фрагментация ликвидности и сетевой эффект: ORU, благодаря своему первому преимуществу, собрала большое количество пользователей и ликвидности, сформировав мощный сетевой эффект.
Однако эти исторические преграды преодолеваются одну за другой.
В области скорости доказательства, благодаря прогрессу новых поколений алгоритмов доказательства, таких как PLONK и STARKs, а также развитию аппаратных технологий ускорения, таких как GPU, FPGA и даже ASIC, время генерации ZK-доказательств значительно сократилось. Например, SP1 zkVM одной компании теперь может доказать 93% блоков основной сети Ethereum в среднем за 10,3 секунды, что очень близко к целевому значению в 10 секунд, установленному Фондом Ethereum.
В отношении совместимости zkEVM прошел эволюцию от совместимости типа 4 до совместимости типа 1. Сегодня несколько проектов уже могут достичь почти идеальной эквивалентности EVM, что в корне устраняет разрыв в опыте разработчиков с ORU. Кроме того, модель безопасности Multi-Proof для ZK на L1 зависит от нескольких независимых систем доказательства, и текущий бурный рост сектора zkEVM закладывает основу для реализации этой модели безопасности.
Таким образом, основные препятствия, которые исторически тормозили развитие ZK-технологий — производительность и совместимость — быстро преодолеваются. Технология уже полностью готова к массовым практическим применениям, просто ранее устоявшиеся стереотипы о том, что ZK-технологии «медленные, дорогие и сложные», не позволяли людям принять её. Видение основной команды Ethereum «сделать Ethereum крупнейшим ZK-приложением в мире» как раз и поддерживает современные 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-валидаторов.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
10 Лайков
Награда
10
8
Поделиться
комментарий
0/400
ser_ngmi
· 13ч назад
Пусть будет! В любом случае, не выберешься за горизонт～
Ethereum полная ZK-реализация: революционное обновление, перестраивающее архитектуру L1 и структуру L2
Конечная ZK Ethereum: глубокая логика и влияние полной ZK
Для тех, кто следит за развитием технологии Ethereum, недавняя статья инженеров Ethereum под названием "Доставка L1 zkEVM #1: Реальное доказательство" имеет важное значение. Хотя это всего лишь техническая концепция основной команды разработчиков Ethereum и еще не вступила в официальный процесс EIP, до того как стать установленным решением для обновления основной сети, еще предстоит пройти долгий путь, но сигналы, которые она излучает, не следует недооценивать.
Эта статья ясно демонстрирует ключевую дорожную карту будущего развития Ethereum: всесторонняя и глубокая интеграция технологии нулевых знаний на всех уровнях протокола Layer 1, от уровня консенсуса до уровня исполнения. Согласно этой технологической дорожной карте, первый ключевой шаг заключается в модернизации EVM различных узлов в zkEVM. Таким образом, узлы могут синхронно генерировать соответствующие доказательства с нулевыми знаниями в процессе выполнения транзакций и работы смарт-контрактов, предоставляя подтверждение корректности выполнения для узлов-проверяющих.
Это не просто очередная технологическая итерация, а архитектурная революция, сопоставимая с "The Merge". Она направлена на то, чтобы в корне решить многократные проблемы, с которыми сталкивается Ethereum в области масштабируемости, безопасности и экономической модели. Так почему Ethereum решает в этот момент "всё поставить" на ZK? Какова глубокая логика, стоящая за этим стратегическим поворотом? Как это изменит наш привычный L1 и всю экосистему L2?
В этой статье мы основываясь на существующих исследованиях, подробно расскажем о великой нарративе "ZK-окончание" Ethereum и проанализируем его мотивации, действия и дальние последствия.
Один. Переход от "повторного выполнения" к "доказательному подтверждению"
Концепция ZK-версии Ethereum основана на парадигмальном пересмотре механизма проверки консенсуса. Недавно опубликованная дорожная карта L1 zkEVM предоставляет четкий технический путь для этого преобразования.
Текущая модель: повторное выполнение (Re-execution) В настоящее время, когда предлагается новый блок, все узлы-валидаторы в сети должны независимо и полностью повторно выполнить каждую транзакцию в этом блоке, чтобы вычислить и проверить, соответствует ли итоговый корень состояния заявленному предложителем. Этот процесс является ресурсоемким и представляет собой основное узкое место, ограничивающее пропускную способность Ethereum L1.
Будущая модель: проверка доказательств (Proof Verification) В новой архитектуре L1 zkEVM строители блоков, создавая блоки, одновременно производят компактное ZK-доказательство валидности. Другим валидаторам, получившим блок и доказательство, больше не нужно повторно выполнять транзакции, им достаточно проверить это криптографическое доказательство. Поскольку вычислительные расходы на "проверку ZK Proof" на несколько порядков ниже, чем на "повторное выполнение транзакций", и что более важно, время, необходимое для проверки доказательства, практически не зависит от количества транзакций, которые оно охватывает, это позволяет Ethereum значительно увеличить лимит Gas блоков, не повышая при этом порог аппаратного обеспечения валидаторов, чтобы вместить больше транзакций. Упоминается, что лимит Gas L1 может быть увеличен в 10 раз, а в более долгосрочной перспективе даже до 100 раз, что позволит достичь масштабируемости L1 при сохранении децентрализации.
В общем, будущий Ethereum L1 по своей архитектуре будет очень похож на огромный, родной ZK-Rollup, что позволит Ethereum L1 стать "самым большим ZK-приложением в мире".
Строгие технические стандарты
Команда Ethereum установила крайне строгие технические стандарты для реализации L1 zkEVM, при этом снижая задержки и увеличивая пропускную способность, а также обеспечивая безопасность и соблюдение принципов децентрализации.
| Метрики | Целевое значение | Принцип/влияние | |------------------|-------------------|--------------------------------------------------------------------| | Доказательство задержки (99% перцентиль ) | до 10 секунд | Это "реальное соревнование" в его основе. Задержка должна быть достаточно низкой, чтобы без проблем вписаться в 12-секундный цикл блоков, не становясь новым узким местом. | | Криптографическая безопасность | 128 бит ( минимальный 100 бит ) на начальном этапе запуска | Обеспечьте криптографическую прочность доказательства, достаточную для противостояния текущим и предсказуемым будущим вычислительным атакам, обеспечивая безопасность L1. | Размер доказательства | Меньше 300 KiB | Доказательство должно быть достаточно маленьким, чтобы эффективно распространяться в P2P-сети и не становиться новым узким местом сети. | Стоимость оборудования для валидаторов | Не превышает 100,000 долларов | Предназначено для реализации "домашнего доказательства", чтобы обеспечить независимым стейкерам возможность участвовать в генерации доказательства, как последняя линия защиты от цензуры. | | Энергопотребление валидатора | Ниже 10 кВт | Энергопотребление сопоставимо с зарядной станцией для бытовых электрических автомобилей, что дополнительно снижает барьеры для домашнего валидации и обеспечивает децентрализацию. |
Модель безопасности многофакторных доказательств
Чтобы предотвратить потенциальные неизвестные уязвимости в реализации zkEVM, данный маршрут вводит механизм безопасности "многочисленных доказательств". Это требует, чтобы для действительности одного и того же блока несколько 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, Ethereum выбрал уникальный путь конкуренции. Он не подражал конкурентам, жертвуя степенью децентрализации ради повышения производительности, а вместо этого использовал технологии ZK, чтобы добиться скачка производительности, изменив валидационную работу с "дорогого воспроизведения" на "дешевую валидацию", сохраняя при этом свое основное преимущество — сеть из миллионов валидаторов. Эта стратегия направлена на укрепление защитного пояса Ethereum в области децентрализации и безопасности, одновременно повышая производительность, стремясь достичь безопасности и высокой производительности.
В заключение, это перспективная стратегия для подготовки к волне RWA и институциональных финансов. Токенизация RWA широко рассматривается как следующая триллионная рыночная возможность для блокчейна. С приходом таких финансовых гигантов, как BlackRock и Franklin Templeton, были выставлены беспрецедентно строгие требования к производительности, безопасности, конфиденциальности и соблюдению норм для основных публичных блокчейнов. Хотя такие L1, как Solana и Sui, показывают выдающиеся результаты, количество узлов проверки относительно невелико, уровень централизации достаточно высок, и у них есть черные истории с простоями, что делает их недостаточно безопасными и стабильными для высокоценностных финансовых операций. В то время как различные OP Rollup в экосистеме Ethereum имеют хорошую производительность и обеспечивают хорошую безопасность благодаря записи состояния на L1, их семидневный период оспаривания является неприемлемым риском для высокоценностных финансовых расчетов. В этом контексте ZK-технологии предлагают криптографически обеспеченную окончательность и способность доказать соблюдение норм без раскрытия конфиденциальных данных, что идеально соответствует основным требованиям институциональных финансов. Если обновление zkEVM сможет увеличить пропускную способность, то экосистема Ethereum с нативной интеграцией ZK-технологий сможет сочетать "производительность, безопасность и стабильность", став идеальным глобальным расчетным уровнем для волны RWA.
Три, ZK-апокалипсис в действии
Эфир ZK-эпилог давно показал свои признаки, кроме недавно опубликованного блога:
Еще в апреле 2025 года была выдвинута очень перспективная идея: заменить существующую EVM архитектурой набора инструкций RISC-V, более дружелюбной к ZK. Сторонники считают, что, по сравнению с неэффективным поведением EVM при генерации ZK-цепей, более простая архитектура RISC-V может привести к увеличению эффективности доказательства на порядок. Несмотря на то, что это предложение вызвало споры из-за разрушения существующей экосистемы, оно установило ясную "Полярную звезду" для ZK-реализации Ethereum — уточнив стандарты идеального zkEVM и указав направление для оптимизации.
На рабочем семинаре в Берлине в июне 2025 года исследователь Фонда Ethereum ясно заявил, что Ethereum в расширении L1 "полностью ставит на ZK". Это заявление подтверждает твердую решимость основной команды разработчиков.
Эфирная ZK конечная форма также вовсе не является "праздной болтовней". Несмотря на то, что в настоящее время Оптимистичный Роллап по всем ключевым показателям всё ещё опережает ZK Роллап, трудности, препятствующие практическому применению ZK технологии, постепенно преодолеваются. Три основные причины, исторически приведшие к серьезному отставанию ZK Роллап:
Во-первых, это техническая сложность и производственные узкие места: в прошлом генерация ZK-доказательств для универсальных EVM-вычислений считалась крайне сложной, медленной и дорогой, даже вычислительно невозможной.
Во-вторых, разница в опыте разработчиков: ORU с самого начала обеспечил высокую совместимость с EVM, в то время как ранние ZKR не были совместимы с EVM, требуя от разработчиков изучения совершенно нового языка программирования, что создавало крайне высокие барьеры для входа.
Наконец, это фрагментация ликвидности и сетевой эффект: ORU, благодаря своему первому преимуществу, собрала большое количество пользователей и ликвидности, сформировав мощный сетевой эффект.
Однако эти исторические преграды преодолеваются одну за другой.
В области скорости доказательства, благодаря прогрессу новых поколений алгоритмов доказательства, таких как PLONK и STARKs, а также развитию аппаратных технологий ускорения, таких как GPU, FPGA и даже ASIC, время генерации ZK-доказательств значительно сократилось. Например, SP1 zkVM одной компании теперь может доказать 93% блоков основной сети Ethereum в среднем за 10,3 секунды, что очень близко к целевому значению в 10 секунд, установленному Фондом Ethereum.
В отношении совместимости zkEVM прошел эволюцию от совместимости типа 4 до совместимости типа 1. Сегодня несколько проектов уже могут достичь почти идеальной эквивалентности EVM, что в корне устраняет разрыв в опыте разработчиков с ORU. Кроме того, модель безопасности Multi-Proof для ZK на L1 зависит от нескольких независимых систем доказательства, и текущий бурный рост сектора zkEVM закладывает основу для реализации этой модели безопасности.
Таким образом, основные препятствия, которые исторически тормозили развитие ZK-технологий — производительность и совместимость — быстро преодолеваются. Технология уже полностью готова к массовым практическим применениям, просто ранее устоявшиеся стереотипы о том, что ZK-технологии «медленные, дорогие и сложные», не позволяли людям принять её. Видение основной команды Ethereum «сделать Ethereum крупнейшим ZK-приложением в мире» как раз и поддерживает современные 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-валидаторов.