Эксклюзивное интервью с CEO Brevis Майклом: zkVM масштабирование гораздо эффективнее, чем L2

В потребительской аппаратной среде 64 GPU завершили 99,6% доказательств L1-блоков за 12 секунд — многоядерная zero-knowledge виртуальная машина (zkVM) Pico Prism от Brevis достигла значительного прорыва в производительности.

Этот знаковый прогресс вызвал большой интерес в ядре сообщества Ethereum. Основатель Ethereum Виталик Бутерин публично прокомментировал: «Рад видеть, что Pico Prism от Brevis официально выходит на рынок верификации ZK-EVM. Это важный шаг для ZK-EVM в направлении скорости доказательств и разнообразия.»

«Данные говорят сами за себя.» — отметил соучредитель и CEO Brevis Майкл, — «Мы построили инфраструктуру, способную обрабатывать реальное производство блоков Ethereum, используя потребительское оборудование. Такая производительность — лучшее подтверждение децентрализованной цели Ethereum.»

Соучредитель и CEO Brevis Майкл — PhD по компьютерным наукам из UIUC, эксперт по распределённым системам и высокопроизводительным сетям — неоднократно запускал стартапы в Кремниевой долине и успешно их продавал, его исследования были внедрены такими компаниями, как Google. В 2018 году он основал Celer Network (пиковая оценка свыше 2 миллиардов долларов). Сейчас он ведёт команду Brevis к объединению zero-knowledge доказательств и верифицируемых вычислений, чтобы создать инфраструктуру, способную поддержать масштабные вычислительные потребности экосистемы Ethereum.

Чтобы лучше понять, как Brevis достиг этого прорыва и что это значит для экосистемы Ethereum, BlockBeats провёл углублённую беседу с соучредителем и CEO Brevis Майклом.

Мы обсудили три ключевых вопроса:

·Миссия и позиционирование Brevis

·Практическая ценность верифицируемых вычислений для приложений

·Следующие шаги Brevis в процессе глубокой интеграции с экосистемой Ethereum

Это не просто технический диалог, а и взгляд в будущее доверия к вычислениям.

Что такое Brevis: от видения к позиционированию

BlockBeats: Могли бы вы простыми словами рассказать, что такое Brevis и какую проблему он решает?

Майкл:Мы позиционируем Brevis как бесконечный вычислительный слой (Infinite Computing Layer), который обслуживает Web3 и более широкие сценарии. Основная цель — предоставить on-chain приложениям практически неограниченную вычислительную мощность, сохраняя децентрализацию и безопасность, решая структурный конфликт между высокой производительностью/сложными функциями и минимальным доверием. Несмотря на то, что L2-решения значительно увеличили пропускную способность, для сложных вычислений (например, обработка больших исторических данных, кроссчейн-агрегация, алгоритмические/AI-вычисления) всё ещё есть ограничения, что мешает внедрению продвинутых функций.

Решение Brevis — вычисления вне цепочки, верификация на цепочке. Тяжёлые вычисления выполняются off-chain, после чего генерируется zero-knowledge доказательство (ZK Proof); on-chain контракту остаётся лишь с минимальными затратами проверить корректность доказательства, не повторяя вычисления. Таким образом, контракт получает криптографически защищённый «плагин», значительно расширяя вычислительные и функциональные границы без ущерба для децентрализации и безопасности. Сегодняшние смарт-контракты не так уж и умны, но с Brevis они действительно могут стать интеллектуальными.

BlockBeats: Brevis называют бесконечным вычислительным слоем Web3. Откуда взялась эта концепция? Чем она принципиально отличается от традиционных on-chain вычислений или масштабирования?

Майкл:Мы называем Brevis бесконечным вычислительным слоем Web3, потому что его цель — преодолеть вычислительные ограничения блокчейна. Традиционные решения масштабирования (например, Layer 2 Rollup) в основном увеличивают пропускную способность транзакций — с десятков TPS до сотен и тысяч TPS, но всё равно есть потолок, и они не решают проблему возможности выполнения любых сложных вычислений on-chain: обычно on-chain обрабатывает только простые транзакции и операции контрактов. Как только вычисления усложняются, блокчейн не может их моделировать и поддерживать, например, для обработки больших данных, AI-вычислений или сложных алгоритмов.

