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

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

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

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

Основной механизм 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 Foundation, для текущего 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: Ранее на уровне L1 Ethereum смарт-контракты могли только смотреть баланс для заимствования средств, не имея возможности анализировать степень надежности пользователей на основе их исторических транзакционных данных (поскольку невозможно провести анализ огромного объема исторических данных). С этим акселератором можно поддерживать实时分析 огромного объема исторических данных (доказательство за несколько секунд), что позволяет создать “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 на основе вклада пользователей и т.д.