[Англоязычный длинный пост] Исследовательский отчет Brevis: zkVM и бесконечно проверяемый вычислительный слой ZK-сопроцессора данных

Chainfeeds Введение:

Brevis, интегрируя универсальную zkVM (Pico/Prism) и сопроцессор данных (zkCoprocessor), создал многоцепочечный слой верифицируемых вычислений.

Источник:

Jacob Zhao

Мнение:

Jacob Zhao: «Верифицируемые вычисления» (Verifiable Computing) уже стали универсальной вычислительной моделью для блокчейна, основной идеей которой является «off-chain вычисления + on-chain верификация». Эта парадигма позволяет блокчейну сохранять децентрализацию и минимизацию доверия, одновременно получая практически неограниченную свободу вычислений. Zero-Knowledge Proofs (ZKP) являются основой этой системы, а основные направления применения включают масштабируемость, защиту приватности, а также интероперабельность/целостность данных. Среди них масштабируемость стала первым реализованным направлением: вычисления переносятся off-chain, а на on-chain верифицируются краткие доказательства, что обеспечивает высокую пропускную способность и низкие издержки доверия. Эволюция ZK-технологий может быть описана так: L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM. L2 zkRollup впервые реализовал off-chain исполнение и on-chain верификацию, значительно повысив производительность; zkVM расширяет это до универсального слоя верифицируемых вычислений, поддерживая кроссчейн-верификацию, AI-инференс и криптографические задачи; zkCoprocessor модуляризует эту модель, становясь plug-and-play сервисом доказательств для DeFi, RWA и управления рисками; L1 zkEVM встраивает zero-knowledge верификацию в исполнительный слой Ethereum, реализуя Realtime Proving (RTP). Эта эволюция отражает переход блокчейна от «масштабируемости» к «верифицируемости», знаменуя наступление эпохи доверенных вычислений. Путь zkEVM в Ethereum прошёл два этапа: первый этап (2022–2024) — L2 Rollup переносит исполнительный слой, но приводит к фрагментации ликвидности и состояния; второй этап (2025–) — L1 RTP заменяет N-of-N реверификацию на 1-of-N доказательство, увеличивая пропускную способность при сохранении децентрализации. За пределами Ethereum zero-knowledge вычисления выходят на более широкий рынок верифицируемых вычислений, основой которого являются zkVM и zkCoprocessor. zkVM (zero-knowledge virtual machine) — это универсальный движок верифицируемого исполнения, поддерживающий запуск любых программ на RISC-V, MIPS или WASM, результаты которых могут быть верифицированы on-chain и использоваться для валидации блоков, AI-инференса и кроссчейн-задач. Его преимущества — универсальность и гибкость, однако стоимость генерации доказательств высока, а параллельная оптимизация сложна. Ключевые проекты: RiscZero, SP1 от SuccinctLabs и Pico zkVM от Brevis. В отличие от этого, zkCoprocessor больше похож на «верифицируемый модуль для конкретных сценариев», предоставляя стандартизированные интерфейсы вычислений и доказательств для DeFi, RWA и других областей — приложениям достаточно вызвать SDK или API для получения результата и доказательства, что обеспечивает быструю интеграцию и низкие издержки, но ограниченную универсальность. Оба решения используют логику «off-chain вычисления + on-chain верификация»: стоимость вычислений on-chain значительно выше, чем совокупная стоимость генерации доказательств off-chain и их верификации on-chain. С точки зрения бизнеса, zkVM — это модель «Proving-as-a-Service», предоставляющая вычислительный движок для инфраструктуры; zkCoprocessor — это «Proof-API-as-a-Service», SaaS-структура с оплатой за задачи для прикладного уровня. Первое строит технологический барьер, второе способствует коммерциализации. Вместе они формируют два полюса доверенной вычислительной сети: zkVM создает вычислительную основу, zkCoprocessor стимулирует развитие экосистемы. Brevis Network объединяет архитектуры zkVM и zkCoprocessor, создавая универсальную высокопроизводительную инфраструктуру верифицируемых вычислений, называемую «бесконечный вычислительный слой». Pico zkVM использует модульную архитектуру, разделяя универсальный исполнительный слой и аппаратно-ускоренный сопроцессор, реализуя двухуровневую систему «General + Specialized», поддерживает различные бэкенды доказательств и модули рекурсивной компрессии; разработчики могут писать бизнес-логику на Rust и автоматически генерировать доказательства, что значительно снижает порог входа. Pico Prism дополнительно преодолевает ограничения производительности многографических кластеров, достигая в среде 64×RTX5090 среднего времени доказательства 6.9 секунд и покрытия RTP 96.8%, что в 3.4 раза превосходит аналоги по соотношению производительность/стоимость. zk Data Coprocessor от Brevis наделяет смарт-контракты «памятью», позволяя им получать доступ к историческим данным и выполнять верификацию без доверия, что используется для вознаграждений за ликвидность, кроссчейн-идентификации и data-driven DeFi. Мотивационный слой Incentra реализует прозрачное on-chain распределение через ZK-доказательства и уже обслуживает такие протоколы, как PancakeSwap, Euler, UsualMoney, Linea и др. По данным Brevis Explorer, к октябрю 2025 года сеть сгенерировала 125 миллионов ZK-доказательств, поддерживает TVL свыше 2.8 миллиардов долларов и верифицировала транзакции на сумму более 1 миллиарда долларов. Brevis, опираясь на безопасность Ethereum и EigenLayer, расширяется на BNB, Linea, 0G и другие экосистемы, предоставляя базовую поддержку для on-chain мотивации, оптимизации ликвидности и кроссчейн-верификации, формируя flywheel-модель верифицируемой вычислительной сети с обратной связью между технологиями и приложениями. [Оригинал на английском]