Brevis Researchレポート：ZKVMとデータコプロセッサによる無制限の信頼できるコンピューティング層

著者: 0xjacobzhao

「オフチェーン計算 + オンチェーン検証」というトラステッドコンピューティングパラダイムは、ブロックチェーンシステムの普遍的なコンピューティングモデルとなっています。これにより、ブロックチェーンアプリケーションは、分散化とトラストレスのセキュリティを維持しながら、事実上無制限の計算自由度を実現できます。ゼロ知識証明（ZKP）はこのパラダイムの中核を成すものであり、アプリケーションは主にスケーラビリティ、プライバシー、相互運用性とデータ整合性という3つの基本領域に焦点を当てています。スケーラビリティはZK技術の最初の適用シナリオでした。トランザクション実行をオフチェーンに移行し、その結果を短い証明でオンチェーンで検証することで、高いトランザクションスループットと低コストの信頼できるスケーラビリティを実現します。

ZKトラステッドコンピューティングの進化は、L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVMと要約できます。初期のL2 zkRollupは、実行をレイヤー2に移行し、レイヤー1で妥当性証明を提出することで、最小限の変更で高スループットと低コストのスケーラビリティを実現しました。zkVMはその後、汎用検証可能計算レイヤーへと拡張され、クロスチェーン検証、AI推論、暗号計算（代表プロジェクト：Risc Zero、Succinct、Brevis Pico）をサポートしました。zkCoprocessorは、シナリオベースの検証モジュールとして並行して開発され、DeFi、Reliable Web Apps（RWA）、リスク管理などにプラグアンドプレイの計算および証明サービスを提供しています（代表プロジェクト：Brevis、Axiom）。2025年には、zkEVMのコンセプトがレイヤー1リアルタイム証明（RTP）へと拡張され、EVM命令レベルで検証可能な回路が構築されました。これにより、ゼロ知識証明はイーサリアムメインネットの実行および検証プロセスに直接統合され、ネイティブに検証可能な実行メカニズムとなりました。これは、ブロックチェーンが「スケーラビリティ」から「検証可能性」へと技術的に飛躍したことを反映しており、信頼できるコンピューティングの新たな段階を切り開きました。

1. Ethereum zkEVMのスケーリングパス：L2ロールアップからL1リアルタイムプルーフへ

Ethereum の zkEVM スケーリングパスは 2 つのフェーズに分かれています。

フェーズ 1 (2022 ～ 2024 年): L2 zkRollup は実行をレイヤー 2 に移動し、レイヤー 1 で有効性証明を送信します。これによりコストが大幅に削減され、スループットが向上しますが、流動性と状態の断片化が生じます。一方、L1 は引き続き N-of-N 再実行の対象となります。
フェーズ2（2025年以降）：L1リアルタイム証明（RTP）は、重い実行を「1-of-N証明＋ネットワーク全体にわたる軽量検証」に置き換え、分散性を犠牲にすることなくスループットを向上させます。現在も進化と発展を続けています。

L2 zkRollup フェーズ: 互換性とスケーリングパフォーマンスのバランス

2022年、レイヤー2エコシステムが発展する中、イーサリアム創設者のヴィタリック・ブテリンは、ZK-EVMを4つのカテゴリー（タイプ1～4）に分類することを提案し、互換性とパフォーマンスの構造的なトレードオフを体系的に明らかにしました。このフレームワークは、その後のzkRollup技術ロードマップの明確な方向性を確立しました。

タイプ1は完全に同等です。Ethereumバイトコードと整合性があり、移行コストが最も低く、証明が最も遅いです。Taiko。
タイプ2は完全な互換性を備えています。基盤となる最適化は最小限に抑えられており、最高の互換性を提供します。スクロール、Linea。
タイプ2.5準互換：パフォーマンス向上のためのマイナーチェンジ（ガス/プリコンパイルなど）。Polygon zkEVM、Kakarot。
タイプ 3 部分的互換性: これにはより大きな変更が含まれ、ほとんどのアプリケーションを実行できますが、L1 インフラストラクチャを完全に再利用することは困難です。zkSync 時代。
タイプ 4 言語レベル: バイトコードの互換性を放棄し、高級言語から回路に直接コンパイルします。パフォーマンスは最適ですが、エコシステムの再構築が必要です (代表: Starknet/Cairo)。

