Начало
Команда zkEVM Фонда Ethereum предложила включить EIP-8025 в форк Hegota, сообщаетcя по итогам обсуждений на встрече All Core Developers (ACD). EIP-8025 вводит Optional Execution Proofs (опциональные доказательства выполнения), позволяя узлам Ethereum вместо повторного исполнения всех транзакций напрямую проверять доказательства с нулевым разглашением. В настоящее время узлы валидируют корректность блока, повторно исполняя результаты транзакций; EIP-8025 добавляет альтернативу, где узлы могут проверить ZK-доказательство валидности блока, не повторяя полные вычисления. На данном этапе предложение работает как полностью опциональный механизм — затронуты будут только те узлы, которые решат использовать доказательства, а консенсусные правила остаются без изменений. Это означает формальный сдвиг Ethereum от экспериментальной фазы к интеграции технологии с нулевым разглашением на уровне протокола, потенциально снижая операционные расходы узлов и в долгосрочной перспективе позволяя делать более крупные блоки с более сложным исполнением.
Дальнейшие исследования
EIP-8025: нулевая-knowledge-инфраструктура Ethereum переходит в фазу обновления протокола
Ключевой механизм EIP-8025 строится вокруг Optional Execution Proofs. Вместо того чтобы требовать, чтобы все узлы повторно исполняли транзакции для проверки корректности блока, узлы могут альтернативно валидировать доказательство с нулевым разглашением, подтверждающее корректность выполнения. Предложение не превращает Ethereum в ZK-цепочку немедленно; вместо этого оно закладывает основу для перехода от «цепочки прямого повторного исполнения» к «цепочке проверки доказательств».
Значимость заключается в снижении операционной нагрузки на узлы и создании инфраструктуры для более крупных блоков и более сложного исполнения. Давая узлам возможность проверять доказательства вместо воспроизведения вычислений, Ethereum сможет поддерживать более высокую пропускную способность и вычислительные возможности.
Виталик Бутерин о ИИ и формальной верификации для кибербезопасности
Сооснователь Ethereum Виталик Бутерин опубликовал анализ о том, как сочетание ИИ и формальной верификации может преобразовать кибербезопасность. Формальная верификация математически доказывает, что программы работают ровно так, как задумано, — в отличие от традиционных security-аудитов, где люди просматривают код на предмет уязвимостей.
Бутерин предложил, что ИИ может генерировать низкоуровневый ассемблерный код, а формальная верификация подтверждает, что этот код производит идентичное поведение по сравнению с человекочитаемыми реализациими высокого уровня. Такой подход решает традиционную дилемму: ассемблерный код выполняется эффективно, но плохо поддаётся ручному обзору, тогда как код высокого уровня делает ставку на читаемость, а не на оптимизацию производительности.
В качестве примеров экосистемы Ethereum Бутерин приводит Arklib (стремится к формально верифицируемым STARK для доказательства корректности сложных вычислений) и evm-asm (пишет EVM на RISC-V и доказывает эквивалентность реализациям на Lean, где Lean — инструмент формальной верификации).
Для блокчейн-протоколов и смарт-контрактов более строгие методы верификации особенно важны, поскольку ошибки при развертывании влекут за собой тяжёлые последствия.
ZK Summit 14: фокус на системы для доказательств смещается к гарантиям для реального мира
ZK Summit 14 прошёл 7 мая в Риме. На мероприятии было представлено 24 доклада от крупных команд ZK-экосистемы, включая Ethereum Foundation, Succinct, Aztec, Nethermind и Miden.
Самая заметная тенденция отражала смещение акцента с метрик производительности системы доказательств — скорости, размера доказательств, стоимости верификации — к гарантиям для реальных систем. Технология с нулевым разглашением теперь интегрируется в платёжные системы, системы верификации личности, zkVM и приложения машинного обучения. В этих сценариях одной лишь производительности доказательств недостаточно:
- Платёжные системы должны защищать суммы транзакций и пользовательскую информацию.
- Системы идентификации должны позволять пользователям доказывать требуемые учётные данные, скрывая при этом прочие личные данные.
- zkVM должны корректно доказывать выполнение сложных программ.
- Приложения машинного обучения требуют верификации того, что результаты инференса модели не были подменены.
Технология ZK расширилась за пределы «быстрого генератора доказательств» и стала способом проектировать гарантии безопасности и приватности, адаптированные под требования каждой системы. ZK Summit 14 показал, как технология с нулевым разглашением развивается от исследований к глубокой интеграции с реальной инфраструктурой и приложениями.
Обновления экосистемы
Запуск Kohaku Framework для приватности уже близко, идут тесты интеграции с кошельками
Модульный фреймворк приватности Ethereum Kohaku приближается к запуску: уже идут тесты интеграции с кошельками. Kohaku предоставляет единый интерфейс, позволяющий кошелькам выполнять приватные транзакции с использованием нескольких криптографических бэкендов без прямой реализации функциональности приватности.
Сейчас тесты интеграции Kohaku проводят кошельки, включая Ambire. Исторически функции приватности сталкивались с барьерами внедрения в пользовательских кошельках, потому что отдельные протоколы приватности используют разные архитектуры, требуя поддержки каждой технологии отдельно.
Kohaku решает эту фрагментацию, позволяя кошелькам получать доступ к нескольким бэкендам приватности через единый интерфейс. Рост внедрения может расширить использование Railgun, который определён как базовый движок приватности Kohaku. Фреймворк нацелен превратить приватность Ethereum из «специализированного инструмента для продвинутых пользователей» в «естественно встроенную функцию кошелька».
L2BEAT верифицирует облегчённый ZK Exit Hatch у Lighter
Платформа анализа Layer 2 L2BEAT верифицировала ZK-цепочки Lighter — DEX для перпетуальных фьючерсов на Layer 2. Lighter позволяет торговать перпетуальными деривативами — контрактами без сроков экспирации.
L2BEAT скомпилировал все ZK-цепочки Lighter напрямую из исходного кода и подтвердил соответствие развернутым контрактам верификатора (смарт-контрактам, валидирующим отправленные ZK-доказательства). Эта верификация касается функциональности exit hatch — механизма экстренного вывода активов пользователями, если секвенсеры или операторы Layer 2 останавливаются.
Ранее Lighter скрывал часть исходного кода верификатора, что мешало пользователям независимо генерировать exit proofs (данные, доказывающие права на вывод) во время сбоя секвенсера. После верификации L2BEAT пользователи теперь могут генерировать exit proofs самостоятельно, что повышает возможность выводить активы без ожидания команды Lighter в экстренных ситуациях.
Этот кейс показывает, что для безопасности Layer 2 верификация того, что развернутый код совпадает с общедоступным кодом, столь же критична, как и сама доступность кода.
ETHGlobal меняет формат хакатона
ETHGlobal перестроила формат своих хакатонов. Традиционные хакатоны требовали, чтобы участники выбирали идеи и собирали минимально жизнеспособные продукты (MVP — первые версии, демонстрирующие ключевую функциональность) за короткие временные рамки.
Начиная с Нью-Йоркского хакатона, новые треки позволяют участникам добавлять функции в существующие репозитории open source или вносить функциональность в уже созданные продукты, а затем публично выпускать улучшения как открытый исходный код. Это изменение повышает вероятность того, что результаты хакатона превратятся в реальные вклад в экосистему. Раньше MVP, сделанные в короткие сроки, часто прекращали развиваться после окончания события. Вклад в действующие open-source проекты напрямую приносит пользу текущим пользователям и разработчикам.
ETHGlobal расширяет фокус с «быстрого показа новых идей» на «осмысленное улучшение существующей инфраструктуры экосистемы». По мере взросления Ethereum усиливать существующие публичные блага и инструменты для разработчиков становится не менее важно, чем создавать полностью новые приложения.
Обновления сообщества
Старшие участники Ethereum Foundation выходят из команды
Два старших исследователя Ethereum Foundation подали в отставку: Carl Bewick и Julian Ma. Это доводит общее число уходов старших contributors до семи за два месяца.
Carl Bewick отработал в Ethereum Foundation примерно семь лет, участвуя в исследованиях консенсуса, в первоначальном дизайне Beacon Chain, а также в церемонии KZG (криптографической процедуре, связанной с масштабированием доступности данных Ethereum).
Julian Ma проработал примерно четыре года, соавтором EIP-7805 FOCIL и участвовал в FCR GTM (обсуждения устойчивости к цензуре и гарантий включения транзакций, а также правил быстрой валидации, которые позволяют быстрее воспринимать финальность транзакций).
Недавние увольнения ключевых специалистов по исследованиям протокола и координации апгрейдов вызывают вопросы о том, как поддерживать координацию разработки протокола и преемственность исследований.
Railgun привлекает внимание на фоне ожиданий внедрения Kohaku
Протокол приватности Railgun получает внимание на основе перспектив внедрения Kohaku. Анализ предполагает, что более тесная интеграция кошельков с Kohaku может расширить использование Railgun. Railgun позволяет взаимодействовать с Ethereum DeFi при сохранении приватности — стандартные on-chain транзакции раскрывают адреса кошельков, суммы транзакций и взаимодействующие протоколы, тогда как Railgun скрывает эту информацию.
Railgun взимает 0,25% комиссии за Shield-действия (перемещение активов в зоны, защищённые приватностью) и за unShield-действия (вывод в публичные области). Рост внедрения кошельков через Kohaku и увеличение объёма приватных транзакций расширят выручку Railgun от комиссий.
Анализ также отмечал, что Railgun выглядит недооценённым по сравнению с монетами приватности вроде ZEC и DASH: дифференциация заключается в прямом взаимодействии с Ethereum DeFi. Если ZEC и DASH работают как отдельные монеты приватности, то Railgun выступает инструментом приватности внутри Ethereum DeFi. Если Kohaku добьётся существенного внедрения кошельков, Railgun может стать основным бенефициаром инфраструктуры приватности Ethereum.
Еженедельные метрики Ethereum
- Годовая инфляция: 0,833%
- Чистое еженедельное предложение: 19 422,04 ETH
- Доля стейкинга: 31,50%
- Рыночная капитализация стейблкоинов: $163,019 миллиарда
- Net outflows по спотовому ETF на ETH в США: $255,02 миллиона
Данные взяты из Ultrasound Money, DeFi Llama, Dune и Parsec Investors.
