Общие сведения о Brevis

Введение

Brevis - это платформа доказательства данных полной цепочки Zero-Knowledge (ZK), разработанная для того, чтобы смарт-контракты могли получать доступ и обрабатывать полные исторические данные on-chain нескольких блокчейнов в бездоверительном режиме. Предоставляя настраиваемые функции вычислений, Brevis поддерживает инновационные приложения, такие как децентрализованная финансовая система (DeFi), кросс-чейн аутентификация и управление ликвидностью, помогая разработчикам создавать более умные и минимизированные по доверию блокчейн-приложения.

Основатель Brevis Донг Мо имеет крепкое образование в области компьютерных наук. Во время докторского образования в Университете Иллинойса в Урбане-Шампейне (UIUC) она сосредоточилась на исследованиях в области распределенных систем и кибербезопасности. Донг Мо также является венчурным партнером в IOSG Ventures и сооснователем Celer Network.

Финансирование

Brevis объявила о завершении зеркального раунда на сумму 7,5 миллиона долларов 12 ноября 2024 года, возглавляемого Polychain Capital и Binance Labs, с участием IOSG Ventures, Nomad Capital, Bankless Ventures, HashKey Capital и других.

Финансирование Brevis (Источник: Brevis)

Видение

В настоящее время децентрализованные приложения Web 3.0 (dApps) не могут получить доступ к большей части данных, хранящихся в блокчейнах, полностью безопасным образом. Это связано с тем, что смарт-контракты могут получать доступ только к данным из текущего состояния и не могут извлекать полную историческую информацию, что ограничивает потенциал и функциональность dApps.

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

Функции и архитектура Brevis

Особенности

• Высокая производительность на масштабе

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

• Универсальность
  Brevis предлагает набор разработки программного обеспечения (SDK), который позволяет разработчикам легко получать доступ к историческим состояниям, транзакциям, событиям смарт-контрактов и настраивать свою собственную логику вычислений с использованием программных языков, с которыми они знакомы. Эта универсальность позволяет Brevis удовлетворить широкий спектр потребностей в разработке и сценариях применения.

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

Архитектура

Brevis, как новая платформа для доказательства многоканальных данных с нулевым разглашением (ZK), стремится предоставить функции бездоверительного доступа к данным, вычислений и использования для децентрализованных приложений (dApps). Ее основная архитектура состоит из трех основных компонентов: zkFabric, zkQueryNet и zkAggregatorRollup.

Архитектура Brevis (Источник: Brevis)

1. zkFabric: Межцепочная совместимость на основе доказательства нулевого знания

zkFabric - это уровень совместимости Brevis, ответственный за сбор заголовков блоков со всех подключенных блокчейнов и генерацию доказательств нулевого знания консенсуса (ZK Consensus Proofs) для проверки достоверности этих заголовков блоков. Это позволяет любому блокчейну безопасно получать доступ к состоянию других блокчейнов. Через zkFabric dApps могут безопасно получать доступ к мультичейновым заголовкам блоков и корням состояния, решая проблемы доверия в текущей мультичейновой совместимости.

Рабочий процесс zkFabric можно сравнить с работой службы доставки. Он собирает «пакеты» (заголовки блоков) из различных блокчейнов, затем проходит через ряд «контрольных точек» (генерация доказательств в нулевом знании) для проверки подлинности пакетов. Наконец, проверенные заголовки блоков «доставляются» в центральный склад (zkAggregatorRollup). Конкретный рабочий процесс выглядит следующим образом:

• Синхронизация заголовка блока: сеть ретрансляции заголовка блока регулярно синхронизирует заголовки блоков из различных блокчейнов и выбирает заголовки блоков после задержки подтверждения блока для избежания проблем выбора ветвления.
• Передача заголовков блоков: Сеть ретрансляции заголовков блоков передает заголовки блоков в сеть доказателей zkFabric.
• Генерация доказательств правомерности: Сеть проверяющих генерирует доказательства правомерности для заголовков блоков с использованием цепно-специфических схем ZKP (реализующих протоколы легкого клиента).
• Возвращение доказательств: сеть-доказательств возвращает доказательства правильности в сеть-реле.
• Отправка в Rollup: После получения доказательств ретрансляционная сеть отправляет доказательства и соответствующие заголовки блоков в zkAggregatorRollup.

Технологическое ядро zkFabric заключается в его способности генерировать и проверять доказательства с нулевым разглашением, которые действуют как зашифрованные «квитанции», чтобы доказать подлинность заголовков блоков, не раскрывая никакой конфиденциальной информации. Он работает, реализуя схемы, основанные на полиномиальной арифметике, обеспечивая эффективную и безопасную генерацию доказательств. Кроме того, доказательства zkFabric могут быть рекурсивно проверены в zkAggregatorRollup, что означает, что после проверки доказательства его подлинность может быть многократно подтверждена в нескольких блокчейнах без необходимости повторной проверки каждый раз, что значительно повышает эффективность межцепочечного взаимодействия.

