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

Автор: JacobZhao Источник: mirror

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

!

Эволюция ZK-достоверных вычислений может быть обобщена как L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. Ранние L2 zkRollup переместили выполнение на второй уровень и отправили доказательства действительности (Validity Proof) на первый уровень, достигая высокой пропускной способности и низкой стоимости расширения с минимальными изменениями. Затем zkVM расширился до универсального уровня проверяемых вычислений, поддерживающего кросс-цепочную проверку, AI-инференцию и криптографические вычисления (代表项目：Risc Zero、Succinct、Brevis Pico). zkCoprocessor развивался параллельно, выступая в качестве модульных проверок для сценариев, предоставляя услуги вычислений и доказательств “подключай и работай” для DeFi, RWA, управления рисками и т. д. (代表项目：Brevis、Axiom). В 2025 году концепция zkEVM расширяется до L1 с реальным доказательством (Realtime Proving, RTP), создавая проверяемые схемы на уровне инструкций EVM, позволяя нулевым доказательствам быть непосредственно интегрированными в процессы выполнения и проверки в основной сети Ethereum, становясь родным проверяемым механизмом исполнения. Эта линия показывает технологический переход блокчейна от “расширяемости” к “проверяемости”, открывая новую эпоху достоверных вычислений.

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

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

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

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

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

!

• Тип 1 Полная эквивалентность: совпадает с байт-кодом Ethereum, минимальные затраты на миграцию, самые медленные доказательства. Taiko.
• Тип 2 Полная совместимость: минимальная оптимизация на уровне платформы, наибольшая совместимость. Scroll, Linea.
• Тип 2.5 Полу-соответствующий: небольшие изменения (газ/предварительная компиляция и т.д.) в обмен на производительность. Polygon zkEVM, Kakarot.
• Тип 3 частичной совместимости: более значительные изменения, может запускать большинство приложений, но трудно полностью повторно использовать инфраструктуру L1. zkSync Era.
• Уровень языка 4: отказ от совместимости с байт-кодом, прямой компиляции из высокоуровневого языка в цепь, оптимальная производительность, но требуется восстановление экосистемы (представитель: 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) без ущерба для децентрализации, повышая верхний предел Gas основной сети и пропускную способность, а также значительно снижая аппаратные требования к узлам. Планы по внедрению заключаются в замене традиционных исполняющих клиентов на zk-клиентов, которые будут сначала работать параллельно, а затем, по мере зрелости производительности, безопасности и механизмов стимулов, постепенно станут новой нормой на уровне протокола.

!

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

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

1. Реальное доказательство (Realtime Proving): завершение полного доказательства блока в течение 12 секундного слота времени за счет параллелизации и аппаратного ускорения для сокращения задержки;
2. Интеграция клиента с протоколом: стандартизированный интерфейс проверки доказательств, сначала по выбору, затем по умолчанию;
3. Стимулирование и безопасность: создание рынка Prover и модели затрат, укрепление антикоррупционных мер и сетевой активности.

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

II. Превосходя Эфириум: универсальный zkVM и zkCoprocessor

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

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

Верифицируемый исполнительный движок для любых программ, распространенные архитектуры команд включают RISC-V, MIPS и WASM. Разработчики могут компилировать бизнес-логику в zkVM, которая будет выполняться prover вне цепи и генерировать проверяемые на цепи доказательства нулевого знания (ZKP), которые можно использовать как для блоковых доказательств Ethereum L1, так и для кросс-цепочной верификации, AI-вывода, криптографических вычислений и сложных алгоритмов. Его преимущества заключаются в универсальности и широком диапазоне адаптации, но сложность схемы и высокая стоимость доказательства требуют зависимости от параллелизма на множественных 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 — это модуль верификации на прикладном уровне: первый создает технологический барьер, второй способствует коммерческому внедрению, вместе они формируют универсальную сеть доверительных вычислений.

!

Три. Продуктовая карта и технологический путь Brevis

Исходя из L1 Реального Доказательства (Realtime Proving) Ethereum, технологии ZK постепенно движутся к эпохе верифицируемых вычислений, сосредоточенной на универсальной архитектуре zkVM и zkCoprocessor. Brevis Network является интеграцией zkVM и zkCoprocessor, создавшей универсальную инфраструктуру верифицируемых вычислений, сосредоточенную на вычислениях с нулевым знанием, сочетающую высокую производительность и программируемость — Безграничный вычислительный слой для всего.

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

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

