Scroll запускает открытый фреймворк zkVM

Сегодня Scroll, Axiom, разработчик Макс Гилетт и команда Ethereum Foundation по исследованию приватности и масштабируемости (PSE) объявили о запуске OpenVM — открытой zkVM платформы для мгновенного доказательства.

OpenVM будет использоваться в Scroll L2 в качестве своей zkVM и планирует в ближайшее время валидировать блоки основной сети. Этот переход переводит Scroll с Type-3 на Type-1 zkEVM, который полностью эквивалентен Ethereum.

После этого обновления Scroll перейдет на Stage-1 роллап с полной системой доказательств.

Решение о разработке новой zkVM было принято из-за убеждения, что существующие решения zkVM были "монолитными" и ограничивали разработчиков вертикально интегрированными стеками. Модульная архитектура OpenVM позволяет Scroll вводить новые функции без изменения базовой схемы, позволяя разработчикам получать выгоду от улучшений zkVM без модификации кода приложений.

Состояние ZK

OpenVM выходит на конкурентный рынок, где уже существует как минимум дюжина zkVM, таких как RISC Zero “RISC0” и Succinct’s “SP1.” В отличие от традиционных виртуальных машин, zkVM компилируют и выполняют смарт-контракты в нулевых доказательствах безопасно и конфиденциально.

Источник: Electric Capital

Количество доказательств, отправленных в основную сеть Ethereum, достигло пика в декабре 2023 года, в основном от zk роллапов, таких как Linea, ZKsync и Scroll. Объем доказательств снизился в 2024 году по двум причинам:

Во-первых, генерация доказательств все чаще использует рекурсивную агрегацию доказательств, которая проверяет несколько доказательств в одном, чтобы снизить затраты.

Источник: zkstats.io

Во-вторых, эффективность проверки доказательств улучшилась, что привело к значительному снижению затрат по сравнению с прошлым годом.

Сети провайдеров, такие как “Boundless” от Risc Zero и Fermah, позволяют приложениям и роллапам снижать затраты на zk-доказательства, передавая генерацию доказательств специализированным поставщикам оборудования, использующим ASIC и GPU, которые конкурируют за доступное производство zk-доказательств.

Недавний отчет Electric Capital показывает, что в разработке zk участвуют 2,054 активных разработчика в месяц. Количество развертываний zk-контрактов увеличилось с 40 до 639 за последние четыре года.