Например, с Ethereum PoS zkFabric сначала вычисляет обязательство комитета синхронизации Ethereum, что включает в себя сложный процесс хеширования SHA-256 и агрегации открытого ключа. Затем он проверяет подписи блока BLS, чтобы убедиться, что блок подписан уполномоченным комитетом. После завершения этих шагов zkFabric генерирует доказательство нулевого знания, чтобы подтвердить, что все этапы проверки были выполнены правильно. Это доказательство затем представляется zkAggregatorRollup вместе с заголовком блока для использования другими компонентами системы. Таким образом, zkFabric не только обеспечивает взаимодействие между блокчейнами, но и поддерживает безопасность и целостность данных, обеспечивая прочную основу для создания кросс-цепочных приложений.

Архитектура zkFabric (Источник: Brevis)

2. zkQueryNet: Открытая сеть движка запросов ZK

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

zkQueryNet реализован через серию движков запросов с нулевым раскрытием, позволяя разработчикам осуществлять запросы данных по нескольким блокчейнам без использования централизованных посредников или доверенных третьих сторон. Конкретный рабочий процесс включает получение запросов на запросы от dApps, разбор запроса и генерацию соответствующих вычислительных результатов. Каждый движок запросов может предоставлять различные интерфейсы запросов на основе конкретных потребностей, поддерживая случаи использования от простых данных передачи активов до сложного анализа рынка. Сгенерированные результаты запросов сопровождаются доказательствами с нулевым раскрытием для обеспечения их подлинности и действительности, сохраняя при этом конфиденциальность пользователя.

Через zkQueryNet разработчики могут легко получить доступ к данным межцепочечных транзакций, создавать более гибкие и эффективные децентрализованные приложения и способствовать росту экосистемы Web3.

Например, децентрализованная биржа (DEX) может пожелать динамически настраивать вознаграждения за майнинг ликвидности на основе объемов торгов пользователей на разных блокчейнах. Она может инициировать запрос через zkQueryNet, и запросные движки в сети соберут и вычислят данные, генерируя доказательства нулевого знания для обеспечения точности и подлинности результатов. Проверенные данные затем возвращаются в смарт-контракт DEX для настройки механизма вознаграждения, весь процесс является доверенным, обеспечивая безопасность данных и прозрачность.

3. zkAggregatorRollup: Слой агрегации доказательств межцепочечного взаимодействия

zkAggregatorRollup служит слоем агрегации и хранения для zkFabric и zkQueryNet. Он отвечает за проверку доказательств, представленных обоими модулями, и представление корней состояний, проверенных с использованием нулевого знания (ZK), всем связанным блокчейнам. Этот процесс позволяет децентрализованным приложениям (dApps) непосредственно использовать эти ZK-проверенные результаты запросов в рамках смарт-контрактов. Путем агрегирования нескольких доказательств и представления их одновременно каждому блокчейну, zkAggregatorRollup значительно снижает стоимость межцепочечного взаимодействия и проверки, обеспечивая при этом безопасность и целостность данных.

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

Технически он использует эффективные решения для хранения данных, такие как деревья Verkle, чтобы поддерживать быстрый поиск данных и генерацию доказательств. Кроме того, у zkAggregatorRollup есть мощная логика валидации, которая обеспечивает строгую проверку доказательств с нулевым разглашением перед тем, как данные будут сохранены и представлены. Это гарантирует точность и надежность данных. Такая концепция делает zkAggregatorRollup надежным фундаментом доверия, обеспечивающим децентрализованным приложениям надежный доступ к данным и платформу их использования через различные цепи.

Применение Brevis

• DeFi (Decentralized Finance), основанный на данных

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

• zkBridges (Zero-Knowledge мосты)

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

• zkDID (Zero-Knowledge Identity)

Brevis можно использовать для создания системы Zero-Knowledge Identity, позволяющей пользователям доказывать свою личность и поведение, защищая их конфиденциальность. Например, с помощью системы DID пользователи могут представить более подробные социальные данные для взаимодействия, не раскрывая чувствительную информацию. Этот метод проверки личности может применяться в различных сферах, включая социальные сети, финансовые услуги и т. д., при обеспечении конфиденциальности и безопасности пользовательских данных.

Демонстрации использования Brevis (Источник: Brevis)

Заключение

Brevis, как инновационная платформа Zero-Knowledge (ZK) полноцепочных доказательств данных, не только обеспечивает беспрецедентную взаимодействие между блокчейнами для децентрализованных приложений (dApps), но и решает проблему доверия с помощью своей мощной технологии доказательства ZK, способствуя развитию экосистемы Web3. С помощью трех основных компонентов - zkFabric, zkQueryNet и zkAggregatorRollup - Brevis обеспечивает эффективный, безопасный и недоверительный доступ к данным и вычислениям, поддерживая инновационные приложения в децентрализованной финансовой (DeFi), межцепочной проверке личности, управлении ликвидностью и т. д.

Что касается планов на будущее, Brevis стремится расширить свою кроссчейн-поддержку и оптимизировать вычислительную архитектуру ZK для дальнейшего повышения производительности и масштабируемости платформы. В ближайшие месяцы Brevis запустит свою новую архитектуру сопроцессора ZK и постепенно улучшит совместимость с несколькими блокчейнами и сетями уровня 2, чтобы удовлетворить более широкий спектр вариантов использования. Кроме того, Brevis усилит свой комплект для разработки программного обеспечения (SDK), что упростит разработчикам реализацию сложных вычислений данных и бизнес-логики. Они будут работать над снижением стоимости и задержки вычислений ZK за счет новых технологических инноваций.