Аналитический отчет Brevis: ZKVM и сопроцессор данных — слой безусловно доверенных вычислений

Автор:0xjacobzhao

“Внецепочечные вычисления + ончейн верификация” парадигмы доверенных вычислений (Verifiable Computing) стала универсальной вычислительной моделью для блокчейн-систем. Она позволяет блокчейн-приложениям, сохраняя децентрализацию и безопасность минимизации доверия (trustlessness), получать практически неограниченную свободу вычислений (computational freedom). Доказательства с нулевым разглашением (ZKP) выступают ключевой опорой этой парадигмы, их применение сосредоточено преимущественно на трех базовых направлениях: масштабирование (Scalability), конфиденциальность (Privacy) и взаимодействие с другими сетями и целостность данных (Interoperability & Data Integrity). Масштабирование стало первым практическим применением ZK-технологий: путем переноса выполнения транзакций вне цепочки и проверки их результатов на цепочке с помощью кратких доказательств достигается высокотехнологичное масштабируемое расширение с высоким TPS и низкими затратами.

Эволюцию доверенных вычислений ZK можно описать в виде последовательности: L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. На ранних этапах L2 zkRollup переносили выполнение на второй уровень и отправляли на первый уровень доказательства корректности (Validity Proof), обеспечивая высокую пропускную способность и эффективное масштабирование при минимальных модификациях. Затем zkVM эволюционировал в универсальный слой верифицируемых вычислений, поддержав кроссчейн-верификацию, ИИ-инференс и криптографические расчеты (ключевые проекты: Risc Zero, Succinct, Brevis Pico). zkCoprocessor развивался параллельно, выступая в качестве специализированного модуля верификации, который предоставляет готовые решения для вычислений и генерации доказательств применительно к DeFi, RWA и риск-менеджменту (ключевые проекты: Brevis, Axiom).

В 2025 году концепция zkEVM расширилась до уровня L1 реального времени (Realtime Proving, RTP), где верифицируемые контуры (circuits) создаются на уровне инструкций EVM, что позволяет интегрировать доказательства с нулевым разглашением непосредственно в процессы выполнения и верификации основной сети Ethereum, становясь нативным механизмом верифицируемого исполнения. Эта линия развития демонстрирует технологический скачок блокчейна от “масштабируемости” к “верифицируемости”, открывая новую эру доверенных вычислений.

I. Путь Ethereum к масштабированию zkEVM: от L2 Rollup до L1 Realtime Proving

Путь масштабирования zkEVM Ethereum проходит два этапа:

Этап 1 (2022–2024 гг.): Выполнение перенесено на L2 zkRollup, доказательства корректности публикуются на L1. Значительно снижены затраты и повышена пропускная способность, однако возникла фрагментация ликвидности и состояния, а L1 по-прежнему зависит от модели повторного выполнения N-of-N.

Этап 2 (2025 г.– н.в.): L1 Realtime Proving (RTP) заменяет тяжелое выполнение на “1-of-N доказательство + легковесную верификацию в сети”, повышая пропускную способность без ущерба для децентрализации; технология продолжает развиваться.

Этап L2 zkRollup: Баланс между совместимостью и производительностью масштабирования

В период расцвета экосистемы Layer2 в 2022 году основатель Ethereum Виталик Бутерин предложил четырехклассификационную модель ZK-EVM (Type 1–4), системно раскрывающую структурный компромисс между совместимостью (compatibility) и производительностью (performance). Данная рамка задала четкие ориентиры для будущих технических направлений zkRollup:

Type 1 Полное соответствие (Full Equivalence): Идеально соответствует байткоду Ethereum, наименьшие затраты на миграцию, но самая медленная генерация доказательств. (Проект: Taiko).

Type 2 Полная совместимость (Compatible): Минимум оптимизаций на низком уровне, максимальная совместимость. (Проекты: Scroll, Linea).

Type 2.5 Высокая совместимость (Near Compatible): Небольшие модификации (gas/прекомпилированные контракты и т.д.) ради повышения производительности. (Проекты: Polygon zkEVM, Kakarot).

Type 3 Частичная совместимость (Partially Compatible): Более существенные изменения, позволяют запускать большинство приложений, но затрудняют полное использование инфраструктуры L1. (Проект: zkSync Era).

Type 4 Языковой уровень (Language Level): Отказ от совместимости с байткодом в пользу прямой компиляции высокоуровневых языков в контуры (circuits); максимальная производительность, но требует создания новой экосистемы. (Представители: Starknet / Cairo).