L2 zkRollupモデルは成熟しました。実行をレイヤー2に移行し、有効性証明をレイヤー1で提出することで、Ethereumエコシステムとツールチェーンを最小限の変更で活用し、スケーリングと手数料削減のための主流ソリューションになりつつあります。証明はレイヤー2のブロックと状態遷移に基づいており、決済とセキュリティはレイヤー1に保持されています。このアーキテクチャは、高い開発者互換性を維持しながら、スループットと効率性を大幅に向上させます。しかし、流動性と状態の断片化も招き、L1はN-of-N再実行のボトルネックによって依然として制限されています。

L1 zkEVM: リアルタイム証明がイーサリアムの軽量検証ロジックを再構築

2025年7月、イーサリアム財団は「L1 zkEVMの出荷 #1：リアルタイム証明」という記事を公開し、L1 zkEVMアプローチを正式に提案しました。L1 zkEVMは、イーサリアムをN-of-N再実行から、ネットワーク全体にわたる高速検証を備えた1-of-N証明へとアップグレードします。少数の証明者がEVMの状態遷移全体に対して短い証明を生成し、すべてのバリデータが定数時間検証を実行します。このソリューションは、分散性を犠牲にすることなくL1レベルのリアルタイム証明を実現し、メインネットのガス制限とスループットを安全に向上させ、ノードハードウェアの障壁を大幅に低減します。実装計画は、従来の実行クライアントをzkクライアントに置き換え、当初はそれらを並列実行することです。パフォーマンス、セキュリティ、インセンティブメカニズムが成熟すれば、プロトコルレベルで徐々に新しい標準となるでしょう。

N of N の古いパラダイム: すべてのバリデーターがトランザクションのブロック全体を繰り返し実行して検証します。これは安全ですが、スループットが制限され、ピーク時の料金が高くなります。
1 of N の新しいパラダイム：少数の証明者がブロック全体を実行し、短い証明を生成します。ネットワーク全体は定数時間でのみ検証を行います。検証コストは再実行よりもはるかに低いため、L1 ガス制限を安全に増加させ、ハードウェア要件を削減できます。

L1 zkEVMロードマップの3つの主要なライン

リアルタイム証明: 12 秒のスロットで完全なブロック証明を完了し、並列化とハードウェアアクセラレーションによってレイテンシを圧縮します。
クライアントとプロトコルの統合: 標準化された証明検証インターフェース。最初はオプション、次にデフォルト。
インセンティブとセキュリティ: 検閲耐性とネットワークアクティビティを強化するために、証明者市場と料金モデルを確立します。

EthereumのL1リアルタイム証明（RTP）は、zkVMを用いてトランザクション全体をオフチェーンで再実行し、暗号証明を生成します。これにより、バリデータは再計算なしで10秒以内に小規模な証明を検証でき、実行を検証に置き換えることができます。これにより、Ethereumのスケーラビリティとトラストレスな検証効率が大幅に向上します。Ethereum Foundationの公式zkEVM Trackerページによると、現在L1 zkEVMリアルタイム証明プロジェクトに参加している主なチームには、SP1 Turbo（Succinct Labs）、Pico（Brevis）、Risc Zero、ZisK、Airbender（zkSync）、OpenVM（Axiom）、Jolt（a16z）が含まれます。

Ethereumを超えて: ユニバーサルzkVMとzkCoprocessor

イーサリアムエコシステム外では、ゼロ知識証明 (ZKP) 技術は、一般的な検証可能コンピューティングのより広範な分野にも拡張され、zkVM と zkCoprocessor を中核とする 2 つの技術システムを形成しています。

zkVM: 普遍的な検証可能な計算層

RISC-V、MIPS、WASMなどの一般的な命令セットアーキテクチャを対象とした、任意のプログラムに対する検証可能な実行エンジンです。開発者はビジネスロジックをzkVMにコンパイルできます。zkVMは証明者によってオフチェーンで実行され、オンチェーンで検証可能なゼロ知識証明（ZKP）を生成します。これは、Ethereum L1のブロック構成証明、クロスチェーン検証、AI推論、暗号計算、複雑なアルゴリズムなどに利用できます。汎用性と幅広い適応性に強みがある一方で、複雑な回路と高い証明コストを伴い、マルチGPU並列処理と強力なエンジニアリング最適化が求められます。代表的なプロジェクトには、Risc Zero、Succinct SP1、Brevis Pico/Prismなどがあります。

zkCoprocessor: シナリオベースの検証可能なモジュール

このプラットフォームは、特定のビジネスシナリオに合わせてカスタマイズされたプラグアンドプレイの計算および証明サービスを提供します。プラットフォームは、データアクセスと回路ロジック（オンチェーン履歴データの読み取り、TVL、収益決済、本人確認など）を事前設定します。アプリケーションは、SDK/API呼び出しを通じて計算結果と証明にアクセスし、オンチェーンで利用できます。このモデルは、迅速な導入、優れたパフォーマンス、低コストを実現しますが、汎用性には限界があります。代表的なプロジェクトとしては、Brevis zkCoprocessorやAxiomなどが挙げられます。

