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

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

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

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

Пусть смарт-контракты выходят за рамки: сверхспособности, предоставляемые ZK Data Coprocessor

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

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

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

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

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

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

В июне 2025 года Brevis выпустила Pico-GPU, что стало ключевым переломным моментом для скорости генерации доказательств в реальном времени, не только для протоколов, но и для всей отрасли.Pico-GPU систематически переносит ядро процесса генерации доказательств на параллелизм GPU, официально объявленный прирост составляет 10–20 раз, что стало качественным скачком по сравнению с предыдущими решениями.

Pico Prism, выпущенный в октябре, сделал этот подход очень наглядным. При использовании 64 потребительских GPU, Pico Prism доказывает 99,6% блоков эфира с 45 млн gas за 12 секунд, 96,8% — за 10 секунд, а среднее время доказательства составляет около 6,9 секунд, что почти соответствует цели, установленной фондом Ethereum.Впервые скорость генерации доказательств в реальном времени почти идеально соответствует скорости формирования блоков в Эфириуме, при этом по сравнению с конкурентами используется меньше ресурсов.

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

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

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

Сама по себе спецификация ничего не значит: важно, как это работает на практике

Техническая ценность Brevis в конечном итоге проявляется в реальных приложениях. Это не просто концепция, демонстрируемая в рекламных материалах, а инструмент, внедренный в повседневную работу протоколов: как извлекать данные, как рассчитывать метрики, как распределять вознаграждения, как регулировать тарифы — задачи, которые раньше либо были невозможны, либо требовали жесткого централизованного скрипта. Теперь появляется более протокольный путь. В этом процессе Brevis уже сгенерировал более 280 миллионов доказательств для пользователей, распределил более 230 миллионов долларов США в виде вознаграждений и обеспечил безопасный рост TVL на 2,5 миллиарда долларов США.

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

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

Когда сценарий масштабируется до уровня экосистемы, программа Ignition Linea становится еще более ясной. Здесь проблема не в том, чтобы раздавать стимулы, а в том, как это делать. Brevis позволяет выполнять вычисления стимулов в масштабе в оффчейне, а затем возвращать их проверяемой версии на цепочку, тем самым превращая стимулы из централизованных операций в повторно используемую системную способность. То же самое можно сказать и о программе вознаграждения за маршрутизацию в Uniswap v4. Произошла ли маршрутизация, как подсчитывается потребление газа, как рассчитывается сумма возврата — все это является цепочкой данных — вычисления — расчет. Brevis отвечает за вычисления и генерацию доказательств в оффчейне, позволяя системе вознаграждений основываться на правилах + проверке, а не на доверии к какому-либо статистическому агенту.

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

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

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

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

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

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

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

Нажмите, чтобы узнать о вакансиях в Lulumi BlockBeats

Добро пожаловать в официальное сообщество Lulin BlockBeats:

Telegram-канал с обновлениями:https://t.me/theblockbeats

Telegram-чат:https://t.me/BlockBeats_App

Официальный аккаунт Twitter:https://twitter.com/BlockBeatsAsia