Блокчейн-проект Brevis основан на принципе использования технологии доказательств нулевого знания (ZK Proof), которая переносит тяжелые вычислительные задачи с цепочки в автономную среду, а затем возвращает краткое математическое доказательство обратно в цепь для быстрой и не требующей доверия верификации. По сути, это реализует разделение между вычислениями и верификацией, предоставляя смарт-контрактам "внешний мозг".

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

⚙ Рабочий процесс: как это работает?

Рабочий процесс Brevis можно разбить на четыре четких этапа:

1. Инициирование запроса
Когда смарт-контракту децентрализованного приложения (dApp) требуется обработать большой объем исторических данных или выполнить сложные вычисления, он отправляет запрос в сеть Brevis.

2. Автономные вычисления
После получения запроса децентрализованная сеть доказывающих устройств Brevis (ProverNet) извлекает необходимые данные из одного или нескольких блокчейнов в автономной среде и выполняет вычислительные задачи. Этот процесс не ограничен лимитом Gas в цепи и может использовать стандартные языки программирования (такие как Rust).

3. Генерация доказательства
После завершения вычислений сеть Brevis генерирует краткое доказательство нулевого знания. Это доказательство математически гарантирует корректность процесса вычисления и результатов, но не раскрывает никаких деталей исходных данных.

4. Верификация в цепи
Наконец, это доказательство возвращается в смарт-контракт dApp. Контракт может с минимальными затратами и максимальной скоростью проверить корректность доказательства. После успешной верификации контракт использует результат вычисления как надежные данные для выполнения последующей логики.

Весь процесс позволяет смарт-контрактам с "доверием" использовать результаты автономных вычислений, не требуя их самостоятельного пересчета и не полагаясь на какого-либо централизованного третьего лица.

🧩 Основные компоненты: из чего это состоит?

Техническая архитектура Brevis состоит из трех основных компонентов, которые вместе поддерживают функциональность его "слоя неограниченных вычислений":

* Pico zkVM (Механизм доказывания)
Это модульная виртуальная машина нулевого знания, отвечающая за выполнение автономных вычислений и генерацию доказательств. Она разработана с целью обеспечения высокой производительности и низкой задержки, позволяя быстро обрабатывать огромные объемы данных блокчейна (например, скорость генерации доказательств для блоков Ethereum может соответствовать скорости их создания). Разработчики могут создавать приложения, используя знакомые языки программирования, без необходимости глубокого погружения в сложность доказательств нулевого знания.

* zkCoprocessor (ZK сопроцессор)
Это "интерфейс данных" или "внешний мозг" смарт-контракта. Он специализируется на обработке сложных запросов и вычислений, которые смарт-контракт не может выполнить в цепи, затрагивающих большие объемы исторических данных и данных между цепями.

* ProverNet (Децентрализованная сеть доказывающих устройств)
Это сеть, состоящая из участников (доказывающих), которые вносят свои вычислительные ресурсы (такие как GPU) для выполнения вычислительных задач и генерации доказательств. Сеть стимулирует участников и обеспечивает децентрализацию и безопасность, используя механизм, аналогичный доказательству доли (PoS).

🚀 Основные функции: что это может делать?

Используя описанные выше принципы и компоненты, Brevis решает две ключевые проблемы в области блокчейна:

* Разблокировка доступа к историческим данным
Смарт-контракты обычно могут получать доступ только к текущему состоянию и не могут запрашивать свою "историю". Brevis позволяет контрактам безопасно получать доступ и вычислять произвольные исторические данные в цепи, например проверять, оставался ли пользователь активным в течение длительного периода времени.

* Реализация взаимодействия данных между цепями
Brevis позволяет dApp безопасно запрашивать и использовать данные из различных блокчейнов. Например, протокол DeFi может проверить активы пользователя на Ethereum, чтобы решить, предоставить ли ему заем на BNB Chain.