全体として、zkVMとzkCoprocessorはどちらも「オフチェーン計算 + オンチェーン検証」というトラステッドコンピューティングパラダイムに準拠しており、オフチェーンの結果をゼロ知識証明を通じてオンチェーンで検証します。その経済的ロジックは、オンチェーンでの直接実行のコストが、オフチェーン証明の生成とオンチェーンでの検証を組み合わせたコストよりも大幅に高いという前提に基づいています。

汎用性とエンジニアリングの複雑さの点における 2 つの主な違いは次のとおりです。

zkVM は、最高の柔軟性を備え、複雑なクロスドメインまたは AI シナリオに適した汎用コンピューティングインフラストラクチャです。
zkCoprocessor は、高頻度の再利用可能なシナリオ (DeFi、RWA、リスク管理など) 向けに低コストで直接呼び出し可能な検証インターフェースを提供するモジュール式検証サービスです。

ビジネスモデルの観点から見ると、zkVM と zkCoprocessor の違いは次のとおりです。

zkVMは、Proving-as-a-Service（サービスとしての証明）モデルを採用し、プルーフ単位（ZKP）の課金ポリシーを採用しています。L2 Rollupなどのインフラストラクチャ顧客を主なターゲットとしており、大規模な契約、長いサイクル、安定した粗利益率を特徴としています。
zkCoprocessorは主にProof API-as-a-Serviceをベースとしており、API呼び出しまたはSDK統合を通じたタスクごとに課金されます。SaaSモデルに近いため、DeFiなどのアプリケーション層プロトコルを対象としており、迅速な統合と高いスケーラビリティを備えています。

一般的に、zkVM は検証可能なコンピューティングの基盤となるエンジンであり、zkCoprocessor はアプリケーション層の検証モジュールです。前者は技術的な堀を構築し、後者は商用化を推進し、全体として信頼できるコンピューティングネットワークを形成します。

3. ブレビスの製品ポートフォリオとテクノロジーパス

EthereumのL1リアルタイム証明を皮切りに、ZKテクノロジーは、ユニバーサルなzkVMとzkCoprocessorアーキテクチャを核とした検証可能コンピューティングの時代へと徐々に移行しています。Brevis Networkは、zkVMとzkCoprocessorを融合したもので、ゼロ知識コンピューティングを中核とするユニバーサルな検証可能コンピューティング・インフラストラクチャを構築し、高性能とプログラマビリティを融合させています。これは、あらゆるものに対応する無限のコンピューティング層です。

3.1 Pico zkVM: 普遍的な検証可能な計算のためのモジュール型Proof-of-Stakeアーキテクチャ

2024年、ヴィタリックは「グルーとコプロセッサアーキテクチャ」において、「汎用実行層＋コプロセッサ加速層」（グルー＆コプロセッサ）アーキテクチャを提案しました。複雑な計算は、汎用ビジネスロジックと構造化集約型計算に分けられます。前者は柔軟性を追求する（EVM、Python、RISC-Vなど）、後者は効率性を追求する（GPU、ASIC、ハッシュモジュールなど）。このアーキテクチャは、ブロックチェーン、AI、暗号コンピューティングの分野で共通のトレンドになりつつあります。EVMはプリコンパイルによる高速化、AIはGPU並列化を活用し、ZK証明は汎用VMと専用回路を組み合わせます。今後の鍵となるのは、「グルー層」でセキュリティと開発エクスペリエンスを最適化し、「コプロセッサ層」で効率的な実行に重点を置き、パフォーマンス、セキュリティ、オープン性のバランスを実現することです。

Brevisが開発したPico zkVMは、このコンセプトの代表的な実装です。「汎用zkVM + コプロセッサアクセラレーション」アーキテクチャにより、柔軟なプログラミング性と専用回路による高性能コンピューティングを融合しています。モジュール設計により、複数の証明バックエンド（KoalaBear、BabyBear、Mersenne31）をサポートし、実行、再帰、圧縮コンポーネントを自由に組み合わせてProverChainを構成できます。

Picoのモジュラーアーキテクチャは、コアコンポーネントの自由な再構成を可能にするだけでなく、新しい証明バックエンドやアプリケーションレベルのコプロセッサ（オンチェーンデータ、zkML、クロスチェーン検証など）の導入も可能にし、継続的なスケーラビリティを実現します。開発者はRustツールチェーンを直接使用してビジネスロジックを記述し、事前の知識なしに暗号証明を自動生成できるため、開発の障壁が大幅に低減されます。