! [])https://img-cdn.gateio.im/webp-social/moments-c46288543a83af189338fd6a8ba5d1ef.webp###

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

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

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

!

( 3.2 Пико Призма: прорыв в производительности многопроцессорных кластеров

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

1. Архитектурное проектирование: традиционные zkVM (такие как SP1, R0VM) в основном полагаются на оптимизацию с использованием одного GPU. Pico Prism впервые реализует параллельное доказательство на нескольких серверах и GPU кластерах (Cluster-Level zkProving), расширяя zk-доказательства до распределенной вычислительной системы с помощью многопоточности и шардирования, значительно увеличивая параллелизм и масштабируемость.
2. Реализация проекта: построение многослойного асинхронного конвейера (выполнение / рекурсия / сжатие) и механизма повторного использования данных между уровнями (кэширование proof chunk и повторное использование embedding), а также поддержка переключения между несколькими backend (KoalaBear, BabyBear, M31), что значительно повышает эффективность пропускной способности.
3. Аппаратная стратегия: при конфигурации 64×RTX 5090 GPU (приблизительно $128K) Pico Prism достигает среднего времени доказательства 6.0–6.9 секунды, 96.8% покрытия RTP, коэффициент производительности/стоимости увеличивается примерно в 3.4 раза, что лучше по сравнению с SP1 Hypercube (160×4090 GPU, 10.3 секунды).
4. Эволюция системы: как первая zkVM, удовлетворяющая критериям RTP фонда Ethereum (более 96% sub-10s, менее ) по стоимости), Pico Prism знаменует собой переход системы zk-доказательств от исследовательского прототипа к инфраструктуре производства уровня главной сети, предлагая более экономичные решения для нулевых знаний в таких сценариях, как Rollup, DeFi, AI и кросс-цепочная верификация.

3.3 ZK Data Coprocessor: Уровень интеллектуальной обработки данных блокчейна с нулевым раскрытием знаний

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

Рабочий процесс Brevis включает три шага:

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

Результат верификации: подтверждение результата возвращается в цепь, где контракт проверяет и вызывает последующую логику.

! []$100K https://img-cdn.gateio.im/webp-social/moments-34c4b4cdde3635acaed075831947e4ae.webp###

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-цепях, обеспечивая возможность независимой проверки результатов любым пользователем; одновременно поддерживает кросс-цепочные операции и контроль доступа, обеспечивая соответствие требованиям и безопасное автоматическое распределение стимулов.

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

• Держание токенов: расчет долгосрочных вознаграждений на основе взвешенного по времени остатка (TWA) ERC-20;
• Концентрированная ликвидность: распределение вознаграждений за ликвидность в зависимости от комиссии AMM DEX, совместимо с ALM-протоколами, такими как Gamma, Beefy и др.;
• Lend & Borrow: Расчет вознаграждения за заимствование на основе среднего баланса и долга.

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

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

! []###https://img-cdn.gateio.im/webp-social/moments-52317d5796169cb68f9a65b545ce3b4c.webp###

Четыре, технические характеристики и достижения производительности Brevis zkVM

Стандарт实时证明 (Realtime Proving, RTP) L1 zkEVM, предложенный Фондом Ethereum (EF), стал отраслевым консенсусом и порогом доступа для возможности zkVM войти в маршрут валидации основной сети Ethereum, его ключевые оценочные показатели включают:

• Требование по задержке: P99 ≤ 10 секунд (соответствует 12-секундному циклу блока Ethereum);
• Аппаратные ограничения: CAPEX ≤ $100K, потребление энергии ≤ 10kW (подходит для домашних/малых серверных);
• Уровень безопасности: ≥128-бит (переходный период ≥100-бит);
• Размер доказательства: ≤300 KiB；

Системные требования: Необходимо избегать зависимости от доверенных настроек, исходный код должен быть полностью открытым.

!

В октябре 2025 года Brevis опубликовала отчет «Pico Prism — 99,6% доказательство в реальном времени для 45M Gas Ethereum блоков на потребительском оборудовании», объявив, что ее Pico Prism стал первым zkVM, полностью соответствующим стандартам доказательства блоков в реальном времени (RTP) Фонда Ethereum (EF).

