Исследовательский доклад Brevis: zkVM и сопроцессор данных — бесконечный слой доверенных вычислений

Название оригинальной статьи: «Отчет Brevis: zkVM и бесконечный слой верифицируемых вычислений сопроцессора данных»

Автор оригинальной статьи: 0xjacobzhao

Парадигма «вычисления вне сети + проверка в сети» для верифицируемых вычислений стала универсальной вычислительной моделью в блокчейн-системах. Она позволяет блокчейн-приложениям получать практически неограниченные вычислительные возможности, сохраняя децентрализацию и безопасность без необходимости доверия. Доказательства с нулевым разглашением (ZKP) — ключевая основа этой парадигмы; они применяются главным образом для масштабируемости, конфиденциальности, а также интероперабельности и целостности данных. Первым сценарием внедрения ZK-технологии стала масштабируемость: перенос исполнения транзакций вне сети и проверка результатов в сети с помощью кратких доказательств обеспечили высокие показатели TPS и недорогую доверенную масштабируемость.

Эволюцию верифицируемых вычислений на базе ZK можно представить как L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. На раннем этапе L2 zkRollup переносил исполнение на Layer 2, а затем отправлял Validity Proof на Layer 1. Минимальные изменения обеспечивали высокую пропускную способность и недорогую масштабируемость. Позже zkVM превратилась в универсальный слой верифицируемых вычислений с поддержкой межсетевой проверки, вывода ИИ и криптографических вычислений (примеры проектов: Risc Zero, Succinct, Brevis Pico). Параллельно развивался zkCoprocessor — специализированный для конкретных сценариев модуль проверки, предоставляющий подключаемые вычислительные сервисы и услуги по созданию доказательств для DeFi, RWA, управления рисками и других задач (примеры проектов: Brevis, Axiom). В 2025 году zkEVM расширила эту концепцию до L1 Realtime Proving (RTP): верифицируемая схема создается на уровне инструкций EVM, а доказательства с нулевым разглашением напрямую встраиваются в процесс исполнения и проверки в основной сети Ethereum, становясь встроенным механизмом верифицируемого исполнения. Эта эволюция отражает переход блокчейна от «масштабируемости» к «верифицируемости» и открывает новую эру верифицируемых вычислений.

1. Путь масштабирования zkEVM в Ethereum: от L2 Rollup к доказательствам в реальном времени на L1

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

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

· Этап второй (2025–): доказательства в реальном времени на L1 (RTP) заменяют повторное исполнение схемой «доказательство 1-of-N + быстрая проверка всей сетью». Это повышает пропускную способность без ущерба для децентрализации, хотя технология все еще развивается.

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

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

· Type 1 — полная эквивалентность: соответствие байткоду Ethereum, минимальная стоимость миграции, самое медленное создание доказательств. Taiko.

· Type 2 — полная совместимость: очень мало низкоуровневых оптимизаций, максимальная совместимость. Scroll, Linea.

· Type 2.5 — частичная совместимость: небольшие изменения (gas/precompiles и т. д.) ради повышения производительности. Polygon zkEVM, Kakarot.

· Type 3 — частичная совместимость: более значительные изменения позволяют запускать большинство приложений, но полноценное повторное использование инфраструктуры L1 затруднено. zkSync Era.

· Type 4 — языковой подход: отказ от совместимости на уровне байткода и прямая компиляция высокоуровневого языка в схемы обеспечивают оптимальную производительность, но требуют перестройки экосистемы (пример — StarkNet / Cairo).

Современная модель L2 zkRollup уже достигла зрелости: исполнение переносится на Layer 2, а Validity Proof отправляется на layer 1. Благодаря минимальным изменениям экосистемы и инструментов Ethereum это стало основным решением для масштабирования и снижения затрат. Доказательство охватывает блок L2 и переходы состояния, а расчеты и безопасность по-прежнему обеспечиваются L1. Такая архитектура значительно повышает пропускную способность и эффективность, сохраняя высокую совместимость для разработчиков, но также приводит к фрагментации ликвидности и состояния, а L1 все еще ограничен узким местом в виде повторного исполнения по схеме N-of-N.

L1 zkEVM: как доказательства в реальном времени меняют логику облегченной проверки в Ethereum