Сейчас модель L2 zkRollup достигает зрелости: перенеся выполнение на второй уровень и публикуя доказательства корректности (Validity Proof) на первом, она позволяет использовать экосистему и инструменты Ethereum с минимальными модификациями, став основным решением для масштабирования и снижения затрат. Объектом доказательства являются блоки L2 и переходы состояния, тогда как расчеты и безопасность по-прежнему привязаны к L1. Данная архитектура значительно повышает пропускную способность и эффективность, сохраняет высокую совместимость для разработчиков, однако порождает фрагментацию ликвидности и состояния, а L1 по-прежнему ограничена узким местом повторного выполнения N-of-N.

L1 zkEVM: Реальная верификация трансформирует логику легкой проверки Ethereum

В июле 2025 года Фонд Ethereum опубликовал статью «Shipping an L1 zkEVM #1: Realtime Proving», официально представив дорожную карту L1 zkEVM. L1 zkEVM переводит Ethereum от тяжелого выполнения модели N-of-N к модели 1-of-N доказательство + быстрая верификация в сети: небольшая группа prover генерирует компактные доказательства для полных переходов состояния EVM в блоке, а все валидаторы выполняют проверку за константное время. Это решение обеспечивает L1 Realtime Proving без ущерба для децентрализации, безопасно повышает лимиты газа и пропускную способность основной сети, а также существенно снижает требования к аппаратному обеспечению узлов. План внедрения предполагает замену традиционных執行 клиентов на zk-клиенты с их параллельной запуском; по мере совершенствования производительности, безопасности и систем стимулирования они постепенно станут новым стандартом протокольного уровня.

Старая парадигма N-of-N: Все валидаторы повторно исполняют весь блок для проверки — безопасно, но ограничивает пропускную способность и ведет к высоким пиковым комиссиям.

Новая парадигма 1-of-N: Небольшая группа prover исполняет целый блок и формирует короткое доказательство; сеть выполняет лишь проверку за константное время. Стоимость верификации намного ниже тяжелого выполнения, что позволяет безопасно повысить верхний предел газа L1 и снизить требования к оборудованию.

Три ключевых направления дорожной карты L1 zkEVM:

Реальная верификация (Realtime Proving): Завершение доказательства всего блока в пределах 12-секундного слота за счет параллелизации и аппаратного ускорения;

Интеграция клиента и протокола: Стандартизация интерфейсов верификации доказательств, сначала опционально, затем по умолчанию;

Стимулирование и безопасность: Создание рынка prover и моделей комиссий, усиление устойчивости к цензуре и сетевой активности.

Ethereum L1 Realtime Proving (RTP) использует zkVM для повторного выполнения всего блока вне цепочки и генерации криптографических доказательств, позволяя валидаторам избегать повторных вычислений и проверять лишь небольшой пакет доказательств в течение 10 секунд, реализуя подход “верификация вместо исполнения”. Это значительно повышает масштабируемость Ethereum и эффективность доверенной верификации. Согласно официальной странице Фонда Ethereum zkEVM Tracker, основные команды, работающие над направлением L1 zkEVM RTP, включают SP1 Turbo (Succinct Labs), Pico (Brevis), Risc Zero, ZisK, Airbender (zkSync), OpenVM (Axiom) и Jolt (a16z).

II. За пределами Ethereum: Универсальный zkVM и zkCoprocessor

За пределами экосистемы Ethereum технология ZKP выходит за рамки узких задач и проникает в более широкую область универсальных верифицируемых вычислений (Verifiable Computing), формируя две ключевые технические архитектуры на базе zkVM и zkCoprocessor.

zkVM: Слой универсальных верифицируемых вычислений

Движок верифицируемого исполнения, ориентированный на произвольные программы. Популярные архитектуры наборов инструкций включают RISC-V, MIPS и WASM. Разработчики могут компилировать бизнес-логику в zkVM, где prover выполняет её вне цепочки и генерирует доказательства с нулевым разглашением (ZKP) для ончейн-верификации. Такие доказательства применимы как для подтверждения блоков в Ethereum L1, так и для кроссчейн-верификации, ИИ-инференса, криптографических расчетов и сложных алгоритмов. Преимущества — высокая универсальность и широкая применимость, недостатки — сложность контуров и высокие затраты на генерацию доказательств, требующие много-GPU параллелизма и серьезной инженерной оптимизации. Ключевые проекты: Risc Zero, Succinct SP1, Brevis Pico / Prism.

zkCoprocessor: Специализированные модули верификации для конкретных сценариев

