Я потратил время, чтобы углубиться в Brevis, чтобы понять, почему они достигли 99,6% покрытия доказательств для Эфир блоков менее чем за 12 секунд.

обнаружил не только это, но и;

> 37.5M+ доказательств
> 23 dApps интегрированы
> 69k уникальных адресов
> собрали 7,5 млн долларов в раунде начального финансирования с ведущими инвесторами, такими как Polychain Capital, YZi Labs и др..

Ясно, что они оказали значительное влияние своим решением, судя по их инвесторам.

Давайте немного углубимся в технические детали и исследуем архитектуру, которая их поддерживает:

➪ Итак, что именно такое Brevis ?

Brevis — это просто сеть, которая позволяет смарт-контрактам проверять и вычислять данные откуда угодно, используя нулевые доказательства для бездоверительной проверки.

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

И это ограничивает DeFi, on-chain аналитику, идентичность, композируемость и многие реальные приложения.

Brevis теперь пытается сделать это, позволяя dApps разгружать тяжелые вычисления на проверяемый ZK сопроцессор и получать компактное криптографическое доказательство того, что результат верен.

➪ Уровень ZK-копроцессора

Слои ZK сопроцессора Brevis действуют как параллельный мозг для блокчейнов, обрабатывая сложную логику вне цепи, а затем возвращая доказательства, которые можно проверить в цепи.

Как взаимодействуют слои

1. Умный контракт: Контракт не вычисляет и не извлекает данные сам, а отправляет запрос.

Например,

«Какой объем торговли у этого кошелька на 5 цепочках?»

это делегирует задачу сопроцессору.

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

3. Кросс-цепочные данные:
С помощью zkFabric Brevis получает проверенные корни состояния из нескольких цепочек, обеспечивая выполнение вычислений на основе аутентичной истории в блокчейне, а не доверенных API или мостов.

4. Проверенный вывод: Копроцессор возвращает компактное доказательство + результат смарт-контракту.

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

➪ Их основные компоненты

1. Pico (zkVM) → Ум: делает любое вычисление проверяемым.

2. Слой ZK-копроцессора → Память: предоставляет смарт-контрактам историческую и кроссчейн-осведомленность.

3. zkFabric → Убийца мостов: заменяет мультиподписи и ретрансляторы на чистую криптографию.

4. Prover Network + Aggregation → децентрализует доказательства, сжимает тысячи доказательств в одно и сохраняет дешевизну проверки в цепочке.

На этом всё, увидимся в следующий раз.