В 07.2025 Ethereum Foundation опубликовала статью «Запуск L1 zkEVM #1: доказательства в реальном времени», официально представив дорожную карту L1 zkEVM. L1 zkEVM переводит Ethereum от повторного исполнения N-of-N к схеме «доказательство 1-of-N + быстрая проверка всей сетью»: несколько доказывающих формируют краткое доказательство перехода состояния всей EVM, а все валидаторы выполняют лишь проверку с постоянным временем выполнения. Такая схема обеспечивает доказательства в реальном времени на уровне L1 без ущерба для децентрализации, повышает безопасность, увеличивает лимит Gas и пропускную способность основной сети и значительно снижает требования к оборудованию узлов. План внедрения предполагает замену традиционных клиентов исполнения на zk-клиенты, их первоначальную параллельную работу и постепенный переход к новому стандарту на уровне протокола по мере развития производительности, безопасности и механизмов стимулирования.

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

· Новая парадигма 1 of N: несколько доказывающих исполняют весь блок и формируют краткое доказательство; вся сеть выполняет только проверку с постоянным временем выполнения. Проверка обходится значительно дешевле повторного исполнения, что позволяет безопасно повысить лимит gas на L1 и снизить требования к оборудованию.

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

1. Доказательства в реальном времени: создание доказательства всего блока в пределах 12-секундного слота, сокращение задержки за счет параллельных вычислений и аппаратного ускорения сжатия;

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

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

Доказательства в реальном времени на Ethereum L1 (RTP) используют zkVM для повторного исполнения транзакций всего блока вне сети и создания криптографического доказательства. Валидаторы могут проверить небольшое доказательство за 10 секунд без повторного вычисления — по принципу «проверяй, а не исполняй». Это значительно повышает масштабируемость Ethereum и эффективность проверки без необходимости доверия. Согласно официальной странице Ethereum Foundation zkEVM Tracker, в дорожной карте L1 zkEVM Real-time Proving участвуют команды SP1 Turbo (Succinct Labs), Pico (Brevis), Risc Zero, ZisK, Airbender (zkSync), OpenVM (Axiom) и Jolt (a16z).

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

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

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

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

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

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

В целом и zkVM, и zkCoprocessor следуют парадигме доверенных вычислений «вычисления вне сети + проверка в сети», используя доказательства с нулевым разглашением для проверки результатов вычислений вне сети. Их экономическая модель основана на том, что стоимость исполнения в сети значительно выше совокупной стоимости создания доказательства вне сети и его проверки в сети.

С точки зрения области применения и сложности разработки ключевое различие между ними заключается в следующем:

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

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

С точки зрения бизнес-моделей различие между zkVM и zkCoprocessor выглядит следующим образом:

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 объединяет zkVM и zkCoprocessor, создавая ядро универсальной инфраструктуры верифицируемых вычислений на основе вычислений с нулевым разглашением и сочетая высокую производительность с программируемостью. Это бесконечный вычислительный слой для всего.

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

В 2024 году Виталик предложил архитектуру «универсальный слой исполнения + ускоряющий слой сопроцессора» в статье «Архитектуры Glue и Coprocessor». Сложные вычисления можно разделить на универсальную бизнес-логику и структурированные интенсивные вычисления: первая ориентирована на гибкость (например, EVM, Python, RISC-V), вторые — на эффективность (например, GPU, ASIC, модуль хеширования). Эта архитектура становится распространенной тенденцией в блокчейне, ИИ и зашифрованных вычислениях: EVM ускоряется с помощью прекомпиляций, ИИ использует параллельные вычисления на GPU, а доказательства ZK объединяют универсальную виртуальную машину со специализированными схемами. В будущем ключевую роль будет играть оптимизация безопасности и удобства разработки с помощью «слоя связки», тогда как «слой сопроцессора» сосредоточится на эффективном исполнении. Это позволит найти баланс между производительностью, безопасностью и открытостью.

Pico zkVM, разработанная Brevis, — один из примеров реализации этой концепции. Архитектура «универсальная zkVM + ускорение сопроцессором» объединяет гибкую программируемость с высокопроизводительными специализированными схемами. Модульная конструкция поддерживает различные бэкенды для создания доказательств (KoalaBear, BabyBear, Mersenne31) и позволяет свободно комбинировать исполнение, рекурсию, сжатие и другие компоненты, формируя ProverChain.

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

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

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

Pico Prism — важный прорыв Brevis в архитектуре GPU с несколькими серверами, установивший новый рекорд в рамках системы «Real-Time Proving (RTP)» Ethereum Foundation. Среднее время создания доказательства составляет 6.9 секунды, а охват RTP — 96,8% на кластере из 64×5090 GPU. По производительности система входит в число лидеров среди аналогичных реализаций zkVM. Ее архитектура, инженерные решения, оборудование и системные компоненты оптимизированы, что знаменует переход zkVM от исследовательского прототипа к инфраструктуре производственного уровня.

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

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

