Блокчейн-консенсус требует от каждого валидатора повторения одного и того же вычисления, что делает ончейн-вычисления дорогими и ограниченными. Это приводит к тому, что смарт-контракты не могут эффективно обрабатывать большие объемы исторических транзакций, создавая устойчивое вычислительное узкое место.
Brevis реализует принцип «доказательство работы вместо её повторения»: результаты вычислений офчейн проверяются ончейн за миллисекунды. Это обеспечивает масштабируемую и надежную вычислительную основу для DeFi, дата-ориентированных приложений и ИИ.
Brevis — платформа верифицируемых вычислений, которая переносит сложные вычисления офчейн и использует доказательства с нулевым разглашением для гарантии целостности результата. Ончейн-валидаторы больше не повторяют вычисления, а просто проверяют краткое доказательство корректности, что значительно снижает расходы.

«Неограниченный вычислительный слой» решает проблему ончейн-ограничений: сети, такие как Ethereum, ограничивают вычисления на транзакцию, что затрудняет сложную аналитику, инференс моделей или кроссчейн-агрегацию непосредственно ончейн. Офчейн-исполнение с ончейн-проверкой отделяет масштаб вычислений от лимита газа блока.
| Основной компонент | Роль | Главная функция |
|---|---|---|
| Pico zkVM | Модульная zkVM с открытым кодом | Написание логики на Rust и генерация доказательств |
| ZK Data Coprocessor | Офчейн-движок обработки данных | Доступ к историческим/кроссчейн-данным, прикрепление доказательств |
| coChain | Криптоэкономический слой защиты | Обеспечение доверия через стейкинг и слэшинг |
| Pico Prism | Доказательства блоков в реальном времени | Доказательства для Ethereum в реальном времени |
| Vera | Доказательства подлинности контента | ZK-доказательства подлинности медиаконтента |
| ProverNet | Децентрализованный рынок доказательств | Соответствие между поставщиками и спросом на доказательства |
В таблице представлены компоненты стека: Pico zkVM и ZK Data Coprocessor отвечают за вычисления, coChain обеспечивает доверие, а Pico Prism, Vera и ProverNet реализуют доказательства в реальном времени, происхождение контента и поставку доказательств.
Смарт-контракты практически не видят историю — прямое чтение и обработка больших объемов исторических транзакций ончейн слишком дорого. Чтобы контракты могли принимать решения на основе долгосрочного ончейн-поведения пользователя, нужен механизм, не требующий повторной обработки всех данных ончейн.
ZK Data Coprocessor предназначен для этого: он получает доступ к историческим или кроссчейн-данным и выполняет вычисления офчейн, возвращая «результат плюс криптографическое доказательство того, что данные существуют и обработаны корректно». Смарт-контракты могут проверить результат ончейн за миллисекунды.
Поток вычислений состоит из четырех шагов: приложение отправляет запрос; копроцессор выполняет офчейн-вычисления с реальными ончейн-данными; генерируется ZK-доказательство корректности; смарт-контракт проверяет и принимает результат.

Рисунок 1. Поток вычислений Brevis: запрос приложения → офчейн-вычисления (Pico zkVM и ZK Data Coprocessor с реальными ончейн-данными) → генерация ZK-доказательства → ончейн-верификатор проверяет и возвращает результат.
Pico zkVM — модульная zero-knowledge виртуальная машина Brevis с открытым исходным кодом. Она позволяет разработчикам писать вычислительную логику на Rust и генерировать доказательства. Как универсальный слой исполнения для верифицируемых вычислений, Pico zkVM объединяет написание программ и доказательство корректного исполнения в едином инструментарии.
Архитектура «клей и копроцессор» использует универсальное ядро RISC-V для исполнения программ на Rust, а распространённые операции — хеширование Keccak-256, проверка подписи, инференс машинного обучения — направляются в специальные прекомпайлы для ускорения. По данным Brevis, такой подход ускоряет генерацию доказательств примерно в 10–80 раз.
Brevis предлагает две модели защиты: pure-ZK и OP / coChain. Главное различие — что делает результат заслуживающим доверия: pure-ZK основывается только на криптографических доказательствах, OP / coChain добавляет криптоэкономический слой. С помощью Brevis SDK Вы можете написать бизнес-логику один раз и развернуть её под любой моделью.
coChain — это PoS-блокчейн с возможностью стейкинга и слэшинга на Ethereum. Валидаторы генерируют результаты, используя данные архивных узлов соответствующей цепи, достигают консенсуса PoS и отправляют агрегированную подпись как предложение в цепь запроса, переходя в окно вызова приложения.
Если кто-либо успешно оспорит некорректный результат в течение этого окна с помощью ZK-доказательства, стейк валидатора будет слэшнут на Ethereum. Если вызова нет, результат может использоваться dApp без затрат на доказательства. coChain планирует интеграцию EigenLayer для динамического регулирования уровня защиты.
| Измерение | pure-ZK | OP / coChain |
|---|---|---|
| Источник доверия | Криптографическое доказательство | Стейкинг и слэшинг + опциональный вызов |
| Задержка результата | Ожидание генерации доказательства | Использование после окна вызова |
| Стоимость вычислений | ZK-доказательство каждый раз | Нет затрат на доказательство, если не оспорено |
| Сила защиты | Гарантируется ZK | Динамически регулируется через EigenLayer |
В таблице сравниваются две модели: pure-ZK оптимальна для сценариев, требующих максимальной детерминированности, а coChain более гибка по затратам и пропускной способности. Их можно использовать отдельно или совместно.
BREV — нативный утилитарный и управляющий токен сети Brevis, поддерживающий экономику поставки доказательств. Его роли делятся на три категории: оплата, обеспечение и управление, напрямую связанные с мотивацией пруверов и слэшингом, как описано в BREV Token и coChain.
| Функция | Описание |
|---|---|
| Оплата комиссий за доказательства | Пользователи платят комиссии за доказательства в BREV |
| Обеспечение пруверов | Пруверы блокируют BREV для получения задач; слэшинг при дефолте |
| Управление протоколом | Держатели BREV участвуют в управлении протоколом |
Эти три функции образуют замкнутый цикл: пользователи платят за доказательства, пруверы стейкают токен для принятия задач, а сообщество управляет параметрами, связывая качество доказательств и безопасность сети.
Brevis и ораклы решают разные задачи: ораклы в основном доставляют офчейн-данные ончейн, а Brevis фокусируется на вычислениях и доказательстве корректности ончейн и исторических данных. Ключевое различие — между транспортировкой данных и верифицируемыми вычислениями, подробнее в различии между Brevis и ораклами.
Ораклы обычно требуют доверия к узлам или поставщикам данных; Brevis использует доказательства с нулевым разглашением, позволяя ончейн-участникам напрямую проверять корректность. В отличие от других ZK-копроцессоров, Brevis выделяется универсальной Pico zkVM, ZK Data Coprocessor и двойной моделью pure-ZK/coChain.
«Реальное внедрение» Brevis связано с применением верифицируемых вычислений в бизнесе. По данным официального блога Brevis (2025), платформа сгенерировала более 340 млн доказательств, охватывающих свыше 50 протоколов на 8+ блокчейнах, а связанные программы мотивации и наград превысили $300 млн.
Типичный кейс — дата-ориентированные стимулы: протоколы могут распределять награды на основе реальной ончейн-истории пользователя (например, объем торгов, длительность хранения), а ZK-доказательства обеспечивают невозможность подделки наград. ProverNet — децентрализованный рынок доказательств в основной сети, где пруверы должны стейкать BREV для участия и подвергаются слэшингу при дефолте.
Pico Prism обеспечивает доказательства блоков Ethereum в реальном времени. По данным Brevis, достигается около 99,8% покрытия в реальном времени на 16 GPU и выполняется аппаратная цель $100 000, установленная Ethereum Foundation. Инициатива On-Prem Proving (Ethproof) фонда выбрала Brevis одной из четырех команд в марте 2026 года. Vera использует ZK-доказательства для проверки происхождения и подлинности медиаконтента, решая проблему отслеживания контента в эпоху дипфейков.

