В чем различие между моделью "вне блокчейна, в блокчейне" от Brevis?

Автор: Ланьху Биджи; источник: X, @lanhubiji

Увидев, как Виталик упоминает Brevis, становится очевидно, что он придает большое значение расширению L1. В дорожной карте Ethereum есть концепция: «вычисления вне цепи с проверкой на цепи». Eigenlayer, Succinct и Zksync имели аналогичные идеи, что свидетельствует о согласии в отрасли: для того чтобы по-настоящему децентрализованно расширить L1, можно использовать преимущества вне цепи; Brevis также использует эту модель, так чем же Brevis отличается?

Сначала давайте просто поймем, что такое модель “вычисления вне цепи и верификации в цепи”? Чтобы больше обычных пользователей могли понять, можно провести упрощенную аналогию: “вычисление вне цепи и верификация в цепи” можно рассматривать как “концентрацию” фактов вне цепи (результатов вычислений или данных) в одно простое доказательство или резюме, а затем верификацию в цепи. В некотором смысле, его подход похож на L2 Rollup на абстрактном уровне: L2 Rollup упаковывает несколько транзакций в одну партию и отправляет их на верификацию и выполнение в L1. Хотя конкретные механизмы различаются, это помогает понять философию дизайна Brevis: “концентрация и верификация”. С помощью математики большое количество вычислительных работ вне цепи сжимается в небольшие куски информации, что позволяет эффективно обрабатывать их на цепи, где высокие затраты и низкая пропускная способность, тем самым решая проблему масштабируемости блокчейна.

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

Сочетание универсальности и специализированной оптимизации

Технологический стек Brevis основан на модульном дизайне, где Pico zkVM является универсальным проверяемым вычислительным движком, поддерживающим генерацию ZK-доказательств для любых вычислений. Разработчики пишут код на Rust, не требуя специальных знаний в области ZK, платформа автоматически обрабатывает генерацию доказательств, снижая порог входа для разработчиков, создающих сложные криптографические приложения (технология абстрагирует сложность ZK, позволяя разработчикам создавать приложения так же, как если бы они писали обычный код). Его модульная архитектура поддерживает добавление специфических сопроцессоров, помимо универсальных расчетов, она также может оптимизировать сложные вычисления для конкретных сценариев, обеспечивая более целенаправленное улучшение.

У него есть встроенный процессор протоколов, называемый ZK Data Coprocessor, который разработан для анализа исторических данных блокчейна и может решить проблему “амнезии” смарт-контрактов (невозможность дешевого доступа к историческим данным). Он находится в

Вне цепи поиска и анализа данных, предоставление результатов и доказательств, обеспечение существования данных и правильности вычислений. Например, pancakeswap может использовать хук Brevis для реализации скидок на комиссии в зависимости от объема торгов пользователя; uniswap использует Brevis для возврата газа. Они реализуют сложные функции через zK Data Coprocessor, одновременно экономя значительные средства.

Предоставление “ускорителя” для Ethereum L1

Pico Prism является одной из ключевых технологий Brevis, она совершила прорыв в области многосерверных GPU кластеров и поддерживает «реальное доказательство» для Ethereum L1. Это «реальное доказательство» можно понять как то, что каждый блок Ethereum L1 (одна страница транзакционных записей) может быть подтвержден за считанные секунды с помощью криптографического «штампа», и всем не нужно пересчитывать для проверки надежности.

По текущему эталону реальной доказательной структуры фонда Ethereum, для текущего L1 блока с ограничением в 45M gas достигнуто 99,6% покрытия (<12 секунд доказательства) и 96,8% реального покрытия (<10 секунд); среднее время доказательства для блока в 36M gas составляет 6,04 секунды, для блока в 45M gas — 6,9 секунды; оборудование состоит из 64 RTX 5090 GPU, стоимость 128K долларов.

Данные выше выглядят очень профессионально, но для обычного пользователя эти данные могут быть незначительными.

Для простоты понимания это можно упростить и сравнить с тем, что Pico Prism — это ускоритель для Ethereum L1. Ранее Ethereum требовал, чтобы все узлы пересчитывали каждую блокировку, но благодаря таким технологиям, как Pico Prism, это означает, что теперь сеть может проверять всего за несколько секунд через «концентрацию» (быстрое создание доказательства, суперсжатый дайджест), без необходимости повторного расчета для каждого узла. Это означает, что Ethereum L1 станет быстрее, дешевле, эффективнее и сможет обрабатывать более сложные реализации, не жертвуя децентрализацией и безопасностью. Если раньше Ethereum напоминал старый велосипед, то с технологией Pico Prism от Brevis Ethereum обновился до автомобиля.

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

Сценарий DeFi: ранее на Ethereum L1 смарт-контракты могли лишь смотреть баланс для заимствования, но не могли анализировать степень надежности пользователя на основе его исторических транзакционных данных (поскольку анализ огромного объема исторических данных был невозможен). С этим ускорителем можно поддерживать L1 для реального времени анализа огромного объема исторических данных (доказательство за несколько секунд), что позволяет создать “AI кредитного робота”. Контракт на основе истории DeFi-транзакций пользователя определяет кредитный рейтинг и предлагает персонализированную процентную ставку. Кроме того, для высокочастотных сценариев, таких как флеш-кредиты, заимствование/инвестирование/возврат средств происходит в одном блоке, AI оптимизирует путь в реальном времени, избегая потерь из-за “скольжения”. Это похоже на децентрализованный Robinhood. Также могут быть высокочастотные аукционы, где за минуту может быть проведено сотни и тысячи ставок.

Игры на блокчейне: ранее L1 хотел создать многопользовательскую игру (например, на блокчейне Axie Infinity), где подтверждение блока занимает 12 секунд за раунд, игроки сталкиваются с задержками, а комиссии резко возрастают; с помощью Pico Prism поддерживается “симуляция реального времени” в игре, вычисления урона и других значений выполняются на сервере вне сети, а каждую очередь результаты подтверждаются с помощью ZK на L1, что позволяет симулировать “реальное время” в игре и обеспечивает лучший игровой опыт.

Сцена анонимного голосования на блокчейне: в настоящее время голосование на уровне L1 является прозрачным, легко отслеживаемым или манипулируемым, а сложные статистические затраты высоки и скорость низка. С помощью Pico Prism реализуются “ноль-знаний” для приватных вычислений, на L1 работают высокочастотные приватные приложения, что позволяет осуществлять высокочастотное анонимное голосование для управления DAO с мгновенным получением результатов.

Что означают вышеописанные сцены для Ethereum, это может разблокировать больше DeFi и других приложений, привлечь больше активов в L1, привести к большему количеству сделок и ликвидности, а также к большей активности.

Что касается того, какие сценарии могут возникнуть в будущем, это необходимо проверить на практике.

Постепенная реализация

Согласно открытым данным, Brevis постепенно развертывается, в результате чего было сгенерировано 147,5 миллиона ZK-доказательств; количество независимых пользователей превышает 190 000; поддерживает 5 блокчейнов; более 20 основных партнеров (таких как Metamask, Linea и др.), в настоящее время интегрирован в работающие приложения, например, с помощью технологии Brevis платформа Incentra выплачивает ежегодные вознаграждения; PancakeSwap реализует скидки на основе объема торгов и других данных; Linea распределяет 1 миллиард токенов LINEA на основе вклада пользователей.