Brevis исходит из другого: мы не просто ускоряем определённые типы транзакций, а позволяем блокчейну принимать и поддерживать результаты любых вычислений, сохраняя безопасность и отсутствие доверия. Это новый подход к верифицируемым вычислениям (Verifiable Computing): если off-chain вычисления могут предоставить zero-knowledge математическое доказательство, on-chain может с минимальными затратами подтвердить его корректность и безопасность.

Для разработчиков Brevis — это облако верифицируемых вычислений: как облачные вычисления, вы масштабируете ресурсы по требованию, выполняете сложные вычисления off-chain, а доказательство отправляете на on-chain верификацию, сохраняя ту же модель безопасности и доверия, что и у нативных on-chain контрактов. Поэтому мы определяем Brevis как бесконечный вычислительный слой — практически неограниченное вычислительное пространство при сохранении доверия и безопасности на уровне блокчейна.

BlockBeats: Верифицируемые вычисления (Verifiable Computing) звучат абстрактно. Можете ли вы объяснить их роль в Brevis более наглядно?

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

Идея верифицируемых вычислений — разделить вычисление и проверку, снизив избыточные затраты. Например, чтобы решить задачу о курицах и кроликах, нужно составить уравнение и решить его, а чтобы проверить ответ — просто подставить числа, что гораздо проще. Вычисление и проверка результата — разные задачи, и в теории вычислений вторая обычно проще. Zero-knowledge доказательства распространяют это на любые вычисления: от 1+1=2 до сложных моделей — после вычисления можно создать компактное доказательство, позволяющее другим быстро и дешево проверить результат, не раскрывая детали вычислений.

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

Почему так: архитектура и ключевые идеи

BlockBeats: На техническом уровне Brevis состоит из двух ключевых модулей: ZK Data Coprocessor (далее zkCoprocessor) и Pico zkVM. Каково их соотношение? Какие задачи они решают?

Майкл:Brevis — это многоуровневая структура: базовый Pico zkVM — универсальный вычислительный движок (Virtual Machine), которому можно поручить любые вычисления и получить zk Proof; его важная особенность — высокая модульность, поддержка подключения нескольких сопроцессоров. zkCoprocessor — это сопроцессор для работы с блокчейн-данными, его можно рассматривать как плагин. В текущей реализации zkCoprocessor — это как система памяти для zkVM, позволяющая смарт-контрактам видеть и понимать историю on-chain событий (например, транзакции, балансы, позиции пользователей).

Конкретно, zkVM решает универсальную задачу верифицируемых вычислений; zkCoprocessor — это специализированный сопроцессор для блокчейн-приложений. Смарт-контракты «живут в настоящем», имеют доступ только к ограниченному контексту текущего блока и не могут напрямую читать или вычислять длинные исторические или кроссчейн-состояния; zkCoprocessor с помощью zero-knowledge доказательств даёт контракту «глаза», позволяя off-chain собирать и агрегировать исторические данные и доказывать их подлинность и происхождение из on-chain состояния, что даёт контракту память и интеллект без ущерба для минимального доверия.

BlockBeats: zkCoprocessor позволяет смарт-контрактам «видеть прошлое» — это звучит революционно. Можете подробнее рассказать, как это реализовано?

Майкл:Пример — динамические скидки на комиссии PancakeSwap на основе исторического объёма торгов:

Сначала zkCoprocessor считывает историю транзакций пользователя из блокчейна, агрегирует объём за, например, последние 30 дней, и генерирует zero-knowledge доказательство;

Затем Pico zkVM, получив подтверждённые данные, выполняет дальнейшую агрегацию и вычисления (например, объединяет объёмы разных торговых пар в один показатель), создаёт доказательство вычислений;

В конце результат и доказательство отправляются on-chain, контракт единожды проверяет оба доказательства и подтверждает, достиг ли адрес VIP-порога, автоматически применяя скидку на следующий расчётный период.

Таким образом, контракту не нужно повторно читать и вычислять огромные исторические данные on-chain, он получает возможность «видеть прошлое», сохраняя минимальное доверие и контролируемые издержки.

BlockBeats: Вы разработали собственный Pico zkVM, а не использовали другие решения. Почему? Чем Brevis отличается от других zk-проектов?

Майкл:Это очень важный вопрос. Действительно, на рынке уже есть немало zkVM-проектов, так почему Brevis создал свой Pico zkVM с нуля? Причина проста — мы считаем, что существующие zkVM в основном остаются на лабораторном уровне и не предназначены для масштабных реальных приложений, их производительность и масштабируемость далеки от промышленного уровня. Иными словами, это скорее proof-of-concept, а не система, способная выдержать миллионы вызовов.

