Что представляет собой Brevis (BREV)? Полное руководство по ZK-уровню бесконечных вычислений для Web3

Последнее обновление 2026-07-06 07:06:49
Время чтения: 9m
Brevis — платформа проверяемых вычислений на базе Zero-Knowledge Proofs (ZK), известная как «Бесконечный вычислительный уровень» для Web3. Суть работы заключается в том, что ресурсоёмкие вычисления выполняются офчейн, а Блокчейн подтверждает только краткое доказательство.

Блокчейн-консенсус требует от каждого валидатора повторения одного и того же вычисления, что делает ончейн-вычисления дорогими и ограниченными. Это приводит к тому, что смарт-контракты не могут эффективно обрабатывать большие объемы исторических транзакций, создавая устойчивое вычислительное узкое место.

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

Что такое Brevis? Почему его называют «неограниченным вычислительным слоем» Web3?

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

Что такое 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 реализуют доказательства в реальном времени, происхождение контента и поставку доказательств.

Как работает Brevis ZK Coprocessor?

Смарт-контракты практически не видят историю — прямое чтение и обработка больших объемов исторических транзакций ончейн слишком дорого. Чтобы контракты могли принимать решения на основе долгосрочного ончейн-поведения пользователя, нужен механизм, не требующий повторной обработки всех данных ончейн.

ZK Data Coprocessor предназначен для этого: он получает доступ к историческим или кроссчейн-данным и выполняет вычисления офчейн, возвращая «результат плюс криптографическое доказательство того, что данные существуют и обработаны корректно». Смарт-контракты могут проверить результат ончейн за миллисекунды.

Поток вычислений состоит из четырех шагов: приложение отправляет запрос; копроцессор выполняет офчейн-вычисления с реальными ончейн-данными; генерируется ZK-доказательство корректности; смарт-контракт проверяет и принимает результат.

Поток вычислений Brevis: от запроса приложения к офчейн-вычислениям с Pico zkVM и ZK Data Coprocessor, к ZK-доказательству и ончейн-верификатору

Рисунок 1. Поток вычислений Brevis: запрос приложения → офчейн-вычисления (Pico zkVM и ZK Data Coprocessor с реальными ончейн-данными) → генерация ZK-доказательства → ончейн-верификатор проверяет и возвращает результат.

Какую роль играет Pico zkVM в архитектуре Brevis?

Pico zkVM — модульная zero-knowledge виртуальная машина Brevis с открытым исходным кодом. Она позволяет разработчикам писать вычислительную логику на Rust и генерировать доказательства. Как универсальный слой исполнения для верифицируемых вычислений, Pico zkVM объединяет написание программ и доказательство корректного исполнения в едином инструментарии.

Архитектура «клей и копроцессор» использует универсальное ядро RISC-V для исполнения программ на Rust, а распространённые операции — хеширование Keccak-256, проверка подписи, инференс машинного обучения — направляются в специальные прекомпайлы для ускорения. По данным Brevis, такой подход ускоряет генерацию доказательств примерно в 10–80 раз.

Как coChain и криптоэкономическая модель обеспечивают доверенные вычисления?

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 — нативный утилитарный и управляющий токен сети Brevis, поддерживающий экономику поставки доказательств. Его роли делятся на три категории: оплата, обеспечение и управление, напрямую связанные с мотивацией пруверов и слэшингом, как описано в BREV Token и coChain.

Функция Описание
Оплата комиссий за доказательства Пользователи платят комиссии за доказательства в BREV
Обеспечение пруверов Пруверы блокируют BREV для получения задач; слэшинг при дефолте
Управление протоколом Держатели BREV участвуют в управлении протоколом

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

Чем Brevis отличается от ораклов и других ZK-копроцессоров?

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

Ораклы обычно требуют доверия к узлам или поставщикам данных; Brevis использует доказательства с нулевым разглашением, позволяя ончейн-участникам напрямую проверять корректность. В отличие от других ZK-копроцессоров, Brevis выделяется универсальной Pico zkVM, ZK Data Coprocessor и двойной моделью pure-ZK/coChain.

Каковы реальные сценарии применения Brevis?

«Реальное внедрение» 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-доказательства для проверки происхождения и подлинности медиаконтента, решая проблему отслеживания контента в эпоху дипфейков.

Технологический стек и обзор экосистемы Brevis: Pico zkVM, ZK Data Coprocessor, Pico Prism, Vera, ProverNet, coChain и токен BREV

Рисунок 2. Технологический стек и обзор экосистемы Brevis: распределение ролей между Pico zkVM, ZK Data Coprocessor, Pico Prism, Vera, ProverNet, coChain и токеном BREV.

Каковы преимущества, риски и ограничения использования Brevis?

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 (BREV)?

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

В чем отличие ZK Data Coprocessor от оракула?

Ораклы в основном доставляют офчейн-данные ончейн, требуя доверия к источнику данных. ZK Data Coprocessor выполняет вычисления офчейн с использованием реальных ончейн или исторических данных и прикрепляет криптографические доказательства, позволяя напрямую проверить корректность ончейн.

Почему Pico zkVM ускоряет генерацию доказательств?

