Ethereum Foundation намечает путь к полному внедрению ZK и развертыванию zkEVM уровня 1

Некоммерческая организация, занимающаяся разработкой блокчейна Ethereum, Фонд Эфириума опубликовали план, подробно описывающий прогресс Ethereum в направлении полного принятия доказательств с нулевым разглашением (ZK), начиная с внедрения zkEVM уровня 1. 

По данным Ethereum Foundation, наиболее эффективный и безопасный подход к развертыванию zkEVM уровня 1 заключается в предоставлении валидаторам возможности управлять клиентами, которые вместо повторного выполнения полезных нагрузок проверяют несколько доказательств, сгенерированных разными zkVM, каждое из которых проверяет отдельную реализацию EVM.

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

На начальном этапе ожидается, что лишь небольшое количество валидаторов будут запускать клиенты ZK. Однако, поскольку их безопасность доказана в производственных средах, а Ethereum Foundation инвестирует в формальную проверку, разработку спецификаций, аудиты и выплаты вознаграждений за обнаружение ошибок, ожидается, что их принятие будет постепенно расти. 

Как только подавляющее большинство заинтересованных сторон будут уверены в работе клиентов ZK, лимит газа можно будет увеличить до уровня, который обяжет валидаторов со стандартным оборудованием проверять доказательства, а не повторно выполнять блоки. Когда все валидаторы будут участвовать в проверке доказательств выполнения, эти же доказательства могут быть использованы прекомпиляцией EXECUTE для поддержки нативных zk-rollup-ов.

DefiТребования к доказательствам в реальном времени для уровня 1 Ethereum 

Ключевым преимуществом реализации этого плана является использование всей экосистемы zkVM для превращения Ethereum в крупнейшее приложение ZK в мире. Многочисленные zkVM уже проверяют блоки Ethereum, регулярно сообщая об улучшении производительности. Чтобы сохранить безопасность, жизнеспособность и устойчивость к цензуре уровня 1, Фонд Эфириума предлагает стандартизированный defiразработка доказательной базы в реальном времени для разработчиков zkVM.

Что касается систем доказательства, zkVM, нацеленные на доказательство в реальном времени, должны стремиться к 128-битной безопасности, что считается подходящей долгосрочной целью для Уровень Эфириума 1 Тем не менее, начальный минимум 100-битной безопасности приемлем для решения краткосрочных инженерных задач по достижению полной 128-битной целевого уровня. Размеры доказательств должны оставаться менее 300 КБ, и следует избегать использования рекурсивных оболочек, требующих доверенных настроек. Ожидается, что системы доказательств достигнут 128-битной безопасности к моменту запуска клиентов ZK в эксплуатацию, при этом по мере улучшения времени проверки будут вводиться более строгие критерии безопасности. Учитывая текущее время слота 12 секунд и максимальное время распространения данных по сети приблизительно 1.5 секунды, проверка в режиме реального времени является defiкак происходящее в течение 10 секунд или менее. 

Ожидается, что zkVM смогут проверить не менее 99% блоков основной сети в течение этого периода времени, а выбросы и потенциальные векторы искусственного отказа в обслуживании будут устранены в будущих обновлениях сети. 

Чтобы поддерживать оптимальную жизнеспособность и устойчивость к цензуре, defiВведение проверки в реальном времени поддерживает «домашнюю проверку», поощряя индивидуальных стейкеров, управляющих валидаторами из дома, к участию в проверке. Хотя ожидается повышение устойчивости к цензуре за счёт принудительного включения транзакций до обязательной проверки доказательств ZK, домашняя проверка остаётся критически важной мерой безопасности. Поскольку облачная проверка уже экономически эффективна с использованием многопроцессорных экземпляров GPU, команды zkVM, сосредоточенные на проверке в реальном времени, будут отдавать приоритет оптимизации для локальных конфигураций, где ограничения ресурсов более выражены.

Локальная проверка в режиме реального времени потребует максимальных капитальных затрат около 100,000 80,000 долларов США, что сопоставимо с текущим требованием к стейкингу для работы валидатора в размере около 10 10 долларов США. Ожидается, что со временем эти затраты будут снижаться, даже по мере увеличения лимита газа. Помимо затрат на оборудование, основным ограничением для домашней проверки с использованием графических процессоров является энергопотребление. Большинство жилых домов имеют доступную мощность не менее XNUMX кВт, а некоторые оснащены цепями, рассчитанными на питание бытовых приборов с высоким потреблением энергии или зарядку электромобилей с такой мощностью. Следовательно, проверка в режиме реального времени должна быть осуществима на оборудовании, мощность которого не превышает XNUMX кВт.