Обеспечивает “готовые к подключению” вычислительные услуги и генерацию доказательств под конкретные бизнес-сценарии. Платформа содержит предустановленные механизмы доступа к данным и логику контуров (например, чтение исторических ончейн-данных, подсчет TVL, расчет доходов, верификация личности и т.д.). Приложения получают результаты вычислений и доказательства для ончейн-потребления через вызовы SDK/API. Этот подход отличается быстротой развертывания, высокой производительностью и низкими затратами, однако обладает ограниченной универсальностью. Типичные проекты: Brevis zkCoprocessor, Axiom и др.

В целом, и zkVM, и zkCoprocessor придерживаются парадигмы доверенных вычислений “внецепочечные вычисления + ончейн верификация”, используя ZKP для проверки внецепочечных результатов непосредственно в блокчейне. Их экономическая логика строится на предпосылке, что стоимость прямого выполнения внутри цепочки значительно превышает совокупные затраты на генерацию доказательств вне цепочки и их последующую верификацию внутри.

Ключевые различия между ними в плане универсальности и инженерной сложности заключаются в следующем:

zkVM представляет собой универсальную вычислительную инфраструктуру, оптимальную для сложных, межотраслевых или ИИ-сценариев, предлагая максимальную гибкость;

zkCoprocessor — это модульный сервис верификации, предоставляющий низкозатратные и легко интегрируемые интерфейсы проверки для часто повторяющихся сценариев (DeFi, RWA, риск-менеджмент и др.).

Различия в коммерческих моделях реализации:

zkVM работает по модели Proving-as-a-Service с оплатой за каждое доказательство (ZKP), ориентирована в основном на клиентов инфраструктуры типа L2 Rollup, характеризуется крупными объемами контрактов, длительным циклом работы и стабильной валовой маржой;

zkCoprocessor фокусируется на модели Proof API-as-a-Service, взимая плату за задачи через API-вызовы или интеграцию SDK, что ближе к SaaS-модели, ориентирована на протоколы прикладного уровня вроде DeFi, отличается быстрым внедрением и высокой способностью к масштабированию.

Подводя итог, zkVM выступает фундаментальным двигателем верифицируемых вычислений, а zkCoprocessor — прикладным модулем верификации: первый создает технологическую защиту, второй стимулирует коммерческое внедрение, вместе формируя универсальную сеть доверенных вычислений.

III. Продуктовая экосистема и технический путь Brevis

Отталкиваясь от L1 Realtime Proving в Ethereum, технологии ZK постепенно переходят в эпоху верифицируемых вычислений, ядром которой становятся архитектуры универсального zkVM и zkCoprocessor. Brevis Network объединяет эти два подхода, создавая универсальную вычислительную инфраструктуру верифицируемых вычислений, основанную на ZK-вычислениях, сочетающую высокую производительность и программируемость — “бесконечный вычислительный слой для всего” (The Infinite Compute Layer for Everything).

3.1 Pico zkVM: Модульная архитектура доказательств для универсальных верифицируемых вычислений

В 2024 году Виталик Бутерин в статье «Glue and Coprocessor Architectures» предложил архитектуру “универсальный слой исполнения + слой ускорения на сопроцессорах” (glue & coprocessor). Сложные вычисления можно разделить на общую бизнес-логику и структурированные интенсивные вычисления — первое стремится к гибкости (например, EVM, Python, RISC-V), второе — к эффективности (GPU, ASIC, хеш-модули). Данная архитектура становится общим трендом для блокчейнов, ИИ и криптографии: EVM ускоряется через precompile, ИИ использует параллельные GPU, а ZK-доказательства комбинируют универсальные VM и специализированные контуры. Ключевой задачей будущего является оптимизация “клеящего слоя” для безопасности и UX разработки, тогда как “слой сопроцессоров” будет сосредоточен на эффективном исполнении, балансируя между производительностью, безопасностью и открытостью.

Pico zkVM, разработанный командой Brevis, является яркой реализацией данной концепции. Используя архитектуру “универсальный zkVM + ускорение на сопроцессорах”, он сочетает гибкость программирования с высокопроизводительными вычислениями на специализированных контурах. Его модульная поддержка нескольких бэкендов генерации доказательств (KoalaBear, BabyBear, Mersenne31) позволяет свободно комбинировать компоненты исполнения, рекурсии и сжатия, образуя ProverChain.