Brevis с самого начала ориентировался на реальные задачи. Такие протоколы, как PancakeSwap, Euler, Linea, Usual, ежедневно требуют генерации миллионов zk Proof. Если производительность базового zkVM не соответствует требованиям, система не сможет работать. Поэтому мы были вынуждены создать действительно промышленный zk-движок — Pico zkVM.

Pico имеет три ключевые особенности. Во-первых, высочайшая производительность. Pico — самый производительный zkVM в мире: наш последний релиз Pico Prism способен на 64 GPU 5090 доказать 99,6% блоков Ethereum mainnet в реальном времени (за 12 секунд), причём 96,8% блоков — за 10 секунд, что в 3–4 раза быстрее и на 50% дешевле по оборудованию. То есть если бы Ethereum работал на Pico, общая эффективность верификации выросла бы на порядок — это настоящий прорыв в реальном времени.

Во-вторых, уникальная модульная архитектура. Pico — единственный zkVM с поддержкой внешних сопроцессоров, другие zkVM обычно закрытые и поддерживают только универсальные вычисления, а Pico позволяет подключать разные модули под разные задачи. Например, для доступа к историческим данным, кроссчейн-валидации или сложной финансовой логики сопроцессоры Pico могут быть подключены как плагины, ускоряя конкретные задачи. Это даёт Pico универсальность и высокую производительность для специализированных задач, охватывая от DeFi Web3 до AI-вычислений Web2.

В-третьих, удобство для разработчиков. Мы не хотим, чтобы разработчики были экспертами в криптографии или ZK-теории для использования Pico. Достаточно знать Rust — и можно писать ZK-приложения как обычные программы. Это снижает порог входа и скрывает всю сложность ZK на нижнем уровне. В целом, мы не экспериментальный zkVM, а вычислительный движок ZK для реальных задач.

BlockBeats: Недавно вы объявили, что Pico Prism достиг 99,6% реального времени доказательств на потребительском оборудовании. Расскажите о технологическом прорыве и его значении для пределов производительности zkVM.

Майкл: Прежде всего, это важно не только как техническая оптимизация, но и для будущего масштабирования и развития экосистемы Ethereum. Текущая архитектура Ethereum требует, чтобы каждый узел повторял одни и те же вычисления, что безопасно, но масштабируемость уже на пределе. Следующий шаг — новый подход: один узел выполняет вычисления и генерирует ZK Proof, остальные только проверяют. Такой подход позволяет увеличить пропускную способность на порядок, сохраняя децентрализацию и безопасность, и достичь или превзойти уровень Solana, при этом поддерживая необходимое количество децентрализованных узлов.

Ethereum Foundation в июле этого года поставил двухлетнюю цель: с помощью потребительского оборудования стоимостью менее 100 тысяч долларов реализовать реальное доказательство 99% блоков. Если это удастся, можно будет масштабировать сеть почти до бесконечности, просто добавляя обычное оборудование. Но до сих пор это считалось теоретически возможным: большинство zkVM не дотягивают по покрытию, стоимости и скорости, многие не достигают даже 90% покрытия в реальном времени.

Pico Prism — первая система, реально преодолевшая этот рубеж. В тестах мы использовали всего 64 GPU 5090 (примерно 120 тысяч долларов), чтобы доказать 99,6% блоков Ethereum за 12 секунд, причём 96,8% — за 10 секунд, среднее время доказательства — 6,9 секунды.

По сравнению с другими протоколами производительность Pico выше на 70%, а стоимость ниже на 50%. То есть он не только быстрее, но и дешевле, и мы уже очень близки к целям Ethereum Foundation.

BlockBeats: По функциям и целям Brevis больше похож на ZK-ускоряющий слой Ethereum или на облако верифицируемых вычислений для мультичейна?

Майкл:По функциям и целям эти позиции не противоречат друг другу. В краткосрочной перспективе Brevis — это скорее ZK-ускоряющий слой для Ethereum и его Layer 2. Мы движемся в том же направлении, что и Ethereum Foundation: расширение mainnet в 10–100 раз с помощью zero-knowledge доказательств; при этом реальное доказательство значительно ускорит взаимодействие Layer 2 Rollup, повысит скорость, эффективность и снизит издержки кроссчейн-транзакций, а также улучшит унификацию состояния и ликвидности.

