Brevis: Открытие эпохи бесконечных вычислений в блокчейне

原文标题：Brevis：开启区块链无限计算时代

原文作者：律动BlockBeats

原文来源：

转载：火星财经

В 2025 году на Devconnect в Аргентине исследователь Фонда Ethereum Джастин Дрейк продемонстрировал иной процесс проверки блоков: его узлы валидации используют клиент zkLighthouse и полагаются только на доказательства нулевого знания协议ов, таких как Pico zkVM от Brevis, для определения валидности блока. Это, скорее всего, предвещает направление расширения масштабируемости Ethereum в будущем. Оно доказывает одну вещь: блокчейн не обязательно повторно выполнять все вычисления, достаточно лишь проверить внешние доказательства.

Что такое Brevis: проверяемый слой вычислений, используемый протоколами и ядром Ethereum

Цель Brevis — не просто конкретное приложение, а проверяемый слой вычислений. Как бесконечный слой вычислений (Infinite Compute Layer), он позволяет выполнять сложные вычисления вне цепи и возвращать результаты в цепь через доказательства нулевого знания, которые смарт-контракты могут проверять с минимальными затратами. Это важно, потому что стандартная модель безопасности Ethereum в основном полагается на повторное вычисление всей сети: каждый валидатор после получения нового блока обычно должен повторно запустить транзакции внутри блока, чтобы подтвердить правильность выполнения. Хотя это обеспечивает корректность, оно также ведет к росту потребления ресурсов и вычислительной мощности по мере увеличения нагрузки. Brevis переписывает эти повторяющиеся тяжелые вычисления как однократные, а затем проверяет их всей сетью, выполняя вычисления вне цепи и создавая доказательства, которые узлы могут проверить очень быстро.

В отличие от многих zk-приложений, сосредоточенных только на приватности или масштабируемости, Brevis решает структурные проблемы индустрии Web3: когда вычисления внутри цепи становятся все более сложными и частыми, обязательно ли каждому узлу повторять их для поддержания доверия? Решение Brevis — вынести вычисления за пределы цепи, выполнить их в zkVM и сгенерировать доказательство, а на цепи — только проверить это доказательство. Это позволяет смарт-контрактам надежно использовать исторические данные, межцепочечное состояние или результаты сложных алгоритмов без введения дополнительных доверительных предположений. В процессе реализации этой идеи три основные технологии — ZK Data Coprocessor, Pico zkVM и ProverNet — составляют ядро текущей архитектуры.

Расширение границ смарт-контрактов: сверхспособности, предоставляемые ZK Data Coprocessor

Первым технологическим прорывом Brevis стал ZK Data Coprocessor. Он позволяет смарт-контрактам запрашивать любые исторические данные внутри цепи, выполнять внецепочечные вычисления и генерировать доказательства нулевого знания, предоставляя результаты вычислений как доверенные входные данные для контракта. ZK Data Coprocessor может запрашивать и вычислять объем транзакций или поведение пользователей внутри цепи, а также генерировать zk-доказательства для проверки контрактом. Это расширяет возможности контрактов, которые ранее могли обращаться только к текущему блоку, — теперь они могут использовать данные за длительный период и межцепочечное состояние.

После создания прототипа Coprocessor в 2023 году, Brevis продолжил итерации и в январе 2025 года выпустил версию 2 (v2), которая была запущена в основной сети. Основные изменения v2 — это не привязка к конкретной системе доказательств, а абстракция по трем ключевым характеристикам: более высокая скорость (выполнение тех же задач с меньшими ресурсами и за меньшее время), более универсальный охват (поддержка большего количества типов данных и вычислений), и удобство использования (упрощение процессов и инкапсуляция сложности).

Обратный взгляд на технический путь Brevis до 2025 года показывает, что он шёл по одной главной линии: сначала определял границы производительности системы доказательств, затем создавал рабочие решения для вычислений вне цепи и проверки внутри цепи в виде Coprocessor, постоянно совершенствуя их, и далее исследовал более системные формы работы. Важным аспектом является то, что команда сочетает знания в области криптографии и масштабных системных инженерных решений, не полагаясь только на теоретические выкладки, а сразу фокусируясь на решении реальных проблем индустрии и масштабном внедрении технологий.