Succinct SP1 の比較的モノリシックな RISC-V zkVM アーキテクチャや RISC Zero R0VM の一般的な RISC-V 実行モデルと比較して、Pico は、モジュラー zkVM + コプロセッサシステムを通じて実行、再帰、圧縮ステージの分離と拡張を実現し、マルチバックエンドスイッチングとコプロセッサ統合をサポートし、パフォーマンスとスケーラビリティの面で差別化された利点を形成します。

3.2 Pico Prism: マルチGPUクラスタのパフォーマンスの飛躍的向上

Pico Prismは、マルチサーバーGPUアーキテクチャにおけるBrevisの画期的な進歩であり、Ethereum Foundationのリアルタイム証明（RTP）フレームワークにおいて新記録を樹立しました。64x5090 GPUクラスターにおいて、平均証明時間6.9秒、RTPカバレッジ96.8%を達成し、同クラスのzkVMの中で最高性能の1つにランクインしました。アーキテクチャ、エンジニアリング、ハードウェア、そしてシステムレベルで最適化されたこのシステムは、zkVMを研究用プロトタイプから実稼働グレードのインフラストラクチャへと移行させる重要な一歩となります。

アーキテクチャ設計：従来のzkVM（SP1やR0VMなど）は、主に単一マシンGPUの最適化に依存していました。Pico Prismは、マルチサーバー、マルチGPUのクラスターレベルでのzk証明を初めて実装しました。マルチスレッドとシャーディングスケジューリングにより、zk証明は分散コンピューティングシステムへと拡張され、並列性とスケーラビリティを大幅に向上させます。
エンジニアリング実装: マルチステージ非同期パイプライン (実行/再帰/圧縮) とクロスレイヤーデータ再利用メカニズム (証明チャンクのキャッシュと埋め込み再利用) を構築し、マルチバックエンド切り替え (KoalaBear、BabyBear、M31) をサポートすることで、スループット効率が大幅に向上します。
ハードウェア戦略: 64×RTX 5090 GPU (約 128K ドル) の構成で、Pico Prism は平均証明時間 6.0～6.9 秒、RTP カバレッジ 96.8% を達成し、パフォーマンス/コスト比が約 3.4 倍向上しました。これは、SP1 Hypercube (160×4090 GPU、10.3 秒) よりも優れています。
システムの進化: Ethereum Foundation の RTP 指標 (10 秒未満が 96% 以上、コストが 10 万ドル未満) を満たした最初の zkVM として、Pico Prism は zk 証明システムを研究プロトタイプからメインネットレベルの製品インフラストラクチャに移行させ、Rollup、DeFi、AI、クロスチェーン検証などのシナリオに、より経済的なゼロ知識コンピューティングソリューションを提供します。

3.3 ZKデータコプロセッサ：ブロックチェーンデータインテリジェントゼロ知識コプロセッサ層

スマートコントラクトは本質的にメモリを欠いており、履歴データへのアクセス、長期的な行動の特定、クロスチェーン分析を行うことができません。Brevisの高性能ゼロ知識コプロセッサ（ZKコプロセッサ）は、スマートコントラクトにクロスチェーン履歴データへのアクセスと信頼できるコンピューティング機能を提供します。ブロックチェーン全体の履歴状態、トランザクション、イベントを検証・計算することで、データ駆動型DeFi、プロアクティブな流動性管理、ユーザーインセンティブ、クロスチェーンID検証といったアプリケーションを実現します。

Brevis のワークフローは 3 つのステップで構成されます。

データアクセス: スマートコントラクトは、API を通じて信頼性なく履歴データを読み取ることができます。
計算実行: 開発者は SDK を使用してビジネスロジックを定義し、それが Brevis チェーンによって計算され、生成されます。
結果の検証: 証明結果がチェーンに送り返され、コントラクトによって検証され、後続のロジックが呼び出されます。

BrevisはPure-ZKとCoChain（OP）の両方のモデルをサポートしています。前者は完全な信頼最小化を実現しますが、コストは高くなります。後者はPoS検証とZKチャレンジメカニズムを通じて、低コストで検証可能なコンピューティングを実現します。バリデータはEthereumにステーキングし、ZKによってチャレンジ成功が証明された場合は罰金が科せられます。これにより、セキュリティと効率性のバランスが実現されます。ZK + PoS + SDKのアーキテクチャ融合により、Brevisはセキュリティと効率性のバランスを取り、スケーラブルな信頼できるデータコンピューティング層を構築します。現在、BrevisはPancakeSwap、Euler、Usual、Lineaなどのプロトコルをサポートしています。すべてのzkCoprocessor連携はPure-ZKモデルに基づいており、DeFi、報酬分配、オンチェーンIDシステムに信頼できるデータサポートを提供することで、スマートコントラクトに真の「メモリとインテリジェンス」をもたらします。