Рисунок 2. Технологический стек и обзор экосистемы Brevis: распределение ролей между Pico zkVM, ZK Data Coprocessor, Pico Prism, Vera, ProverNet, coChain и токеном BREV.
Brevis выделяется масштабируемостью и доверием: офчейн-исполнение с ончейн-проверкой отделяет вычисления от лимита газа блока, а ZK-доказательства позволяют проверять результаты без доверия третьей стороне. SDK обеспечивает write-once, multi-model развертывание для гибкой инженерии.
Ограничения обусловлены самой ZK-вычислительной технологией — генерация доказательств требует специализированного оборудования и хэшрейта, а универсальные доказательства все еще дороже нативного исполнения. Сложность и задержка сложной логики остаются структурными ограничениями.
Риски включают зависимость безопасности coChain от активности участников вызова и достаточного стейкинга; возможные ошибки реализации при интеграции смарт-контрактов и SDK; а также зависимость поставки доказательств ProverNet от участия пруверов. Это структурные ограничения механизма и не являются инвестиционной рекомендацией.
Brevis — платформа верифицируемых вычислений для Web3, реализующая принцип «доказательство работы вместо её повторения» путем вынесения затратных вычислений офчейн и ончейн-проверки кратких доказательств за миллисекунды. Стек включает Pico zkVM и ZK Data Coprocessor для вычислений, обеспечивает доверие через модели pure-ZK и coChain, связывает комиссии, стейкинг и управление через токен BREV, а реальные внедрения охватывают Pico Prism, Vera и ProverNet.
Brevis — платформа верифицируемых вычислений на основе доказательств с нулевым разглашением, позиционируемая как неограниченный вычислительный слой Web3. Она исполняет сложные вычисления офчейн и позволяет ончейн-проверку кратких доказательств, избавляя валидаторов от повторного исполнения одних и тех же вычислений.
Ораклы в основном доставляют офчейн-данные ончейн, требуя доверия к источнику данных. ZK Data Coprocessor выполняет вычисления офчейн с использованием реальных ончейн или исторических данных и прикрепляет криптографические доказательства, позволяя напрямую проверить корректность ончейн.
Pico zkVM использует архитектуру «клей и копроцессор»: универсальное ядро RISC-V исполняет программы на Rust, а распространённые операции направляются в специальные прекомпилированные схемы для ускорения. По данным Brevis, это увеличивает скорость генерации доказательств примерно в 10–80 раз.
pure-ZK основывается исключительно на криптографических доказательствах, обеспечивая максимальную детерминированность, но требуя доказательства для каждого вычисления. coChain обеспечивает гарантии через стейкинг на Ethereum, слэшинг и окно вызова, а также может исключить затраты на доказательства при отсутствии вызова. Обе модели можно реализовать один раз и развернуть по необходимости через Brevis SDK.
BREV — нативный утилитарный и управляющий токен сети Brevis, в основном используется для оплаты комиссий за доказательства, обеспечения пруверов (блокируется для получения задач, слэшится при дефолте) и управления параметрами протокола.