Модульная система Pico не только допускает свободную перестройку ключевых компонентов, но и поддерживает интеграцию новых бэкендов доказательств и прикладных сопроцессоров (ончейн-данные, zkML, кроссчейн-верификация), обеспечивая непрерывно расширяемую архитектуру. Разработчикам достаточно писать бизнес-логику на стандартных инструментах Rust; система автоматически генерирует криптографические доказательства без необходимости глубоких знаний ZK, что радикально снижает порог входа.

В отличие от относительно монолитной архитектуры RISC-V zkVM Succinct SP1 и общей модели исполнения RISC-V в R0VM от Risc Zero, Pico благодаря комбинации Modular zkVM + Coprocessor System развязывает и масштабирует этапы исполнения, рекурсии и сжатия. Поддержка переключения между несколькими бэкендами и интеграция сопроцессоров формируют его конкурентные преимущества в производительности и масштабируемости.

3.2 Pico Prism: Прорыв в производительности на много-GPU кластерах

Pico Prism представляет собой важный прорыв Brevis в архитектуре многосерверных GPU-кластеров и установил новый рекорд в рамках фреймворка Фонда Ethereum “Real-Time Proving (RTP)”. На кластере из 64×RTX 5090 GPU система достигла среднего времени генерации доказательства 6,9 секунды и покрытия RTP на уровне 96,8%, лидируя среди аналогов в классе zkVM. Оптимизация на архитектурном, инженерном, аппаратном и системном уровнях знаменует переход zkVM от исследовательских прототипов к промышленным инфраструктурным решениям.

Архитектурный дизайн: Традиционные zkVM (SP1, R0VM) полагаются преимущественно на оптимизацию под один GPU. Pico Prism впервые реализует параллельную генерацию доказательств на уровне кластера (Cluster-Level zkProving) с использованием нескольких серверов и GPU. Благодаря многопоточности и шардингу调度, ZK-доказательства трансформируются в распределенную вычислительную систему, многократно повышая степень параллелизма и масштабируемость.

Инженерная реализация: Построена многоэтапная асинхронная конвейерная обработка (Execution / Recursion / Compression) и механизм межуровневого повторного использования данных (кэширование proof chunks и повторное использование embedding), поддержка переключения бэкендов (KoalaBear, BabyBear, M31), что кардинально повышает эффективность пропускной способности.

Аппаратная стратегия: При конфигурации 64×RTX 5090 GPU (стоимость около $128K) Pico Prism демонстрирует среднее время доказательства 6,0–6,9 секунды и покрытие RTP 96,8%. Соотношение производительности к затратам выросли примерно в 3,4 раза по сравнению с SP1 Hypercube (160×4090 GPU, 10,3 секунды).

Эволюция системы: Будучи первым zkVM, соответствующим стандартам RTP Фонда Ethereum (>96% менее 10 секунд, стоимость <$100K), Pico Prism знаменует переход ZK-доказательств от исследовательских прототипов к производственным решениям уровня mainnet, предоставляя экономически эффективные ZK-вычисления для Rollup, DeFi, ИИ и кроссчейн-верификации.

3.3 ZK Data Coprocessor: Слой интеллектуальных ZK-сопроцессоров для блокчейн-данных

Возникающая проблема “отсутствия памяти” в нативном дизайне смарт-контрактов — невозможность напрямую обращаться к историческим данным, отслеживать долгосрочное поведение или проводить кроссчейн-аналитику. Высокопроизводительный ZK Coprocessor от Brevis обеспечивает смарт-контрактам доступ к историческим кроссчейн-данным и возможности доверенных вычислений, проводя верификацию и расчеты по всем историческим состояниям, транзакциям и событиям блокчейна. Технология применяется в управляемых данными DeFi, активном управлении ликвидностью, пользовательском стимулировании и идентификации в мультичейн-средах.

Рабочий процесс Brevis состоит из трех шагов:

Доступ к данным: Смарт-контракты бездоверительно считывают исторические данные через API;

Вычислительное исполнение: Разработчики определяют бизнес-логику через SDK, Brevis осуществляет расчеты вне цепочки и генерирует ZK-доказательства;

Верификация результатов: Результат с доказательством возвращается в цепочку, верифицируется контрактом и запускает дальнейшую логику.

Brevis поддерживает две модели: Pure-ZK и CoChain (OP). Первая гарантирует полную минимизацию доверия, но сопряжена с более высокими затратами. Вторая реализует верифицируемые вычисления при меньшей стоимости за счет механизмов верификации на PoS и ZK-челленджей. Валидаторы стейкают средства в Ethereum, и в случае успешного ZK-опровержения результатов средства конфискуются, что обеспечивает баланс между безопасностью и эффективностью. Благодаря интеграции ZK + PoS + SDK, Brevis формирует масштабируемый слой доверенных вычислений данных. На данный момент Brevis обслуживает такие протоколы, как PancakeSwap, Euler, Usual, Linea. Все партнерства с zkCoprocessor построены на базе Pure-ZK, предоставляя надежную основу для DeFi, распределения вознаграждений и систем ончейн-идентичности, наделяя смарт-контракты настоящей “памятью и интеллектом”.