Pico zkVM использует архитектуру «клей и копроцессор»: универсальное ядро RISC-V исполняет программы на Rust, а распространённые операции направляются в специальные прекомпилированные схемы для ускорения. По данным Brevis, это увеличивает скорость генерации доказательств примерно в 10–80 раз.

Как выбрать между моделями pure-ZK и coChain?

pure-ZK основывается исключительно на криптографических доказательствах, обеспечивая максимальную детерминированность, но требуя доказательства для каждого вычисления. coChain обеспечивает гарантии через стейкинг на Ethereum, слэшинг и окно вызова, а также может исключить затраты на доказательства при отсутствии вызова. Обе модели можно реализовать один раз и развернуть по необходимости через Brevis SDK.

Для чего используется токен BREV?

BREV — нативный утилитарный и управляющий токен сети Brevis, в основном используется для оплаты комиссий за доказательства, обеспечения пруверов (блокируется для получения задач, слэшится при дефолте) и управления параметрами протокола.

Автор: Jayne
Отказ от ответственности
* Информация не предназначена и не является финансовым советом или любой другой рекомендацией любого рода, предложенной или одобренной Gate.
* Эта статья не может быть опубликована, передана или скопирована без ссылки на Gate. Нарушение является нарушением Закона об авторском праве и может повлечь за собой судебное разбирательство.

Пригласить больше голосов

sign up guide logosign up guide logo
sign up guide content imgsign up guide content img
Sign Up

Похожие статьи

Экономическая модель токена ONDO: каким образом она способствует развитию платформы и повышает вовлеченность пользователей?
Новичок

Экономическая модель токена ONDO: каким образом она способствует развитию платформы и повышает вовлеченность пользователей?

ONDO — это ключевой токен управления и накопления стоимости в экосистеме Ondo Finance. Основная цель ONDO — с помощью токен-инцентивов обеспечить плавную интеграцию традиционных финансовых активов (RWA) с DeFi-экосистемой, что способствует масштабному развитию ончейн-управления активами и доходных продуктов.
2026-03-27 13:52:55
Как Midnight обеспечивает конфиденциальность в блокчейне? Обзор доказательств с нулевым разглашением и программируемых механизмов приватности
Новичок

Как Midnight обеспечивает конфиденциальность в блокчейне? Обзор доказательств с нулевым разглашением и программируемых механизмов приватности

Midnight — блокчейн-сеть, ориентированная на конфиденциальность, созданная компанией Input Output Global и играющая ключевую роль в экосистеме Cardano. Благодаря доказательствам с нулевым разглашением, архитектуре двухсостояния реестра и программируемым функциям приватности, сеть обеспечивает защиту чувствительной информации в блокчейн-приложениях без потери возможности верификации.
2026-03-24 13:49:36
Взаимосвязь между Midnight и Cardano: как сайдчейн конфиденциальности расширяет экосистему приложений Cardano
Новичок

Взаимосвязь между Midnight и Cardano: как сайдчейн конфиденциальности расширяет экосистему приложений Cardano

Midnight — блокчейн-сеть, ориентированная на конфиденциальность, разработанная Input Output Global. Она обеспечивает программируемые функции приватности для Cardano и дает разработчикам возможность создавать децентрализованные приложения с сохранением конфиденциальности данных.
2026-03-24 11:58:47
Morpho и Aave: техническое сравнение механизмов и структурных отличий в ончейн протоколах кредитования DeFi
Новичок

Morpho и Aave: техническое сравнение механизмов и структурных отличий в ончейн протоколах кредитования DeFi

Главное отличие Morpho от Aave — это их механизм кредитования. Aave использует модель пула ликвидности, а Morpho внедряет механизм P2P-сопоставления поверх этого фреймворка, что позволяет более точно сопоставлять процентные ставки внутри одной торговой площадки. Aave — нативный протокол кредитования, предоставляющий основную ликвидность и стабильные процентные ставки. Morpho работает как слой оптимизации, повышая эффективность капитала за счет сокращения спреда между ставками депозита и заимствования. Таким образом, Aave является инфраструктурой, а Morpho — инструментом для оптимизации эффективности.
2026-04-03 13:09:52
Анализ токеномики Pharos: долгосрочные стимулы, модель ограниченности и ценностная логика инфраструктуры RealFi
Новичок

Анализ токеномики Pharos: долгосрочные стимулы, модель ограниченности и ценностная логика инфраструктуры RealFi

Токеномика Pharos (PROS) направлена на стимулирование долгосрочного участия, поддержание дефицита предложения и максимальное раскрытие величины инфраструктуры RealFi. Это позволяет тесно связать рост сети со стоимостью токена. PROS используется не только как токен для оплаты комиссии за торговлю и стейкинга, но также регулирует объем предложения посредством постепенного выпуска и повышает величину токена за счет роста спроса на использование сети.
2026-04-29 08:00:16
Анализ токеномики Morpho: варианты использования MORPHO, распределение и ценностное предложение
Новичок

Анализ токеномики Morpho: варианты использования MORPHO, распределение и ценностное предложение

MORPHO — нативный токен протокола Morpho. Основные задачи токена — управление и стимулирование экосистемы. Механизмы распределения токенов и система стимулов позволяют Morpho согласовывать участие пользователей, развитие протокола и права управления, создавая долгосрочный фреймворк величины в децентрализованном кредитовании.
2026-04-03 13:13:52