3. Стратегия работы с оборудованием: с конфигурацией из 64×RTX 5090 GPU (приблизительно 128 тыс. $) Pico Prism достигает среднего времени создания доказательства 6.0–6.9 секунды, охвата RTP 96,8% и примерно 3.4-кратного повышения соотношения производительности и затрат. Это превосходит показатели SP1 Hypercube (160×4090 GPU, 10.3 секунды).

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

3.3 ZK Data Coprocessor: слой сопроцессинга данных блокчейна с нулевым разглашением

Встроенный дизайн смарт-контрактов не предусматривает «памяти» — возможности обращаться к историческим данным, выявлять долгосрочное поведение или проводить межсетевой анализ. Brevis предлагает высокопроизводительный сопроцессор с нулевым разглашением (ZK Coprocessor), который дает смарт-контрактам доступ к историческим данным разных сетей и возможности доверенных вычислений. Он проверяет и обрабатывает историческое состояние, транзакции и события всего блокчейна, что применимо в сценариях DeFi на основе данных, активного управления ликвидностью, стимулирования пользователей и межсетевого распознавания идентичности.

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

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

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

3. Проверка результата: доказательство отправляется обратно в сеть для проверки смарт-контрактом и последующего вызова логики.

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

3.4 Incentra: основанный на ZK «слой верифицируемого распределения стимулов»

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

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

· Владение токенами: долгосрочные держатели получают вознаграждения на основе взвешенных по времени балансов ERC-20 (TWA);

· Концентрированная ликвидность: вознаграждения за ликвидность распределяются с учетом комиссий AMM DEX; поддерживаются протоколы ALM, такие как Gamma и Beefy;

· Кредитование и займы: вознаграждения за кредитование рассчитываются на основе среднего значения балансов и долгов.

Система применяется в таких проектах, как PancakeSwap, Euler, Usual, Linea, создавая полностью работающий в сети доверенный цикл — от расчета стимулов до распределения. Она предоставляет протоколам DeFi инфраструктуру стимулирования с верификацией на уровне ZK.

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

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

Ethereum Foundation (EF) предложила стандарт L1 zkEVM Realtime Proving (RTP), который стал отраслевым консенсусом и критерием допуска zkVM к проверке в основной сети Ethereum. Основные критерии оценки включают:

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

· Ограничения по оборудованию: CAPEX ≤ 100 тыс. $, энергопотребление ≤ 10kW (подходит для домашнего использования или небольшого дата-центра);

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

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

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

В 10.2025 Brevis опубликовала отчет «Pico Prism — доказательства в реальном времени для блоков Ethereum с газом 45млн на пользовательском оборудовании, охват — 99,6%», сообщив, что ее Pico Prism стала первой zkVM, полностью соответствующей стандарту Real-Time Proving (RTP) Ethereum Foundation (EF).

На 64×RTX 5090 GPU (приблизительно 128 тыс. $) Pico Prism продемонстрировала производительность на блоках с газом 45млн: средняя задержка 6.9 секунды, 96,8% <10s, 99,6% <12s. Это превосходит показатели Succinct SP1 Hypercube (36млн gas, в среднем 10.3s, 40,9% <10s). Задержка сократилась на 71%, стоимость оборудования уменьшилась вдвое, а общая эффективность соотношения производительности и затрат выросла примерно в 3.4 раза. Это достижение публично отметили Ethereum Foundation, Виталик Бутерин и Justin Drake.

Пять. Развитие экосистемы Brevis и внедрение приложений

ZK Data Coprocessor (zkCoprocessor) от Brevis обрабатывает сложные вычисления, которые dApps не могут эффективно выполнять (например, анализ исторического поведения, межсетевых данных и совокупных показателей), и создает верифицируемые доказательства с нулевым разглашением (ZKP). В сети для безопасного использования результата достаточно проверить это небольшое доказательство, что существенно снижает затраты на Gas, задержки и стоимость доверия. В отличие от традиционных оракулов, Brevis предоставляет не только «результат», но и «математическую гарантию его корректности». Основные сценарии применения можно разделить на следующие категории:

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

· Рост RWA и стейблкоинов: автоматическое распределение доходов от стейблкоинов и RWA с помощью ZK-проверки (OpenEden, Usual Money, MetaMask USD)

· DEX с темными пулами: модель конфиденциальной торговли с сопоставлением ордеров вне сети и проверкой в сети; запуск ожидается в ближайшее время

