Что представляет собой Pico zkVM? Архитектурный разбор модульной Brevis zkVM

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

В качестве универсального слоя исполнения для Brevis (BREV) с верифицируемыми вычислениями Pico zkVM реализует архитектуру «клей и сопроцессор». Она сочетает гибкость и производительность, предоставляя единую среду программирования и инструменты для создания доказательств при обработке данных, проверке подписей, инференсе машинного обучения и доказательстве блоков Ethereum.

Что такое Pico zkVM?

Pico zkVM — это универсальный слой исполнения верифицируемых вычислений Brevis, который объединяет процесс написания программ и доказательства корректного исполнения в единую open-source среду. Разработчик может описывать вычисления на Rust, не создавая низкоуровневых схем: Pico отвечает за офчейн-исполнение и генерацию доказательств.

Модульность реализована на двух уровнях: универсальное ядро исполняет любую программу, а подключаемые сопроцессоры оптимизированы для операций с высокой частотой. Такой подход позволяет поддерживать широкий спектр вычислений и приближаться по производительности к специализированным схемам для критически важных задач, избегая привычного ограничения «гибкость в ущерб скорости» для большинства zkVM.

Что такое архитектура «клей и сопроцессор»?

В основе Pico zkVM лежит архитектура «клей и сопроцессор»: универсальное ядро связывает поток программы, а ресурсоемкие и частые задачи делегируются специализированным сопроцессорам или предкомпилированным схемам.

Универсальное ядро RISC-V исполняет любую программу на Rust, обеспечивая гибкость. Когда в программе встречаются операции вроде Keccak-256, проверки подписей, инференса ML или обработки блокчейн-данных, Pico направляет их в специализированные схемы, минуя доказательство для каждой инструкции RISC-V.

Доказательство на уровне инструкций требует значительных ресурсов и является основным узким местом для универсальных zkVM. Заменяя этот процесс на схемы, оптимизированные для zero-knowledge-доказательств, по данным Brevis, скорость доказательства возрастает примерно в 10–80 раз, что существенно снижает стоимость без потери гибкости.

Как работают универсальное ядро и специализированные сопроцессоры?

Универсальное ядро и сопроцессоры объединяют гибкость исполнения и эффективность доказательства: ядро выполняет любую логику, а сопроцессоры ускоряют операции с высокой частотой.

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

Рисунок 1. Архитектура «клей и сопроцессор» Pico zkVM: универсальное ядро RISC-V (клей) исполняет любую программу, направляя задачи Keccak-256, проверки подписей, инференса ML и обработки блокчейн-данных в сопроцессоры или предкомпилированные схемы.

Как разработчику создать верифицируемую программу с Pico?

Рабочий процесс разработки с Pico строится по принципу: «исполнение офчейн, верификация ончейн» в четыре шага: написать вычисления на Rust, выполнить офчейн через Pico и получить результат, сгенерировать криптографическое доказательство корректности исполнения, а затем смарт-контракт верифицирует краткое доказательство ончейн.

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

Для разработчика Pico снижает порог входа в zero-knowledge-разработку благодаря Rust. Не требуется проектировать схемы для создания верифицируемых программ — криптографическая сложность скрыта внутри среды.

Рисунок 2. Рабочий процесс разработки Pico zkVM: написать программу на Rust → Pico исполняет офчейн → сгенерировать ZK-доказательство → смарт-контракт верифицирует ончейн.

Как связано Pico и ZK Data Coprocessors?

Pico zkVM и прикладные сопроцессоры формируют соотношение «универсальный клей» и «специализированный движок». ZK Data Coprocessor — пример: он получает исторические и кроссчейн-данные офчейн, выполняет вычисления и прикрепляет доказательства подлинности и корректности.

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

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

Для чего используется Pico zkVM?

Pico zkVM оптимален для сценариев «доверенные вычисления + ончейн-верификация» — обработка данных, проверка подписей, инференс ML и доказательство блоков Ethereum.

В таблице приведены четыре типовых сценария и компоненты исполнения. Обработка данных и проверка подписей ускоряются сопроцессорами, инференс ML сопровождается доказательствами для офчейн-выходов моделей, а доказательство блоков Ethereum — ключевой кейс.