3.4 Incentra: ZKベースの「検証可能なインセンティブ分配層」

Incentraは、Brevis zkCoprocessorを搭載した信頼性の高いインセンティブ分配プラットフォームであり、DeFiプロトコル向けに安全で透明性が高く検証可能な報酬計算・分配メカニズムを提供します。ゼロ知識証明を通じてインセンティブ結果をオンチェーンで直接検証することで、トラストレス、低コスト、そしてクロスチェーンのインセンティブ実行を実現します。報酬計算と検証はZK回路内で行われるため、あらゆるユーザーが独立して結果を検証できます。また、クロスチェーン操作とアクセス制御をサポートし、コンプライアンスに準拠した安全かつ自動化されたインセンティブ分配を実現します。

Incentra は主に 3 種類のインセンティブモデルをサポートしています。

トークン保有: ERC-20 時間加重残高 (TWA) に基づいて長期保有報酬を計算します。
集中流動性: AMM DEX 手数料率に基づいて流動性報酬を分配し、Gamma や Beefy などの ALM プロトコルと互換性があります。
貸借: 残高と負債の平均に基づいて貸付報酬を計算します。

このシステムは、PancakeSwap、Euler、Usual、Lineaなどのプロジェクトに適用され、インセンティブ計算から分配までフルチェーンの信頼できるクローズドループを実現し、DeFiプロトコルにZKレベルの検証可能なインセンティブインフラストラクチャを提供します。

3.5 Brevis製品技術スタックの概要

4. Brevis zkVMのテクニカル指標とパフォーマンスのブレークスルー

Ethereum Foundation（EF）が提案したL1 zkEVMリアルタイム証明（RTP）標準は、業界のコンセンサスとなり、zkVMがEthereumメインネット検証プロセスに参加するための基準となりました。その主要な評価指標には以下が含まれます。

レイテンシ要件: P99 ≤ 10 秒 (Ethereum の 12 秒ブロックサイクルに一致)。
ハードウェアの制約: CAPEX ≤ $100K、消費電力 ≤ 10kW (家庭用または小規模のコンピュータルームに適しています)。
セキュリティレベル: ≥128 ビット (移行期間中は≥100 ビット)。
証明サイズ: ≤300 KiB;
システム要件: 信頼できる設定に依存してはならず、コアコードは完全にオープンソースである必要があります。

2025年10月、ブレビスはレポート「ピコプリズム - コンシューマーハードウェア上で4500万ガスのイーサリアムブロックを99.6%リアルタイム証明」を発表し、ピコプリズムがイーサリアム財団（EF）のリアルタイムブロック証明（RTP）標準に完全に合格した最初のzkVMになったことを発表しました。

Pico Prismは、RTX 5090 GPUを64基搭載した構成（約12万8000ドル）において、45Mガスブロックで平均レイテンシ6.9秒、10秒未満が96.8%、12秒未満が99.6%という結果を達成しました。このパフォーマンスは、Succinct SP1 Hypercube（36Mガス、平均レイテンシ10.3秒、10秒未満が40.9%）を大幅に上回ります。レイテンシが71%削減され、ハードウェアコストが半減したことで、全体的なパフォーマンス/コスト効率は約3.4倍向上しました。この成果は、Ethereum Foundation、Vitalik Buterin氏、Justin Drake氏によって公に認められています。

5. Brevisエコシステムの拡張とアプリケーションの実装

BrevisのZKデータコプロセッサ（zkCoprocessor）は、dAppsが効率的に完了できない複雑な計算（履歴動作、クロスチェーンデータ、集約分析など）を処理し、検証可能なゼロ知識証明（ZKP）を生成します。この小さな証明をオンチェーンで検証するだけで、安全に結果にアクセスできるため、ガスコスト、レイテンシ、信頼コストを大幅に削減できます。従来のオラクルと比較して、Brevisは「結果」だけでなく「その正確性の数学的保証」も提供します。主な応用シナリオは、以下の通りです。