· Межсетевая интероперабельность: поддержка повторного стейкинга между сетями и взаимодействия Rollup-L1 для создания общего уровня безопасности (Kernel, Celer, 0G)

· Запуск блокчейн-экосистем: содействие запуску и росту новых блокчейн-экосистем благодаря механизму ZK-стимулирования (Linea, TAC)

· Высокопроизводительные публичные сети: повышение производительности публичных сетей, таких как Ethereum, с помощью технологии доказательств в реальном времени (RTP) (Ethereum, BNB Chain)

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

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

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

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

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

· Linea Ignition (20,4млн): подтверждает высокую способность обрабатывать параллельные операции в рамках активности экосистемы L2;

· Incentra (15,2%): отражает переход Brevis от инструментов SDK к стандартизированным платформам стимулирования.

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

· Usual Money — годовой объем стимулов превышает 300 млн $; платформа обеспечивает постоянные вознаграждения пользователей стейблкоинов и поставщиков ликвидности (LP);

· OpenEden и Bedrock распределяют доходы от казначейских облигаций США и Restaking на основе модели 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 Unified Proof Aggregator (UPA) несколько ZK-доказательств объединяются в одну отправку, что значительно сокращает затраты и задержки при проверке в сети.

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

Шесть. Команда и финансирование проекта

Мо Донг | сооснователь Brevis Network

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

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

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

7. Сравнительный анализ рынка zkVM и ZK-сопроцессоров

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

В целом конкуренция в направлении RTP сосредоточена вокруг четырех ключевых критериев:

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

· Производительность: размер доказательства Pico составляет около 990 kB — примерно на 33% меньше, чем у SP1 (1.48 MB), при более низких затратах;

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

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

Согласно последним данным, в направлении RTP сформировалась «дуополия».

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

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

К 2025 году в сфере zkVM сформировался технологический ландшафт, основанный на стандартизации RISC-V, модульном развитии, стандартизации рекурсии и аппаратно ускоренном параллелизме. Универсальный слой верифицируемых вычислений zkVM можно разделить на три категории:

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

· Модульные и масштабируемые: OpenVM, Pico, SP1 делают акцент на подключаемых модулях и поддержке интеграции сопроцессоров.

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

Сравнение конкурирующих проектов zkVM (по состоянию на 10.2025)

В направлении zk-Coprocessor сформировалась экосистема, представленная Brevis, Axiom, Herodotus, Lagrange. Среди них Brevis лидирует благодаря объединенной архитектуре «ZK Data Coprocessor + универсальная zkVM», включающей чтение исторических данных, программируемые вычисления и возможность L1 RTP; Axiom специализируется на верифицируемых запросах и обратных вызовах схем; Herodotus — на доступе к историческому состоянию; Lagrange повышает производительность межсетевых вычислений с помощью гибридной архитектуры ZK+Optimistic. В целом zk-Coprocessor развивается в направлении «слоя верифицируемых сервисов», становясь интерфейсом доверенных вычислений для приложений DeFi, RWA, ИИ, идентификации и других.

8. Итоги: бизнес-логика, инженерная реализация и потенциальные риски

Бизнес-логика: производительность и двухуровневый маховик роста

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

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

1. Воспроизводимая производительность — уже входит в состав системы ETHProofs RTP Ethereum Foundation;

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

3. Подтвержденная применимость в бизнесе — решения масштабно применяются для распределения стимулов, динамических комиссий и межсетевой проверки.

Инженерная реализация: от «повторного исполнения» к «проверке вместо исполнения»

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

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

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

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

· Концентрация выручки и структура бизнеса: текущий объем доказательств сильно сконцентрирован — на четыре крупнейших приложения приходится около 80%. Для снижения зависимости необходимо расширяться на новые отрасли, блокчейны и сценарии использования. Затраты на GPU могут повлиять на маржу с единицы.

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

Отказ от ответственности: Эта статья подготовлена с помощью инструментов ИИ ChatGPT-5. Автор приложил все усилия, чтобы вычитать текст и обеспечить достоверность и точность информации, однако в нем все еще могут оставаться ошибки; просим отнестись к этому с пониманием. Следует подчеркнуть, что на рынке криптовалют часто наблюдается расхождение между фундаментальными показателями проектов и динамикой цен на вторичном рынке. Содержание статьи предназначено исключительно для обобщения информации и академических/исследовательских целей, не является инвестиционной рекомендацией и не должно рассматриваться как совет покупать или продавать какие-либо токены.

Эта статья предоставлена автором и не отражает взгляды BlockBeats.