В долгосрочной и более широкой перспективе Brevis не ограничивается Ethereum. Наша архитектура изначально поддерживает мультичейн, уже есть партнёрства с BNB Chain (например, PancakeSwap) и проекты вне Ethereum, такие как perpetual contracts; мы также сотрудничаем с Arbitrum, Base, Avalanche и другими Layer 2/мультичейн-экосистемами. В целом, мы хотим сделать Brevis облаком верифицируемых вычислений для всех блокчейн-приложений.

Наша цель — за 3–5 лет сделать так, чтобы смарт-контракты на любой цепочке могли легко использовать этот вычислительный сервис; в долгосрочной перспективе большая часть вычислений блокчейн-приложений будет происходить off-chain с гарантией доверия через ZK, а Brevis станет единым слоем доверия для всей децентрализованной системы.

Как внедрять: реальные приложения и кейсы

BlockBeats: Многие DeFi-приложения, такие как PancakeSwap, Euler или Linea, уже используют технологии Brevis. Можете привести конкретный пример работы в этих сценариях?

Майкл:Наши сценарии применения сейчас делятся на несколько категорий, самая типичная — DeFi. PancakeSwap — классический пример: мы не хотим, чтобы UX DEX всегда оставался одинаковым для всех — будь вы обычным трейдером или крупным игроком, интерфейс и комиссии одинаковы. Мы хотим, чтобы DEX постепенно стал похож на CEX, предоставляя разный опыт разным пользователям. Мы также исследуем инновационные применения, например, сотрудничество с SocialFi-проектами, чтобы пользователи могли доказывать своё влияние и реальные активы без раскрытия основного кошелька.

Мы также внедряем решения для почти полностью off-chain сценариев. Например, в perpetual trading-системах типа Hyperliquid позиции и левередж пользователей обычно публичны, что делает их уязвимыми для других трейдеров. Мы хотим с помощью ZK-технологий перестроить такие системы, чтобы все ордера и позиции были зашифрованы, но корректность и безопасность подтверждались ZK Proof. Это даст плавный опыт, близкий к централизованным платформам, сохраняя безопасность и приватность уровня блокчейна.

BlockBeats: На уровне продукта Incentra — ваше важное приложение, уже управляющее более чем 300 миллионами долларов в распределении стимулов. Как работает эта система?

Майкл:Идея Incentra проста: распределение стимулов — ключ к росту экосистемы, но традиционные механизмы часто страдают от проблем безопасности, комплаенса и прозрачности.

Основной механизм Incentra — пользователи на основе своих реальных действий on-chain или в протоколе генерируют ZK Proof, который проходит верификацию и получение на уровне on-chain контракта, без централизованного распределения. По сравнению с традиционными подходами, эта модель имеет три преимущества. Первое — безопасность: средства распределяются контрактом по заданным правилам, снижая риски хранения и операций; второе — комплаенс и аудит: правила и доказательства on-chain отслеживаемы, нет риска выплат неизвестным субъектам; третье — справедливость и прозрачность: каждое получение можно независимо проверить по реальному вкладу и вычислениям, исключая «чёрный ящик». Сейчас система внедрена в BNB Chain, MetaMask, OpenEden, Usual и других проектах. Решение подходит как для стейблкоинов, так и для on-chain систем стимулов, обеспечивая безопасность, комплаенс и прозрачность.

BlockBeats: В отличие от многих ZK-проектов, всё ещё находящихся в лаборатории, Brevis уже масштабно внедрён. Почему вы смогли сделать это быстрее?

Майкл:Главная причина — мы с первого дня не считали себя исследовательской ZK-лабораторией, а инфраструктурной компанией для реальных приложений. Наша стратегия — не сначала строить движок, а потом искать применение, а наоборот: отталкиваться от потребностей приложений и проектировать архитектуру снизу вверх.

Это и есть главное отличие Brevis. Многие ZK-проекты сначала разрабатывают идеальный zkVM, а потом думают, где его применить; мы же начинаем с реальных проблем партнёров, понимаем их нужды и постепенно проектируем модульную архитектуру zkVM, создавая возможность подключения zkCoprocessor.