Когда возможности доказательств достигнут системного уровня: Pico zkVM и ProverNet

К 2025 году Brevis дополнил ещё два компонента: более универсальный и ориентированный на производство движок доказательств Pico zkVM и открытый рынок генерации доказательств ProverNet, который переводит возможности доказательств из экспериментальных в масштабируемые и постоянные.

Pico zkVM можно воспринимать как универсальный движок доказательств Brevis: он переводит zk-доказательства с узкоспециализированных схем и ручных настроек в более программный формат — разработчики пишут логику привычным способом, а нижний уровень превращает её в проверяемое доказательство. Важный момент — Pico изначально ориентирован на реальные бизнес-задачи по пропускной способности и стоимости. В рамках одних и тех же критериев, сравнения показывают, что Pico превосходит большинство zkVM по производительности, а также может быть дополнительно оптимизирован за счёт модульных компонентов и сопроцессоров для конкретных типов вычислений.

В июне 2025 года Brevis выпустил Pico-GPU, что значительно ускорило генерацию доказательств, достигнув нового критического уровня — официальные оценки показывают увеличение скорости в 10–20 раз по сравнению с предыдущими решениями, что стало прорывом не только для протокола, но и для всей индустрии. В октябре был представлен Pico Prism — он достиг очень заметных результатов: при использовании 64 потребительских GPU, доказательство блока Ethereum с 45 миллионами газа в 99.6% случаев завершалось за 12 секунд, а 96.8% — за 10 секунд, среднее время — около 6.9 секунд, что очень близко к целям Ethereum Foundation. Впервые скорость генерации доказательств практически сравнялась со скоростью блока Ethereum, при этом использовалось значительно меньше ресурсов по сравнению с конкурентами.

Эти достижения вызвали прямую реакцию сообщества Ethereum. Виталик Бутерин в твите отметил, что появление Pico Prism в области zk-EVM — важный шаг для скорости и разнообразия доказательств. Джастин Дрейк в своих ранних твитах подчеркнул, что прогресс Pico Prism необычен: в мае этого года Hypercube SP1 требовал 160 RTX 4090 для доказательства около 94% L1-блоков за 12 секунд. Такой прорыв в скорости делает Pico Prism одним из самых перспективных решений.

После успешной разработки универсального zkVM и технологий генерации доказательств Brevis приступил к решению вопроса масштабируемости поставки доказательств. В ноябре 2025 года был объявлен проект ProverNet — рынок доказательств, где любой пользователь или приложение может отправлять задачи на генерацию доказательств, а через аукционные механизмы находить подходящие узлы-провереры. В декабре запущена бета-версия основной сети, которая уже позволяет использовать продукт в реальных условиях: заявки на доказательства можно подавать напрямую, узлы-провереры регистрируются и начинают торги, а приложениям больше не нужно самостоятельно строить инфраструктуру для генерации доказательств.

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

Протокол не лжёт: важна практическая применимость

Ключевая ценность технологий Brevis проявляется в реальных приложениях. Это не просто концепции для презентаций, а интеграция в повседневную работу протоколов: как получать данные, как считать показатели, как распределять награды, как регулировать комиссии — эти задачи раньше либо были невозможны, либо требовали централизованных скриптов. Сейчас появляется более протокольный путь: Brevis уже сгенерировал более 280 миллионов доказательств, распределил свыше 2.3 миллиарда долларов наград и безопасно способствовал росту TVL на 25 миллиардов долларов.

Самый очевидный способ понять Brevis — через привычные пользователю транзакции. Brevis позволяет DEX-ам при сохранении приватности данных иметь функции, сравнимые с централизованными биржами, что улучшает опыт трейдинга. PancakeSwap Infinity использует хуки для реализации градации комиссий: история владения токенами, объемы торгов и другие показатели влияют на текущие комиссии. Но такие оценки требуют анализа исторических данных, что дорого на цепи или вызывает доверительные риски вне цепи. Brevis решает это, выполняя вычисления вне цепи и возвращая данные через доказательства, позволяя включать дифференцированные комиссии прямо в смарт-контракты, а не в централизованные скрипты.

