Видимо, Vitalik упомянул Brevis, что показывает, что он очень ценит масштабирование L1. В дорожной карте Ethereum есть концепция: "вычисления вне цепи, проверка на цепи", Eigenlayer, Succinct и Zksync имели аналогичные идеи, что свидетельствует о консенсусе в отрасли: чтобы действительно децентрализованно масштабировать L1, можно использовать преимущества внецепочных решений; Brevis также использует эту модель, так чем же он отличается? Сначала давайте просто поймем, что такое модель "вычисления вне цепи, проверка на цепи"? Чтобы больше обычных пользователей могли понять, можно провести упрощенную аналогию: "вычисления вне цепи, проверка на цепи" можно рассматривать как "концентрацию" фактов вне цепи (результатов вычислений или данных) в простое доказательство или резюме, а затем проверку на цепи. В определенной степени его идея схожа с L2 Rollup на абстрактном уровне: L2 Rollup упаковывает несколько транзакций в одну партию, отправляя ее на L1 для проверки и выполнения. Хотя конкретные механизмы различаются, это помогает понять философию дизайна ZkVM 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 Foundation, для текущего блока L1 с ограничением в 45M газа достигается 99.6% покрытие (<12 секунд на доказательство), 96.8% реальное покрытие (<10 секунд); среднее время доказательства для блока в 36M газа составляет 6.04 секунды, для блока в 45M газа — 6.9 секунд; оборудование — 64 RTX 5090 GPU, стоимость 128K долларов. Эти данные выглядят очень профессионально, но для обычных пользователей они могут быть незначительными. Для простоты понимания можно провести аналогию: Pico Prism — это как установка ускорителя для Ethereum L1. Ранее Ethereum требовал, чтобы все узлы повторно вычисляли каждый блок, а с помощью технологий, таких как Pico Prism, это означает, что он может "концентрировать" (быстро генерировать доказательство, суперсжато резюмировать), позволяя сети проверять всего за несколько секунд, без необходимости повторного вычисления каждым узлом. Это означает, что Ethereum L1 станет быстрее, дешевле и эффективнее, сможет обрабатывать более сложные реализации, не жертвуя децентрализацией и безопасностью. Если раньше Ethereum можно было сравнить со старым велосипедом, то с технологией Pico Prism от Brevis Ethereum обновляется до автомобиля. Этот эффект ускорения может разблокировать больше сценариев, таких как DeFi-кредитование на основе AI в реальном времени, игры на цепи, анонимное голосование и т.д. Сценарий 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 на основе вклада пользователей и т.д.