【英語の長文ツイート】Brevis 研究レポート：zkVMとZKデータコプロセッサによる無限に検証可能な計算レイヤー

Chainfeeds ガイド：

Brevisは、汎用zkVM（Pico/Prism）とデータコプロセッサ（zkCoprocessor）を統合することで、マルチチェーン対応の検証可能な計算レイヤーを構築しました。

出典：

Jacob Zhao

見解：

Jacob Zhao：「検証可能な計算」（Verifiable Computing）は、すでにブロックチェーンの汎用計算モデルとなっており、その核心的な理念は「オフチェーン計算＋オンチェーン検証」です。このパラダイムにより、ブロックチェーンは分散化と信頼最小化のセキュリティを維持しつつ、ほぼ無限の計算自由度を獲得しています。ゼロ知識証明（ZKP）はこのシステムの柱であり、主な応用分野はスケーラビリティ、プライバシー保護、相互運用性／データ完全性です。その中でも、スケーラビリティは最も早く実現された分野であり、計算をオフチェーンで実行し、オンチェーンで簡潔な証明を検証することで、高スループットと低コストの信頼拡張を実現しています。ZK技術の進化の道筋は、L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVMとまとめることができます。L2 zkRollupは初めてオフチェーン実行とオンチェーン検証を実現し、パフォーマンスを大幅に向上させました。zkVMはさらに汎用の検証可能な計算レイヤーへと拡張され、クロスチェーン検証、AI推論、暗号学的タスクをサポートします。zkCoprocessorはこのモデルをモジュール化し、DeFi、RWA、リスク管理のためのプラグアンドプレイ型証明サービスとなります。L1 zkEVMは最終的にゼロ知識検証をEthereumの実行レイヤーに組み込み、リアルタイム証明（Realtime Proving, RTP）を実現します。この進化は、ブロックチェーンが「スケーラビリティ」から「検証可能性」へと転換し、トラストレス計算時代に突入したことを示しています。EthereumのzkEVMの道のりは2つの段階を経ています。第一段階（2022–2024）では、L2 Rollupが実行レイヤーを移行するものの、流動性とステートの断片化をもたらしました。第二段階（2025–）では、L1 RTPが1-of-N証明でN-of-N再検証を置き換え、スループットを向上させつつ分散化を維持します。 Ethereum以外でも、ゼロ知識計算はより広範な検証可能な計算分野へと進んでおり、コアシステムにはzkVMとzkCoprocessorが含まれます。zkVM（ゼロ知識仮想マシン）は汎用の検証可能な実行エンジンであり、RISC-V、MIPS、WASM命令セット上で任意のプログラムを実行でき、その証明結果はオンチェーンで検証可能です。ブロック検証、AI推論、クロスチェーンタスクなどに利用されます。その強みは汎用性と柔軟性ですが、証明生成コストが高く、並列最適化が複雑です。代表的なプロジェクトにはRiscZero、SuccinctLabsのSP1、BrevisのPico zkVMがあります。対照的に、zkCoprocessorは「特定シナリオ向けの検証可能なモジュール」として、DeFiやRWAなどに標準化された計算・証明インターフェースを提供し、アプリケーションはSDKやAPIを呼び出すだけで結果と証明を取得できます。統合が早く、コストも低いですが、汎用性は限定的です。両者は「オフチェーン計算＋オンチェーン検証」というロジックを共有しており、計算をオンチェーンで実行するコストは、オフチェーンで証明を生成しオンチェーンで検証する総コストよりもはるかに高いです。ビジネス面では、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はさらにマルチGPUクラスター性能を突破し、64×RTX5090環境下で平均6.9秒の証明、96.8%のRTPカバレッジを実現し、パフォーマンスコスト比は同種の3.4倍に達しています。Brevisのzk Data Coprocessorはスマートコントラクトに「記憶」を持たせ、信頼を必要とせずに過去データへアクセスし検証を実行でき、流動性報酬、クロスチェーンID、データ駆動型DeFiなどに利用されています。そのIncentraインセンティブレイヤーはZK証明によるオンチェーンの透明な分配を実現し、PancakeSwap、Euler、UsualMoney、Lineaなどのプロトコルにサービスを提供しています。Brevis Explorerによると、2025年10月までにネットワークは1.25億件のZK証明を生成し、28億ドル超のTVL、10億ドル超の検証取引量をサポートしています。BrevisはEthereumとEigenLayerのセキュリティレイヤーを基盤に、BNB、Linea、0Gなど多様なエコシステムへ拡張し、オンチェーンインセンティブ、流動性最適化、クロスチェーン検証の基盤を提供し、技術とアプリケーションが相互にフィードバックするフライホイール型の検証可能計算ネットワークを構築しています。【原文は英語】