Если PancakeSwap — это более персонализированный опыт, похожий на централизованные биржи, то Usual демонстрирует более долгосрочную модель роста: мотивации через постоянные программы, а не разовые аирдропы. Награды и активность участников связываются с долгосрочными метриками, а Brevis делает эти метрики проверяемыми входными данными, автоматизируя распределение и делая его прозрачным и проверяемым без доверия к операторам. Инструмент Incentra превращает выдачу наград в стандартизированную функцию: протокол может автоматически выдавать вознаграждения за LP, займы или активность, основываясь на внецепочечных расчетах и проверках внутри цепи. Активности в Arbitrum, например, от Euler, — это пример: награды не раздаются вручную или через мультиподписи, а — по правилам и на основе доказательств.

Когда сценарии расширяются до уровня всей экосистемы, программа Ignition от Linea показывает, что сложнее не выдавать награды, а как это делать. Brevis позволяет выполнять масштабные вычисления наград вне цепи и возвращать доверие через проверки внутри цепи, переводя централизованные операции в системные возможности. Аналогично, Uniswap v4 внедряет Routing Rebate Program: маршруты, расходы газа, возвраты — всё это цепочка данных, вычислений и расчетов. Brevis обеспечивает вычисления и генерацию доказательств вне цепи, чтобы система возвратов работала по правилам и проверкам, а не на доверии к одному источнику данных.

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

Кто поддерживает долгосрочные технологии?

Ядро команды Brevis — ведущие исследователи из топовых университетов и системные инженеры, умеющие решать долгосрочные задачи в области доказательных систем и алгоритмов, а также внедрять их в реальную продукцию, добиваясь высокой производительности, стабильности и масштабируемости. Важное отличие — это не только лабораторная команда, разбирающаяся в криптографии, но и команда, хорошо знакомая с операционной моделью индустрии: понимающая реальные потребности протоколов, ритмы развития экосистем, обладающая капиталом и сообществом для долгосрочного сотрудничества и развития.

Это видно из поддержки со стороны инвесторов и сообщества. В ноябре 2024 года Brevis завершил посевное финансирование, его профинансировали Polychain, Yzi Labs и другие ведущие институции, что обеспечило развитие zkVM, сети доказательств и коммерциализацию. В 2025 году сообщество активно росло, благодаря инициативам Proving Grounds, системам ролей и задач, привлекая разработчиков и пользователей. Поддержка Виталика Бутерина и внимания Джастина Дрейка из Ethereum Foundation к прогрессу — дополнительные подтверждения доверия к проекту как к инфраструктуре, способной масштабироваться.

От Ethereum к более широкому миру

Долгосрочная проблема масштабирования Ethereum — структурная дилемма: либо все узлы повторно вычисляют для обеспечения безопасности и доверия, что ограничивает пропускную способность и стоимость, либо внешняя вычислительная мощность требует доверия к сторонним исполнителям. Brevis предлагает третий путь — выполнять сложные вычисления вне цепи и возвращать доверие через доказательства, разделяя вычисление и проверку. В результате создается цепочка проверяемых вычислений, которая не зависит от повторных расчетов внутри сети.

Brevis — не единственный путь решения масштабирования Ethereum, но он демонстрирует важность проверяемого слоя вычислений: разъединение вычислений и проверки обеспечивает безопасность и децентрализацию, одновременно снимая нагрузку с цепи. И главное — потенциал бесконечного слоя вычислений не ограничен Ethereum. Для всей индустрии это означает, что больше приложений сможет работать на цепи с высокой сложностью и безопасностью, приближаясь к Web2 по опыту и функциональности; а в более широком контексте — проверяемые вычисления могут стать новым языком доверия, особенно когда стороны делятся результатами, но не доверяют друг другу. С развитием открытых сетей доказательств, таких как ProverNet, возможности Brevis расширяются — это не только усиление одной цепи, а создание межэкосистемных и межотраслевых систем доверенных вычислений.