インテリジェント DeFi: 過去の行動と市場状況に基づいて、インテリジェントなインセンティブと差別化されたエクスペリエンスが実現されます (PancakeSwap、Uniswap、MetaMask など)
RWAとステーブルトークンの成長：ZK検証によるステーブルコインとRWA収益の自動分配（OpenEden、Usual Money、MetaMask USD）
プライバシー分散型取引所（ダークプール付きDEX）：オフチェーンマッチングとオンチェーン検証を使用するプライバシー取引モデル。近日公開予定。
クロスチェーン相互運用性: クロスチェーンの再ステーキングとRollup-L1相互運用性をサポートし、共有セキュリティレイヤー（カーネル、Celer、0G）を構築します。
ブロックチェーンブートストラップ：ZKインセンティブを使用して、新しいブロックチェーンエコシステムのブートストラップと成長を支援する（Linea、TAC）
高性能パブリックチェーン（L1が100倍高速）：リアルタイムプルーフ（RTP）技術を通じて、イーサリアムやBNBチェーンなどのパブリックチェーンのパフォーマンス向上を促進
検証可能なAI：プライバシー保護と検証可能な推論を組み合わせて、AgentFiとデータエコノミーに信頼できるコンピューティングパワーを提供します（Kaito、Trusta）

Brevis Explorerのデータによると、2025年10月時点で、Brevisネットワークは1億2,500万以上のZKプルーフを生成し、約95,000のアドレスと96,000件の申請リクエストをカバーし、報酬分配、トランザクション検証、プルーフ・オブ・ステークなど、幅広いシナリオに対応しています。エコシステム全体では、プラットフォームは約2億2,300万ドルのインセンティブを分配し、28億ドルを超えるTVLをサポートし、累計取引量は10億ドルを超えています。

現在、Brevisのエコシステム事業は、主にDeFiインセンティブ分配と流動性最適化という2つの主要な分野に焦点を当てています。コアコンピューティング電力消費は、Usual Money、PancakeSwap、Linea Ignition、Incentraの4つのプロジェクトによって占められており、合計で85%以上を占めています。

通常通貨（4,660万プルーフ）：大規模なインセンティブ分配における長期的な安定性を実証。
PancakeSwap（20.6M）：リアルタイムのレートと割引の計算におけるBrevisの高いパフォーマンスを反映しています。
Linea Ignition (20.4M): L2 エコシステムアクティビティにおける高い並行処理能力を検証します。
Incentra (15.2%): Brevis が SDK ツールから標準化されたインセンティブプラットフォームへと進化したことを示しています。

DeFiインセンティブの分野では、BrevisはIncentraプラットフォームを活用して複数のプロトコルをサポートし、透明性と継続性のある報酬分配を実現しています。

Usual Money の年間インセンティブ規模は 3 億ドルを超え、ステーブルコインユーザーと LP に持続可能なリターンを提供しています。
OpenEden と Bedrock は、CPI モデルに基づいて米国債の分配と収益の再ステーキングを実装します。
Euler、Aave、BeraBorrow などのプロトコルは、ZK を使用して貸出ポジションを検証し、報酬計算を行います。

流動性の最適化に関しては、PancakeSwap、QuickSwap、THENA、BeefyなどがBrevisの動的レートとALMインセンティブプラグインを使用して取引割引とチェーン間の収益集約を実現しています。また、Jojo ExchangeとUniswap FoundationはZK検証メカニズムを使用して、より安全な取引インセンティブシステムを構築しています。

クロスチェーンおよびインフラレベルでは、BrevisはEthereumだけでなく、BNB Chain、Linea、Kernel DAO、TAC、0Gにも拡張し、マルチチェーンエコシステム向けの信頼できるコンピューティングとクロスチェーン検証機能を提供しています。一方、Trusta AI、Kaito AI、MetaMaskなどのプロジェクトは、ZKデータコプロセッサを活用してプライバシー保護ポイント、影響力スコアリング、報酬システムを構築し、Web3データのインテリジェントな開発を推進しています。基盤システムレベルでは、BrevisはEigenLayer AVSネットワークを活用してセキュリティの再ステーキングを行い、NEBRAの集約証明（UPA）技術を組み込むことで複数のZK証明を単一の送信に圧縮し、オンチェーン検証コストとレイテンシを大幅に削減しています。

全体として、Brevisは長期インセンティブ、イベント報酬、トランザクション検証からプラットフォームベースのサービスまで、幅広いアプリケーションシナリオをカバーしています。高頻度検証タスクと再利用可能な回路テンプレートは、Pico/Prismに現実世界のパフォーマンスプレッシャーと最適化フィードバックを提供します。これはエンジニアリングレベルとエコシステムレベルでL1 zkVMリアルタイム証明システムにフィードバックされ、技術とアプリケーションの双方向のフライホイールを形成することが期待されます。