Доказательство блоков Ethereum реализовано в Pico Prism — системе доказательств в реальном времени на базе Pico. По данным Brevis, она достигает 99,8 % покрытия в реальном времени на 16 GPU, что соответствует целевому оборудованию Ethereum Foundation на $100 000. В отличие от оракулов, приносящих офчейн-данные ончейн, Pico фокусируется на верифицируемых вычислениях ончейн-данных. Разница между Brevis и оракулами в том, что Pico акцентирует верифицируемые вычисления блокчейн-данных, а не внешних ценовых фидов. В марте 2026 года инициатива Ethereum Foundation On-Prem Proving (Ethproof) выбрала Brevis одной из четырех команд.

Каковы преимущества и ограничения Pico zkVM?

Главное преимущество Pico zkVM — сочетание гибкости и производительности: универсальное ядро поддерживает любые программы, сопроцессоры ускоряют операции с высокой частотой, а среда на Rust снижает порог для zero-knowledge-разработки.

Ограничения связаны с покрытием специализированных схем и динамикой рынка доказательств. Сопроцессоры и предкомпилированные схемы работают только с оптимизированными задачами; если программа опирается на неподдерживаемые вычисления, система возвращается к доказательству на уровне инструкций универсального ядра, что снижает прирост производительности. Стейкинг и сжигание пруверов в токенах BREV и coChain связывают надежность поставки доказательств с обеспечением токенами.

Затраты на доказательства — еще один структурный фактор. Генерация zero-knowledge-доказательств требует специализированного оборудования и хэшрейта, а издержки для универсальных вычислений выше, чем при нативном исполнении. Эти затраты и задержки для сложной логики следует учитывать при проектировании. Это объективные ограничения механизма и не инвестиционный совет.

Резюме

Pico zkVM — модульная open-source zero-knowledge виртуальная машина Brevis, объединяющая универсальное ядро RISC-V и специализированные предкомпилированные схемы в архитектуре «клей и сопроцессор». Ядро исполняет любую программу на Rust, высокочастотные задачи направляются в сопроцессоры, а по данным Brevis, скорость доказательства увеличивается в 10–80 раз. Разработчики пишут вычисления на Rust, исполняют их офчейн и генерируют доказательства, а ончейн верифицируются только краткие доказательства. Вместе с сопроцессорами прикладного уровня, такими как ZK Data Coprocessor, и системами вроде Pico Prism, Pico формирует универсальный слой исполнения верифицируемых вычислений Brevis.

Часто задаваемые вопросы

Что такое Pico zkVM?

Pico zkVM — модульная open-source zero-knowledge виртуальная машина (zkVM) Brevis. Она позволяет разработчикам писать любую вычислительную логику на Rust, исполнять ее офчейн и генерировать zero-knowledge-доказательства. Смарт-контракты верифицируют только краткие доказательства ончейн, без повторного исполнения всей программы.

Как архитектура «клей и сопроцессор» ускоряет доказательства?

Архитектура использует универсальное ядро RISC-V как клей для исполнения программ и направляет типовые операции — Keccak-256, проверку подписей, инференс ML — в сопроцессоры (предкомпилы). Оптимизированные схемы для zero-knowledge-доказательств заменяют доказательство на уровне инструкций, ускоряя процесс в 10–80 раз по данным Brevis.

Как разработчику создать верифицируемую программу с Pico?

Разработчик пишет вычисления на Rust, Pico исполняет их офчейн и возвращает результат, затем генерируется криптографическое доказательство корректного исполнения. Смарт-контракт верифицирует краткое доказательство ончейн, а время проверки измеряется миллисекундами и практически не зависит от объема вычислений.

Как связано Pico zkVM и ZK Data Coprocessors?

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

Что такое Pico Prism?

Pico Prism — система доказательств блоков Ethereum в реальном времени на базе Pico. По данным Brevis, она достигает 99,8 % покрытия в реальном времени на 16 GPU, что соответствует целевому оборудованию Ethereum Foundation на $100 000. В марте 2026 года инициатива Ethereum Foundation On-Prem Proving (Ethproof) выбрала Brevis одной из четырех команд.