“链下计算 + 链上验证”的可信计算（Verifiable Computing）范式，已成为区块链系统的通用计算模型。它让区块链应用在保持去中心化与信任最小化（trustlessness）安全性的前提下，获得几乎无限的计算自由度（computational freedom）。零知识证明（ZKP）是该范式的核心支柱，其应用主要集中在扩容（Scalability）、隐私（Privacy）以及互操作与数据完整性（Interoperability & Data Integrity）三大基础方向。其中，扩容是 ZK 技术最早落地的场景，通过将交易执行移至链下、以简短证明在链上验证结果，实现高 TPS 与低成本的可信扩容。

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

Один, путь расширения zkEVM Эфириума: от L2 Rollup до L1 реального времени доказательства

Путь расширения zkEVM Эфириума прошел через два этапа:

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

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

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

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

  • Тип 1 полностью эквивалентен: совпадает с байт-кодом Эфириума, минимальные затраты на миграцию, самое медленное доказательство. Taiko.

  • Тип 2 полностью совместим: минимальные оптимизации на уровне, максимальная совместимость. Scroll, Linea.

  • Тип 2.5 почти совместим: небольшие изменения (газ/предварительная компиляция и т. д.) меняют производительность. Polygon zkEVM, Kakarot.

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

  • Тип 4 на уровне языка: отказ от совместимости с байт-кодом, прямой компиляции из высокоуровневого языка в цепь, оптимальная производительность, но требует восстановления экосистемы (представитель: Starknet / Cairo).

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

L1 zkEVM: реальное время доказательства трансформирует легкую логику верификации Эфириума

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

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

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

Три главные линии дорожной карты L1 zkEVM

  1. Реальное доказательство (Realtime Proving): завершение полного доказательства в течение 12 секунд временного слота, снижение задержки за счет параллелизации и аппаратного ускорения;

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

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

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

Два, превосходя Эфириум: универсальный zkVM и zkCoprocessor

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

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

Проверяемый механизм выполнения для произвольных программ, общие архитектуры наборов команд включают RISC-V, MIPS и WASM. Разработчики могут компилировать бизнес-логику в zkVM, позволяя провайдеру выполнять ее вне цепи и генерировать проверяемые на цепи нулевые знания (ZKP), которые можно использовать как для доказательства блоков L1 Эфириума, так и для кросс-цепной верификации, ИИ-вывода, криптографических вычислений и сложных алгоритмов. Его преимущества заключаются в универсальности и широком диапазоне совместимости, но сложность цепи и высокие затраты на доказательства требуют зависимости от многопоточного 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) в Эфириуме, технологии ZK постепенно переходят в эпоху проверяемых вычислений, сосредоточенную на универсальной архитектуре zkVM и zkCoprocessor. Brevis Network является синтезом zkVM и zkCoprocessor, создавая универсальную проверяемую вычислительную инфраструктуру с высокой производительностью и программируемостью — бесконечный уровень вычислений для всего (The Infinite Compute Layer for Everything).

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

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

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

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

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

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

Pico Prism представляет собой важное достижение Brevis в многосерверной архитектуре GPU, установив новое рекордное время в рамках «реального времени доказательства (Real-Time Proving, RTP)», установленного Фондом Эфириума. На кластере 64×5090 GPU достигается среднее время доказательства 6.9 секунд и покрытие RTP 96.8%, производительность занимает первое место среди аналогичных zkVM. Эта система оптимизирована на уровне архитектуры, инженерии, аппаратного обеспечения и системы, что знаменует собой переход zkVM от исследовательского прототипа к инфраструктуре уровня производства.

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

  2. Инженерная реализация: создание многоступенчатого асинхронного конвейера (Execution / Recursion / Compression) и механизма повторного использования данных между слоями (кэширование proof chunk и повторное использование embedding), поддерживающего многопоточную смену бэкендов (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, установленным Фондом Эфириума (>96% sub-10s, <$100K стоимость), Pico Prism знаменует собой переход системы zk-доказательства от исследовательского прототипа к производственной инфраструктуре уровня основной сети, предлагая более экономичные решения для нулевых знаний в таких сценариях, как Rollup, DeFi, AI и кросс-цепная верификация.

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

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

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

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

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

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

Brevis одновременно поддерживает модели Pure-ZK и CoChain (OP): первая достигает минимизации доверия, но с высокими затратами; вторая позволяет достигать проверяемых вычислений с помощью PoS верификации и механизма ZK челленджей с более низкими затратами. Валидаторы ставят на Эфириуме, и если результат успешно оспорен 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;

  • Заем и кредит: расчет вознаграждений за заимствование на основе средних балансов и долгов.

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

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

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

Стандарт реального времени доказательства (Realtime Proving, RTP), предложенный Фондом Эфириума (EF), стал отраслевым консенсусом и порогом для того, чтобы zkVM мог попасть в маршрут верификации основной сети Эфириума, его основными оценочными показателями являются:

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

  • Аппаратные ограничения: CAPEX ≤ $100K, потребление энергии ≤ 10kW (подходит для домашних/малых серверов);

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

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

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

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

При конфигурации 64×RTX 5090 GPU (около $128K) Pico Prism достигла производительности в 45M gas блоках, обеспечивая среднюю задержку 6.9 секунд, 96.8% <10s, 99.6% <12s, что значительно превосходит Succinct SP1 Hypercube (36M gas, среднее время 10.3s, 40.9% <10s). В условиях снижения задержки на 71% и уменьшения стоимости аппаратного обеспечения вдвое общая эффективность производительности/стоимости возросла примерно в 3.4×. Этот успех уже был публично признан Фондом Эфириума, Виталиком Бутериным и Джастином Дрейком.

Пять, расширение экосистемы Brevis и реализация приложений

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

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

  • Рост RWA и стабильных монет (RWA & Stable Token Growth): автоматическое распределение доходов от стабильных монет и RWA через ZK-проверку (OpenEden, Usual Money, MetaMask USD)

  • Децентрализованные сделки с конфиденциальностью (DEX with Dark Pools): использование модели конфиденциальных сделок на основе off-chain и on-chain верификации, скоро будет запущено

  • Кросс-цепная интероперабельность (Cross-chain Interoperability): поддержка кросс-цепного повторного стейкинга и интероперабельности Rollup–L1, создание общего уровня безопасности (Kernel, Celer, 0G)

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

  • Высокопроизводительные публичные цепи (100× Faster L1s): повышение производительности публичных цепей, таких как Эфириум, с помощью технологии реального времени доказательства (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 стимулов, предоставляя стабильный доход пользователям стабильных монет и LP;

  • OpenEden и Bedrock реализуют распределение доходов от美债 и Restaking на основе модели CPI;

  • Протоколы Euler, Aave, BeraBorrow проверяют позиции заимствования и расчеты вознаграждений через ZK.

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

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

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

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

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

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

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

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

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

В настоящее время ETHProofs.org, поддерживаемый Фондом Эфириума, стал основной платформой для отслеживания маршрута реального времени доказательства 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 оба направлены на выполнение стандарта P99 ≤ 10s, установленного EF. Первый достигает прорыва в производительности и стоимости через распределенную много-GPU архитектуру; последний поддерживает зрелость инженерии и стабильность экосистемы с помощью монолитной системы. Pico представляет собой производительность и архитектурные инновации, в то время как SP1 представляет собой практическое применение и лидерство в экосистеме.

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

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

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

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

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

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

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

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

  1. Производительность воспроизводима — включена в систему RTP Фонда Эфириума ETHProofs;

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

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

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

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

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

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

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

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

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

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

#ZK #brevis #zkEVM #ZKVM #ZKCoprocessor