3.4 Incentra: “Уровень верифицируемого распределения стимулов” на базе ZK

Incentra — это платформа доверенного распределения стимулов на движке Brevis zkCoprocessor, обеспечивающая DeFi-протоколам безопасные, прозрачные и верифицируемые механизмы расчета и выплаты вознаграждений. За счет ZK-доказательств результаты стимулирования проверяются непосредственно в цепочке, реализуя бесконфликтное, низкозатратное и кроссчейн-ориентированное выполнение стимулов. Расчет и верификация вознаграждений происходят внутри ZK-контуров, гарантируя возможность независимой проверки пользователями. Система также поддерживает кроссчейн-операции и контроль доступа, обеспечивая регулируемое и безопасное автоматическое распределение стимулов.

Incentra поддерживает три основные модели стимулирования:

Token Holding: Расчет вознаграждений за долгосрочное хранение на основе Time-Weighted Average (TWA) баланса ERC-20;

Concentrated Liquidity: Распределение вознаграждений за ликвидность пропорционально комиссии AMM-DEX, совместимо с ALM-протоколами Gamma, Beefy и др.;

Lend & Borrow: Расчет кредитных вознаграждений на основе средних значений баланса и задолженности.

Решение уже внедрено в проектах PancakeSwap, Euler, Usual, Linea, закрывая полный цикл от расчета до распределения стимулов в надежном ончейн-формате, предоставляя DeFi-протоколам инфраструктуру verifiable incentives уровня ZK.

3.5 Общий обзор продуктовой и технологической стека Brevis

IV. Технические показатели и прорывы в производительности Brevis zkVM

Стандарт Л1 zkEVM Realtime Proving (RTP), предложенный Фондом Ethereum (EF), стал отраслевым консенсусом и порогом входа для включения zkVM в линию верификации основного netа Ethereum. Ключевые метрики оценки включают:

Требования к задержке: P99 ≤ 10 сек (соответствует 12-секундному интервалу генерации блоков Ethereum);

Аппаратные ограничения: CAPEX ≤ $100K, энергопотребление ≤ 10 кВт (адаптировано для домашней установки или небольших дата-центров);

Уровень безопасности: ≥128 бит (переходный период ≥100 бит);

Размер доказательства: ≤300 КБ;

Системные требования: Отсутствие зависимости от Trusted Setup, полностью открытый исходный код ядра.

В октябре 2025 года Brevis опубликовал отчет «Pico Prism — 99.6% Real-Time Proving for 45M Gas Ethereum Blocks on Consumer Hardware», объявив Pico Prism первым zkVM, полностью прошедшим стандарт EF Real-Time Proving (RTP) для блоков.

При конфигурации 64×RTX 5090 GPU (около $128K) Pico Prism показал среднюю задержку 6,9 секунды, 96,8% <10s и 99,6% <12s в блоках с объемом 45M gas, существенно опережая Succinct SP1 Hypercube (36M gas, средняя скорость 10,3s, 40,9% <10s). При сокращении задержки на 71% и уменьшении аппаратных затрат вдвое, общая эффективность производительности/затрат выросла примерно в 3,4 раза. Данный результат получил публичное одобрение Фонда Ethereum, Виталика Бутерина и Джина Дрейка.

V. Экспансия экосистемы Brevis и внедрение решений

ZK Data Coprocessor от Brevis отвечает за обработку сложных вычислений, которые dApp не могут эффективно выполнить самостоятельно (например, анализ исторического поведения, кроссчейн-данные, агрегированная аналитика), и генерирует верифицируемые ZK-доказательства (ZKP). Для безопасного получения результатов внутри цепочки достаточно проверить лишь этот компактный пакет доказательств, что радикально снижает затраты на газ, задержки и потребность в доверии. В отличие от традиционных оракулов, Brevis предоставляет не просто “результат”, а “математическую гарантию его корректности”. Основные сценарии применения делятся на несколько категорий:

Intelligent DeFi: Интеллектуальное стимулирование и персонализация на основе исторического поведения и рыночных состояний (PancakeSwap, Uniswap, MetaMask и др.)