С конфигурацией из 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, Виталика Бутерина и Джастина Дрейка.

!

Пять, Экспансия экосистемы Brevis и применение

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

• Умный DeFi (Intelligent DeFi): на основе исторического поведения и рыночного состояния, достижение умственного стимулирования и дифференцированного опыта (PancakeSwap, Uniswap, MetaMask и др.)
• Рост RWA и стабильных токенов (Рост RWA и стабильных токенов): автоматическое распределение доходов между стабильными токенами и RWA с помощью ZK верификации (OpenEden, Usual Money, MetaMask USD)
• Приватная децентрализованная торговля (DEX с темными пулами): использование модели приватной торговли с оффчейн-сопоставлением и ончейн-верификацией, которая скоро будет запущена.
• Кросс-чейн интероперабельность (Cross-chain Interoperability): поддержка кросс-чейн повторного стекинга и Rollup–L1 интероперабельности, создание совместимого уровня безопасности (Kernel, Celer, 0G)
• Холодный запуск публичной цепи (Blockchain Bootstrap): использование механизма ZK для поддержки холодного старта и роста новой экосистемы публичной цепи (Linea, TAC)
• Высокопроизводительные публичные блокчейны (в 100 раз быстрее L1): повышение производительности публичных блокчейнов, таких как Ethereum и BNB Chain, с помощью технологии реального времени доказательства (RTP)

Проверяемый ИИ (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%. Среди них

• Обычные деньги (46,6M доказательств): демонстрирует свою долгосрочную стабильность в масштабном распределении стимулов;
• PancakeSwap (20.6M): демонстрирует высокую производительность Brevis в расчете текущих ставок и скидок;
• Linea Ignition (20.4M): проверить его высокую пропускную способность в L2 экосистемных мероприятиях;
• Incentra (15,2%): ознаменовывает эволюцию Brevis от инструментов SDK к стандартизированной платформе стимулов.

!

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

• Обычный денежный стимул составляет более 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 (UPA) сжимает несколько ZK доказательств в одну подачу, значительно снижая стоимость и задержку верификации на цепочке.

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

Шесть, Фон команды и финансирование проекта

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

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

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

!

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

Семь, анализ конкурентных продуктов на рынке ZKVM и ZK Coprocessor

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

!

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

• Уровень зрелости: SP1 наиболее зрелый для промышленного развертывания; Pico обладает выдающейся производительностью и близок к стандартам основной сети; 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 ≤ 10s. Первый достигает прорыва в производительности и стоимости благодаря распределенной многопроцессорной архитектуре; второй сохраняет зрелость инженерии и устойчивость экосистемы с помощью монолитной системы. 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 сосредоточены на низкой задержке и реальном доказательстве, улучшая вычислительную пропускную способность с помощью рекурсивного STARK и GPU-ускорения.
• Модульность и масштабируемость: OpenVM, Pico, SP1 подчеркивают модульную конструкцию с возможностью подключения и поддержку сопроцессоров.
• Экологическая и универсальная разработка: RISC Zero, SP1, ZisK сосредоточены на совместимости SDK и языков, способствуя универсализации.

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

!

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

!

Восемь. Итоги: коммерческая логика, инженерная реализация и потенциальные риски

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

1. Воспроизводимость производительности — включена в систему ETHProofs RTP Фонда Ethereum;
2. Архитектурные барьеры — модульный дизайн и многопроцессорная параллельная реализация высокой масштабируемости;
3. Коммерческая верификация — уже масштабно внедрена в распределение стимулов, динамические тарифы и межсетевую верификацию.

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

Brevis реализует среднее время в 6.9 секунд и P99 < 10 секунд в блоке 45M gas через параллельную структуру Pico zkVM и Prism (64×5090 GPU, <(K CAPEX), производительность и стоимость находятся на ведущих позициях. Модуль 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 в качестве промежуточной цели, продолжая укреплять стандартизацию продуктов сопроцессоров и расширение экосистемы, а также продвигать воспроизводимость третьими сторонами, безопасность аудита и прозрачность затрат. Обеспечив структурный баланс между инфраструктурой и доходами от SaaS, можно сформировать устойчивую замкнутую бизнес-модель.