Сооснователь Ethereum Виталик Бутерин заявил, что «битва за скорость» среди zkEVM «окончательно выиграна», а главный приоритет должен теперь «полностью сместиться в сторону безопасности». В публикации от 15 октября в соцсети X он поздравил команду ZKsync Airbender с результатом, который меняет постановку задачи для всех zkEVM: вместо погони за быстродействием на первый план выходят доказательства, корректность которых сама может быть доказана.
13 октября ZKsync представила Airbender Prime. Как сообщается, это первый Ethereum-прувер, который демонстрирует формирование доказательств в реальном времени на одной видеокарте. На одной NVIDIA RTX PRO 6000 Blackwell система обработала последовательную серию из 7200 блоков основной сети Ethereum: 99% доказательств были готовы менее чем за 10 секунд, а каждый блок завершался не более чем за 12 секунд с учётом подготовки свидетелей. Ранее сопоставимые результаты требовали крупных кластеров GPU. Прувер построен на открытой архитектуре RISC-V и использует хэш-ориентированную технологию STARK; в ZKsync заявляют об устойчивости к квантовым атакам и поставляют отдельный верификатор для независимой проверки.
Бутерин сформулировал трёхчастный чек-лист формальной верификации: доказать эквивалентность арифметизации спецификации Ethereum, установить жёсткую верхнюю границу затрат прувера относительно газа в блоке и верифицировать безопасность самой системы доказательств. По его мнению, оптимизация пропускной способности была более простой инженерной задачей, поскольку имела измеримые бенчмарки, тогда как соответствие математического доказательства правилам Ethereum — процесс медленный и менее заметный, но именно он определяет доверие.
Второй релиз — Ethereum ZK Prover от ZKsync — ориентирован на практическое применение в DeFi: ожидается, что он ускорит подтверждение транзакций и снизит комиссии. На это обратил внимание, в частности, комментатор @WuBlockchain. Реакция рынка пока сдержанная, поскольку эффект зависит от того, как разработчики и DeFi-протоколы начнут использовать инструмент. Среди смежных тем — предложение ENS DAO по ENSv2. Непосредственно затрагиваются активы ETH и ZK, а дальнейшее внимание будет сосредоточено на интеграциях, объёме транзакций и активности разработчиков.