Иными словами, эволюция Brevis — не абстрактное планирование, а результат постоянных запросов реальных пользователей и партнёров. Такой подход позволяет быстро и непрерывно совершенствовать продукт, каждое улучшение сразу применяется в реальном сценарии. Поэтому наша система с самого начала обладает промышленной стабильностью и масштабируемостью, а не просто «код для статьи».

Есть и более простой фактор: наша команда разбирается и в криптографии, и в масштабной системной инженерии. Мы не ограничиваемся теорией, а реально оттачиваем производительность и стабильность в продакшене. На сегодня Brevis сгенерировал более 100 миллионов zero-knowledge доказательств в mainnet, обслужил около 190 тысяч пользователей и управлял более чем 300 миллионами долларов реальных стимулов для партнёров. Это реальные внедрённые приложения — Linea, Euler, Usual, OpenEden и другие — не демо и не тестнет.

Куда дальше: открытые сценарии и будущее

BlockBeats: Кроме DeFi, где ещё off-chain вычисления и on-chain верификация могут повлиять на будущее — например, AI, рынки данных или игры?

Майкл:Помимо DeFi, этот подход будет влиять на верифицируемый AI, мосты данных и идентичности между Web2 и Web3, рынки приватных данных, а также игры и социальные приложения. Во-первых, в верифицируемом AI большинство моделей — «чёрные ящики». С помощью zero-knowledge доказательств можно создавать математические доказательства для вывода, подтверждая, что конкретная модель на заданном входе дала определённый результат, и гарантировать, что модель и процесс не были подменены. Во-вторых, в мостах Web2–Web3 пользователи могут переносить квалификации или действия с централизованных платформ в on-chain приложения в виде доказательств, например, активность на централизованной бирже может быть использована для скидок на децентрализованной, без раскрытия личности или деталей аккаунта. В играх и социальных сетях пользователи могут доказывать достижения, владение активами или выполнение ключевых действий для доступа, матчмейкинга или стимулов, не раскрывая кошелёк или личные данные.

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

BlockBeats: 13 октября Brevis запустил новое мероприятие Brevis Proving Grounds. Расскажите, в чём его суть и что пользователи могут испытать на практике?

Майкл:В последнее время мы много работали над внедрением приложений и согласованием документации. Сейчас у нас более 20 партнёров, каждый проект реально запущен и доступен пользователям, причём показатели и удержание очень хорошие.

Но мы заметили, что в мире блокчейна многие процессы идут от пользовательского восприятия к разработке. То есть когда пользователи понимают ценность новой технологии, их обратная связь и запросы стимулируют разработчиков внедрять больше функций. Поэтому мы хотим вовлечь пользователей не как наблюдателей, а как активных участников, которые могут сами испытать и проверить. Это и есть основная цель The Brevis Proving Grounds.

Мероприятие делится на два этапа. Первый — образовательный: мы хотим, чтобы больше людей поняли, чем занимаются наши партнёры и какие задачи решает zero-knowledge доказательство (ZK) в этих проектах. Этот этап — про популяризацию и понимание логики и смысла технологии.

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

Мы хотим, чтобы пользователи на практике ощутили плавность и ценность ZK-технологий, поняли, почему off-chain вычисления и on-chain верификация делают приложения безопаснее и эффективнее. Более того, мы хотим, чтобы пользователи стали драйверами экосистемы: когда всё больше людей понимают и требуют внедрения таких механизмов, инновации в отрасли ускоряются.

BlockBeats: Кроме этого мероприятия, есть ли у Brevis другие планы? Могут ли пользователи принять участие?

Майкл:Мы будем продолжать запускать открытые экосистемные программы, включая запуск децентрализованной сети доказательных узлов для создания более открытой инфраструктуры доказательств и верификации. Программы будут открыты для сообщества и партнёров, подробности и сроки будут объявлены позже.

BlockBeats: В долгосрочной перспективе, какой инфраструктурой вы хотите видеть Brevis? Какую роль он должен играть в мире Web3?

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

В будущем on-chain приложения перейдут от простых транзакций и переводов к более интеллектуальным и сложным системам: продвинутые алгоритмы, обмен данными, персонализированный опыт, доказательства социальных действий и т.д. Для массового внедрения нужны мощные вычисления и полная безопасность. Мы хотим сделать доказательные вычисления повсеместными, простыми и дешёвыми — чтобы каждое Web3-приложение могло легко их интегрировать без изобретения велосипеда.

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