RWA & Stable Token Growth: Автоматическое распределение доходности стейблкоинов и RWA через ZK-верификацию (OpenEden, Usual Money, MetaMask USD)

DEX with Dark Pools: Модель конфиденциальных торговых операций с офчейн-сопоставлением ордеров и ончейн-верификацией (скоро запуск)

Cross-chain Interoperability: Поддержка кроссчейн-рестейкинга и взаимодействия Rollup-L1, создание общины уровня безопасности (Kernel, Celer, 0G)

Blockchain Bootstrap: Помощь холодному запуску и росту новой экосистемы блокчейна посредством ZK-стимулирования (Linea, TAC)

100× Faster L1s: Повышение производительности публичных сетей, таких как Ethereum, благодаря технологии Realtime Proving (RTP) (Ethereum, BNB Chain)

Verifiable AI: Интеграция защиты конфиденциальности и верифицируемого инференса, предоставление надежных вычислительных мощностей для AgentFi и экономики данных (Kaito, Trusta)

Согласно данным Brevis Explorer, по состоянию на октябрь 2025 года сеть Brevis сгенерировала более 125 миллионов ZK-доказательств, охватив почти 95 тысяч адресов и выполнив 96 тысяч запросов приложений, активно обслуживая сценарии распределения вознаграждений, верификации транзакций и质押-доказательств. На уровне экосистемы платформа суммарно распределила стимулов на сумму около 223 млн долларов США, поддержала TVL свыше 2,8 млрд долларов, а общий объем связанных транзакций превысил 1 млрд долларов.

В настоящее время экосистемные операции Brevis сосредоточены на двух основных направлениях: распределение DeFi-стимулов и оптимизация ликвидности. Основную долю вычислительной нагрузки генерируют четыре проекта: Usual Money, PancakeSwap, Linea Ignition и Incentra, на которые приходится более 85% общего объема. Среди них:

Usual Money (46,6M доказательств): Демонстрирует долгосрочную стабильность при массовом распределении стимулов;

PancakeSwap (20,6M): Отражает высокую производительность Brevis в расчетах динамических комиссий и скидок;

Linea Ignition (20,4M): Подтверждает способность обрабатывать высокий параллелизм в активности экосистемы L2;

Incentra (15,2%): Знаменует эволюцию Brevis от SDK-инструмента к стандартизированной платформе распределения стимулов.

В сфере DeFi-стимулирования Brevis, опираясь на платформу Incentra, обеспечивает прозрачное и непрерывное распределение вознаграждений для множества протоколов:

Usual Money: Объем годовых стимулирований превышает $300M, обеспечивая постоянную доходность пользователям стейблкоинов и поставщикам ликвидности;

OpenEden и Bedrock: Распределение дохода от гособлигаций США и рестейкинга на основе модели CPI;

Euler, Aave, BeraBorrow: Верификация позиций по займам и расчет вознаграждений через ZK.

В части оптимизации ликвидности такие протоколы, как PancakeSwap, QuickSwap, THENA, Beefy используют плагины Brevis для динамических комиссий и ALM-стимулирования, реализуя скидки на торговлю и агрегацию кроссчейн-доходов. Jojo Exchange и Uniswap Foundation применяют механизмы ZK-верификации для построения более безопасных систем стимулирования сделок.

На уровне кроссчейн-инфраструктуры Brevis расширил присутствие с Ethereum на BNB Chain, Linea, Kernel DAO, TAC и 0G, предоставляя экосистемам вычислительные мощности с доверенной верификацией и кроссчейн-валидацию. Одновременно проекты Trusta AI, Kaito AI, MetaMask используют ZK Data Coprocessor для создания систем баллов с защитой конфиденциальности, рейтингов влияния и поощрений, продвигая интеллектуализацию данных в Web3. На базовом уровне система BREVIS опирается на сеть EigenLayer AVS для обеспечения безопасности рестейкинга, а также применяет технологию агрегации доказательств NEBRA (UPA), объединяя множество ZK-доказательств в единую отправки, что существенно снижает ончейн-затраты на верификацию и задержки.

В целом, Brevis охватывает весь жизненный цикл сценариев применения — от долгосрочных стимулов и activity-rewards до верификации транзакций и платформенных сервисов. Задачи высокой частоты верификации и шаблоны повторно используемых контуров обеспечивают Pico/Prism реальными нагрузками и обратной связью для оптимизации, способствуя развитию L1 zkVM Realtime Proving на инженерном и экосистемном уровнях и формируя двусторонний цикл обратной связи между технологией и приложениями.

