ZKsync представила Airbender Prime — прувер для Ethereum, продемонстрировавший доказательство блоков основной сети в реальном времени на одном GPU. Это достижение побудило сооснователя Ethereum Виталика Бутерина призвать к новому фокусу на безопасности в разработке zkEVM.

В тестировании один GPU NVIDIA RTX PRO 6000 Blackwell доказал 99% из 7200 последовательных блоков основной сети Ethereum менее чем за 10 секунд каждый, включая подготовку witness-данных — этап сбора информации, необходимой пруверу для генерации доказательства. Каждый блок был завершён в течение 12 секунд. Ethereum создаёт новый блок примерно каждые 12 секунд, поэтому доказательство каждого блока внутри этого окна позволяет верификации не отставать от создания блоков. ZKsync объявила о достижении в посте в X.

Airbender Prime демонстрирует доказательство Ethereum в реальном времени

zkEVM генерирует криптографическое доказательство того, что блок был исполнен согласно правилам Ethereum, позволяя любому желающему проверить результат без повторного выполнения вычислений. По данным ZKsync, Airbender Prime использует хеш-ориентированные STARK — конструкцию доказательств, разработанную для постквантовой безопасности. Технология сочетает GKR sumcheck, полиномиальные обязательства WHIR и хеширование BLAKE2s.

Для доказательств Layer 1 система будет использовать обязательства на основе Keccak-256 вместо спариваний BN254. Она также следует открытому стандарту RISC-V и включает отдельный верификатор для независимой проверки доказательств.

По словам ZKsync, Airbender Prime возглавляет публичную таблицу лидеров ETHproofs, которая сравнивает пруверы zkEVM с блоками основной сети Ethereum, по заявленному среднему времени доказательства, эффективности GPU и стоимости. У проекта также есть работающие конфигурации на двух и четырёх GPU.

Виталик Бутерин призывает к усилению безопасности zkEVM

Бутерин поздравил команду ZKsync с достижением. Он заявил, что борьба за скорость доказательства была окончательно выиграна и что разработка zkEVM теперь должна уделять приоритетное внимание безопасности.

Бутерин назвал три требования формальной верификации: доказательство соответствия арифметизации спецификации Ethereum, установление жёсткого максимального соотношения между затратами на доказательство и газом блока, а также проверка безопасности самой системы доказательств. Арифметизация — это этап, на прувер кодирует правила исполнения Ethereum в математические утверждения, которые система доказательств может проверить. Его комментарии привлекают внимание к вопросу о том, способны ли системы демонстрировать корректное исполнение, предсказуемые затраты на доказательство и надёжную криптографическую защиту.

ZKsync нацелена на независимо проверяемую финансовую инфраструктуру

ZKsync заявила, что прогресс в области искусственного интеллекта может ускорить обнаружение и эксплуатацию уязвимостей программного обеспечения. По мнению компании, институциям необходимы механизмы, которые банки и контрагенты могут проверять независимо.

Требование доказательств с нулевым разглашением для обновлений реестра может помешать скомпрометированным серверам исполнения утверждать обновления, нарушающие закодированные правила. Более низкие требования Airbender Prime к оборудованию также могут сделать генерацию доказательств более доступной для институций и независимых операторов.

Проект стремится поддержать независимую верификацию в финансовой инфраструктуре. ZKsync сообщила, что планирует дальнейшие анонсы о Airbender Prime, не раскрывая дополнительных деталей в своём представлении.