6. チームの背景とプロジェクトの資金調達

モ・ドン｜ブレビス・ネットワーク共同創設者

Brevis Networkの共同創設者であるMo Dong博士は、イリノイ大学アーバナ・シャンペーン校（UIUC）でコンピュータサイエンスの博士号を取得しています。彼の研究は、トップクラスの国際学術会議で発表され、Googleなどのテクノロジー企業に採用され、数千件もの引用を獲得しています。彼はアルゴリズムゲーム理論とプロトコルメカニズム設計の専門家であり、ゼロ知識コンピューティング（ZK）と分散型インセンティブメカニズムの統合を推進し、信頼性と検証性に優れたコンピューティングエコノミーの構築に注力しています。また、IOSG Venturesのベンチャーパートナーとして、長年にわたりWeb3インフラへの初期投資に注力してきました。

Brevisチームは、UIUC、MIT、カリフォルニア大学バークレー校の暗号学とコンピュータサイエンスの博士号取得者によって設立されました。コアメンバーは、ゼロ知識証明（ZKP）と分散システムに関する長年の研究経験を持ち、多数の査読付き論文を発表しています。BrevisはEthereum Foundationから技術的評価を受けており、そのコアモジュールはオンチェーンのスケーラビリティにとって極めて重要なインフラとみなされています。

Brevisは2024年11月に、Polychain CapitalとBinance Labsが共同でリードし、IOSG Ventures、Nomad Capital、HashKey、Bankless Ventures、およびKyber、Babylon、Uniswap、Arbitrum、AltLayerからの戦略的エンジェル投資家が参加した750万ドルのシードラウンドの資金調達を完了しました。

VII. ZKVMおよびZKコプロセッサ市場の競争分析

現在、Ethereum Foundation がサポートする ETHProofs.org は、L1 zkEVM Realtime Proving (RTP) ルートのコア追跡プラットフォームとなっており、さまざまな zkVM のパフォーマンス、セキュリティ、メインネット適応の進捗状況を公開するために使用されます。

全体として、RTP トラックの競争は次の 4 つの中核的な側面に重点が置かれています。

成熟度: SP1 は本番環境での展開に最も成熟しています。Pico はパフォーマンスが優れており、メインネット標準に近いです。RISC Zero は安定していますが、RTP データは公開されていません。
パフォーマンス: Pico プルーフサイズは約 990 kB で、SP1 (1.48 MB) よりも約 33% 小さく、コストも低くなります。
セキュリティと監査: RISC Zero と SP1 は独立したセキュリティ監査に合格しており、Pico は現在監査中です。
開発エコシステム：主流のzkVMはすべてRISC-V命令セットを使用しています。SP1は、Succinct Rollup SDKを活用して、幅広い統合エコシステムを構築しています。PicoはRustをサポートし、自動証明生成を実現しています。SDKの完全性は急速に向上しています。

最新のデータから判断すると、現在のRTPの推移は「2つの強いパターン」を形成している。

最上位のBrevis Pico（Prismを含む）とSuccinct SP1 Hypercubeは、どちらもEFが定めるP99≤10s基準を目指しています。前者は分散型マルチGPUアーキテクチャによってパフォーマンスとコストの飛躍的な向上を実現し、後者は単一システムによってエンジニアリングの成熟度と堅牢なエコシステムを維持しています。Picoはパフォーマンスとアーキテクチャの革新性を、SP1は実用性とエコシステムのリーダーシップを象徴しています。
2番手チームであるRISC Zero、ZisK、ZKMは、エコシステム互換性と軽量設計の検討を継続していますが、RTPの完全なメトリクス（レイテンシ、消費電力、CAPEX、セキュリティビット、プルーフサイズ、再現性）はまだ公開されていません。Scroll（Ceno）とMatter Labs（Airbender）は、RollupテクノロジーをL1検証レイヤーに拡張しようとしており、L2容量拡張からL1検証可能コンピューティングへの進化を実証しています。

2025年までに、zkVM市場はRISC-Vの統合、モジュール化の進化、再帰的な標準化、そしてハードウェアアクセラレーションによる並列処理を特徴とする技術基盤を確立するでしょう。zkVMのユニバーサル検証可能コンピューティング層は、以下の3つのカテゴリーに分けられます。