VI. Состав команды и история финансирования

Мо Дун (Mo Dong) ｜ Соучредитель (Co-founder, Brevis Network)

Д-р Мо Дун является соучредителем Brevis Network, имеет докторскую степень по информатике в Иллинойсском университете в Урбане-Шампейне (UIUC). Его научные работы публикуются на ведущих международных конференциях, приняты к использованию крупнейшими технологическими компаниями, такими как Google, и получили тысячи академических цитирований. Являясь экспертом в области алгоритмической теории игр и дизайна протокольных механизмов, он сосредоточен на интеграции вычислений с нулевым разглашением (ZK) и децентрализованных систем стимулирования, стремясь создать доверенную экономику Verifiable Compute. Как венчурный партнер IOSG Ventures, он также давно уделяет внимание ранним инвестициям в Web3-инфраструктуру.

Команда Brevis основана выпускниками докторантур UIUC, MIT и UC Berkeley в области криптографии и компьютерных наук. Ключевые участники обладают многолетним опытом исследований в системах ZKP и распределенных сетях, опубликовав numerous рецензируемые научные статьи. Проект получил технологическое признание от Фонда Ethereum (Ethereum Foundation), а его основные модули признаны критически важной инфраструктурой для масштабируемости в сети.

В ноябре 2024 года Brevis закрыл раундSeed-финансирования объемом 7,5 млн долларов при участии Polychain Capital и Binance Labs. Также в финансировании приняли участие IOSG Ventures, Nomad Capital, HashKey, Bankless Ventures, а также стратегические ангелы из экосистем Kyber, Babylon, Uniswap, Arbitrum и AltLayer.

VII. Анализ рыночных конкурентов в сегменте ZKVM и ZK Coprocessor

В настоящее время платформа ETHProofs.org, поддерживаемая Фондом Ethereum, стала центральным трекером маршрута L1 zkEVM Realtime Proving (RTP), предназначенным для публичного мониторинга прогресса в производительности, безопасности и адаптации различных zkVM к основной сети.

В общем, конкуренция в сегменте RTP сконцентрировалась вокруг четырех ключевых измерений:

Зрелость: SP1 обладает наиболее налаженным продакшн-развертыванием; Pico лидирует по производительности и близок к стандартам mainnet; RISC Zero стабилен, но данные RTP не публикуются.

Производительность: Размер доказательства Pico составляет около 990 КБ, что примерно на 33% меньше SP1 (1,48 МБ), что снижает затраты;

Безопасность и аудит: RISC Zero и SP1 успешно прошли независимые аудиты безопасности; аудиторский процесс для Pico находится в стадии проведения;

Разработческая экосистема: Большинство основных zkVM используют набор инструкций RISC-V. SP1 создал обширную экосистему интеграции благодаря Succinct Rollup SDK. Pico поддерживает автоматическую генерацию доказательств на Rust, а качество его SDK быстро улучшается.

По актуальным данным, сейчас в сегменте RTP сформировалась ситуация “дуополии”:

Первый уровень: Brevis Pico (включая Prism) и Succinct SP1 Hypercube целенаправленно работают над стандартом EF P99 ≤ 10 сек. Первый достигает прорывов в производительности и затратах за счет распределенной много-GPU архитектуры; второй сохраняет инженерную зрелость и экосистемную устойчивость через монолитную систему. Pico символизирует инновации в производительности и архитектуре, SP1 — практическое внедрение и лидерство в экосистеме.

Второй уровень: RISC Zero, ZisK, ZKM продолжают исследования в области экосистемной совместимости и легковесности, однако еще не обнародовали полные метрики RTP (задержка, потребление энергии, CAPEX, уровни безопасности, размер доказательства, воспроизводимость). Scroll (Ceno) и Matter Labs (Airbender) пытаются расширить технологию Rollup на уровень верификации L1, отражая тенденцию перехода от масштабирования L2 к верифицируемым вычислениям L1.

В 2025 году сегмент zkVM сформировал технологический ландшафт с унификацией RISC-V, модульной эволюцией, стандартизацией рекурсии и параллельным аппаратным ускорением. Слой универсальных верифицируемых вычислений (Verifiable Compute Layer) zkVM делится на три категории:

Ориентированные на производительность: Brevis Pico, SP1, Jolt, ZisK фокусируются на низкой задержке и Realtime Proving, увеличивая вычислительную пропускную способность за счет рекурсивных STARK и ускорения на GPU.

Модульные и масштабируемые: OpenVM, Pico, SP1 делают ставку на модульную plug-and-play архитектуру с поддержкой интеграции сопроцессоров.

Ориентированные на экосистему и универсальную разработку: RISC Zero, SP1, ZisK концентрируются на SDK и совместимости языков, продвигая повсеместное использование.

Сравнительная таблица конкурирующих проектов zkVM (по состоянию на октябрь 2025 г.)

В сегменте zk-Coprocessor уже сформировалась парадигма лидеров: Brevis, Axiom, Herodotus, Lagrange. Brevis занимает лидирующие позиции благодаря гибридной архитектуре “ZK Data Coprocessor + универсальный zkVM&, совмещающей чтение исторических данных, программируемые вычисления и возможности L1 RTP. Axiom фокусируется на верифицируемых запросах и circuit callbacks. Herodotus специализируется на доступе к историческим состояниям. Lagrange оптимизирует кроссчейн-вычисления за счет гибридной ZK+Optimistic архитектуры. В целом, zk-Coprocessor становится доверенным вычислительным интерфейсом, соединяющим приложения в сферах DeFi, RWA, ИИ и управления идентификацией через формат “слоя верифицируемых услуг”.

VIII. Заключение: Бизнес-логика, инженерная реализация и потенциальные риски

Бизнес-логика: Ориентация на производительность и двойной цикл обратной связи

Brevis строит многопольский слой доверенных вычислений, используя “универсальный zkVM (Pico/Prism)” и “сопроцессор данных (zkCoprocessor)”: первый решает задачу верификации любых вычислений, второй обеспечивает практическое внедрение исторических и кроссчейн-данных в бизнес-процессы.

Логика роста образует позитивную спираль “производительность — экосистема — затраты”: показатель RTP Pico Prism привлекает интеграцию ведущих протоколов, увеличивая объем доказательств и снижая удельную стоимость, что закрепляет постоянно усиливающийся цикл обратной связи. Конкурентные преимущества складываются из трех факторов:

Воспроизводимость производительности — включен в систему ETHProofs RTP Фонда Ethereum;

Архитектурные барьеры — модульный дизайн и много-GPU параллелизм обеспечивают высокую масштабируемость;

Коммерческая валидация — масштабное внедрение в распределение стимулов, динамических commissions и кроссчейн-верификации.

Инженерная реализация: От “тяжелого исполнения” к “верификации вместо исполнения”

Благодаря параллельной структуре Pico zkVM и Prism, Brevis достигает средней задержки 6,9 секунды и P99 < 10 секунд в блоках с объемом 45M gas (конфигурация 64×5090 GPU, CAPEX <$130 K), лидируя по показателям производительности и стоимости. Модуль zkCoprocessor поддерживает чтение исторических данных, генерацию контуров и возвратную верификацию в цепочке, а также гибкое переключение между режимами Pure-ZK и Hybrid. Общая производительность уже практически соответствует жестким стандартам RTP Ethereum.

Потенциальные риски и ключевые наблюдения

Технологические и регуляторные барьеры: Brevis предстоит завершить публичную демонстрацию и стороннюю валидацию строгих метрик, таких как энергопотребление, битность безопасности, размер доказательств и зависимость от Trusted Setup. Оптимизация длинного хвоста производительности остается критической, а корректировки EIP способны изменить текущие узкие места.

Риски конкуренции и замещения: Succinct (SP1/Hypercube) сохраняет лидерство в инструментальных цепочках и экосистемной интеграции. Конкуренция со стороны команд Risc Zero, Axiom, OpenVM, Scroll, zkSync остается значительной и не подлежит игнорированию.

Концентрация доходов и структура бизнеса: Текущий объем доказательств сильно сосредоточен (топ-4 приложения составляют около 80%), поэтому необходимо diversificare за счет межотраслевого, мультичейн и многоцелевого расширения для снижения зависимости. Затраты на GPU могут оказывать влияние на удельную валовую маржу.

В совокупности, Brevis уже сформировал первоначальную конкурентную защиту на стыке “воспроизводимости производительности” и “практической применимости”: Pico/Prism уверенно закрепился в первом эшелоне L1 RTP, а zkCoprocessor открыл высокочастотные, повторно используемые коммерческие сценарии. В перспективе рекомендуется ставить цель полного достижения жестких метрик RTP Фонда Ethereum, продолжать стандартизацию продуктов сопроцессора и расширение экосистемы, одновременно продвигая независимую валидацию, аудит безопасности и прозрачность затрат. Обеспечение структурного баланса между доходами от инфраструктуры и SaaS позволит сформировать устойчивый цикл коммерческого роста.