パフォーマンス重視: Brevis Pico、SP1、Jolt、Zisk は、低レイテンシとリアルタイム証明に重点を置いており、再帰 STARK と GPU アクセラレーションを通じてコンピューティングスループットを向上させます。
モジュール性とスケーラビリティ: OpenVM、Pico、および SP1 は、モジュール性とプラグイン可能性を重視し、コプロセッサアクセスをサポートします。
エコシステムと一般的な開発: RISC Zero、SP1、ZiSK は、汎用化を促進するために SDK と言語の互換性に重点を置いています。

現在、ZKコプロセッサ市場は、Brevis、Axiom、Herodotus、Lagrangeの4社が市場を支配しています。Brevisは、履歴データアクセス、プログラマブルコンピューティング、L1 RTP機能を組み合わせた「ZKデータコプロセッサ + 汎用zkVM」アーキテクチャで市場をリードしています。Axiomは検証可能なクエリと回路コールバックに特化し、Herodotusは履歴状態アクセスに特化し、LagrangeはZK + Optimisticハイブリッドアーキテクチャでクロスチェーンコンピューティングのパフォーマンスを最適化します。全体として、ZKコプロセッサは、DeFi、Reliable Web Apps（RWA）、AI、ID、その他のアプリケーションを「検証可能なサービスレイヤー」として接続する、信頼できるコンピューティングインターフェースになりつつあります。

8. まとめ: ビジネスロジック、エンジニアリング実装、潜在的リスク

ビジネスロジック: パフォーマンス駆動とダブルフライホイール

Brevis は、「ユニバーサル zkVM (Pico/Prism)」と「データコプロセッサ (zkCoprocessor)」を使用して、マルチチェーンの信頼できるコンピューティングレイヤーを構築します。前者は任意の計算の検証可能性の問題を解決し、後者は履歴データとクロスチェーンデータのビジネス実装を実現します。

その成長ロジックは、「パフォーマンス-エコシステム-コスト」の好循環を形成しています。Pico PrismのRTPパフォーマンスは主要プロトコルの統合を促し、規模の拡大とユニットコストの削減につながり、継続的に強化される二重のフライホイールを形成します。その競争優位性は主に3つの側面にあります。

再現可能なパフォーマンス - Ethereum Foundation の ETHProofs RTP システムに組み込まれています。
アーキテクチャ上の障壁 - モジュール設計とマルチ GPU 並列化により高いスケーラビリティを実現します。
商用検証 - インセンティブ分配、動的レート、クロスチェーン検証において大規模に実装されています。

エンジニアリング実装：「実行重視」から「実行を検証に置き換える」へ

Brevisは、Pico zkVMとPrism並列フレームワークを活用し、45Mガスブロック（64×5090 GPU、設備投資額13万ドル未満）で平均6.9秒、P99（Peak-99）10秒未満を達成し、卓越したパフォーマンスとコストを実現しています。zkCoprocessorモジュールは、履歴データの読み取り、回路生成、バックリンク検証をサポートし、Pure-ZKモードとハイブリッドモードを柔軟に切り替えることができます。全体的なパフォーマンスは、Ethereumの強化されたRTP標準にほぼ匹敵します。

潜在的なリスクと主な懸念事項

技術およびコンプライアンスのしきい値：Brevisは、消費電力、セキュリティビット、プルーフサイズ、信頼されたセットアップの依存関係といったハードメトリクスについて、公開およびサードパーティによる検証を完了する必要があります。ロングテールパフォーマンスの最適化は依然として重要であり、EIPの調整によってパフォーマンスのボトルネックを解消できる可能性があります。
競争と代替のリスク: Succinct (SP1/Hypercube) は依然としてツールチェーンとエコシステムの統合をリードしており、Risc Zero、Axiom、OpenVM、Scroll、zkSync などのチームの競争力も無視できません。
収益の集中と事業構造：現在、プルーフボリュームは非常に集中しており（上位4つのアプリケーションが約80%を占めています）、依存度を低減するためには、複数の業界、パブリックチェーン、ユースケースにわたる拡張が必要です。GPUコストは、ユニット粗利益に影響を与える可能性があります。

全体として、Brevisは再現可能なパフォーマンスと実用的なビジネスアプリケーションの両面で、予備的な競争優位性を確立しました。Pico/PrismはL1 RTP市場のリーディングティアとして確固たる地位を築き、zkCoprocessorは高頻度で再利用可能な商用シナリオを開拓しています。今後は、段階的な目標としてEthereum Foundationの完全なRTPハードターゲットの達成を推奨します。コプロセッサ製品の標準化とエコシステムの拡大を継続的に強化するとともに、サードパーティによる再現性、セキュリティ監査、コストの透明性を促進します。インフラとSaaS収益の構造的なバランスを実現することで、持続可能なクローズドループ型のビジネス成長サイクルを構築できます。