原題：「Brevis Research Report：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のコンセプトはL1 Realtime Proving（RTP）に拡張され、EVM命令レベルで検証可能な回路が構築されます。これにより、ゼロ知識証明をイーサリアムメインネットの実行および検証プロセスに直接統合し、ネイティブに検証可能な実行メカニズムを実現できるようになります。この進化は、ブロックチェーンにおける「スケーラビリティ」から「検証可能性」への技術的飛躍を反映しており、信頼できるコンピューティングの新たな時代を先導するものです。

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

EthereumのzkEVMスケーリングパスは、2つのフェーズで構成されています。

· フェーズ1（2022～2024年）：L2 zkRollupは、実行をレイヤー2に移行し、そこで有効性証明が提出されます。これによりコストが大幅に削減され、スループットが向上しますが、流動性と状態の断片化が生じ、L1は依然としてN-of-N再実行の対象となります。

· フェーズ2（2025年以降）：L1リアルタイムプルーフ（RTP）は、再実行を「1-of-Nプルーフ + ネットワーク全体にわたる軽量検証」に置き換え、分散性を犠牲にすることなくスループットを向上させます。これは現在も進化と発展を続けています。 L2 zkRollup フェーズ: 互換性とスケーラビリティのバランス 2022 年、レイヤー 2 エコシステムが繁栄するにつれ、Ethereum 創設者 Vitalik Buterin は ZK-EVM の 4 つのカテゴリ分類 (タイプ 1～4) を提案し、互換性とパフォーマンスの構造的なトレードオフを体系的に明らかにしました。 このフレームワークにより、その後の zkRollup 技術ロードマップの明確な座標が確立されました。 · タイプ 1: 完全な同等性: Ethereum バイトコードと同一で、移行コストが最も低く、証明が最も遅い。 Taiko。 · タイプ 2: 完全な互換性: 基盤となる最適化が最小限で、最高の互換性を提供。 Scroll、Linea。

· タイプ 2.5 準互換性: パフォーマンスと引き換えに、ガス/プリコンパイルなどの小さな変更。 Polygon zkEVM、Kakarot。

· タイプ 3 部分的互換性: より重大な変更があり、ほとんどのアプリケーションを実行できますが、L1 インフラストラクチャを完全に再利用する能力は限られています。zkSync 時代。

· タイプ 4 言語レベル: バイトコードの互換性を放棄し、高級言語から回路に直接コンパイルします。最適なパフォーマンスを提供しますが、エコシステムの再構築が必要です (代表例: Starknet/Cairo)。現在のL2 zkRollupモデルは成熟しており、実行をレイヤー2に移行し、有効性証明をレイヤー1で提出することで、最小限の変更でEthereumエコシステムとツールチェーンを活用し、スケーリングと手数料削減の主流ソリューションとなっています。証明はL2ブロックと状態遷移に基づいており、決済とセキュリティはレイヤー1に保持されています。このアーキテクチャは、高い開発者互換性を維持しながらスループットと効率性を大幅に向上させますが、流動性と状態の断片化も招き、L1は依然としてN-of-N実行のボトルネックによって制限されています。2025年7月、Ethereum Foundationは記事「Shipping an L1 zkEVM #1: Realtime Proving」を公開し、L1 zkEVMアプローチを正式に提案しました。 L1 zkEVM は、Ethereum を N-of-N 再実行から 1-of-N 証明へとアップグレードし、ネットワーク全体で高速な検証を実現します。少数の証明者が EVM の状態遷移全体に対して短い証明を生成し、すべてのバリデータが一定時間で検証を実行します。このソリューションは、分散性を犠牲にすることなく L1 リアルタイム証明を実現し、メインネットのガス制限とスループットを安全に向上させるとともに、エントリーレベルのノードのハードウェア要件を大幅に削減します。実装計画では、従来の実行クライアントを zk クライアントに置き換え、最初はそれらを並行して実行します。パフォーマンス、セキュリティ、インセンティブ メカニズムが成熟すると、徐々にプロトコル レベルで新しい標準になるでしょう。

· N of N の旧パラダイム: すべてのバリデータが検証のためにトランザクション ブロック全体を繰り返し実行します。これは安全ですが、スループットが制限され、ピーク時の手数料が高くなります。

· 1 of N の新しいパラダイム：少数の証明者がブロック全体を実行し、短い証明を生成します。ネットワーク全体は定数時間の検証のみを実行します。検証コストは再実行よりもはるかに低いため、L1ガス制限を安全に増加させ、ハードウェア要件を削減できます。L1 zkEVMロードマップには、3つの主要な柱があります。1. リアルタイム証明：12秒スロットでブロック全体の証明を完了し、並列化とハードウェアアクセラレーションによってレイテンシを削減します。2. クライアントとプロトコルの統合：証明検証インターフェースを標準化し、当初はオプションとして、後にデフォルト化します。3. インセンティブとセキュリティ：検閲耐性とネットワークの活性度を高めるために、証明者市場と手数料モデルを確立します。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) が含まれます。

II. Ethereum を超えて: 汎用 zkVM と zkCoprocessor

Ethereum エコシステムを超えて、ゼロ知識証明 (ZKP) 技術は、汎用検証可能コンピューティングのより広範な分野にも拡張され、zkVM と zkCoprocessor を中心とした 2 つのコア技術システムを形成しています。 zkVM: 検証可能なコンピューティング レイヤー。この検証可能な実行エンジンは、RISC-V、MIPS、WASM などの一般的な命令セット アーキテクチャを対象として、任意のプログラム用に設計されています。開発者はビジネスロジックをzkVMにコンパイルできます。zkVMは証明者によってオフチェーンで実行され、オンチェーンで検証可能なゼロ知識証明（ZKP）を生成します。これは、Ethereumのレイヤー1（L1）におけるブロック検証、クロスチェーン検証、AI推論、暗号計算、複雑なアルゴリズムなどに利用できます。その汎用性と幅広い適応性は利点ですが、複雑な回路と高い証明コストを伴い、マルチGPU並列処理と堅牢なエンジニアリング最適化が求められます。代表的なプロジェクトには、Risc Zero、Succinct SP1、Brevis Pico/Prismなどがあります。zkCoprocessor：シナリオ固有の検証可能モジュールは、特定のビジネスシナリオ向けにプラグアンドプレイの計算および証明サービスを提供します。プラットフォームは、データアクセスと回路ロジック（オンチェーン履歴データの読み取り、TVL、収益決済、ID検証など）を事前構成します。アプリケーションは、SDK/API呼び出しを通じて、オンチェーンで消費するための計算結果と証明にアクセスできます。このモデルは、迅速な導入、優れたパフォーマンス、低コストを実現しますが、汎用性には限界があります。代表的なプロジェクトとしては、Brevis zkCoprocessorとAxiomが挙げられます。zkVMとzkCoprocessorはどちらも、「オフチェーン計算 + オンチェーン検証」という信頼できるコンピューティングパラダイムに準拠しており、オフチェーンの結果をゼロ知識証明によってオンチェーンで検証します。その経済性は、オンチェーンでの直接実行コストが、オフチェーン証明生成とオンチェーン検証の合計コストよりもはるかに高いという前提に基づいています。汎用性とエンジニアリングの複雑さの点で、両者の主な違いは次のとおりです。zkVM は、複雑なクロスドメインまたは AI シナリオに適した汎用コンピューティング インフラストラクチャであり、最大限の柔軟性を提供します。zkCoprocessor はモジュール型の検証サービスであり、高頻度で再利用可能なシナリオ (DeFi、RWA、リスク管理など) に対して低コストで直接呼び出し可能な検証インターフェイスを提供します。商用アプローチの点では、zkVM と zkCoprocessor の違いは次のとおりです。zkVM は Proving-as-a-Service モデルを採用し、証明ごとに課金 (ZKP) し、主に L2 Rollup などのインフラストラクチャ クライアントを対象としています。その特徴には、大規模な契約サイズ、長い契約サイクル、安定した粗利益率などがあります。一方、zkCoprocessor は主に Proof of Service API-as-a-Service モデルを提供し、API 呼び出しまたは SDK 統合を通じてタスクごとに課金します。このモデルは SaaS モデルに近いもので、DeFi などのアプリケーション層プロトコルを対象としており、迅速な統合と強力なスケーラビリティを提供します。全体的に、zkVM は検証可能な計算の基盤となるエンジンであり、zkCoprocessor はアプリケーション層の検証モジュールです。前者は技術的な堀を構築し、後者は商用化を推進し、全体として信頼できるユニバーサル コンピューティング ネットワークを形成します。

III. Brevisの製品ポートフォリオと技術パス

EthereumのL1リアルタイム証明（Realtime Proving）から始まったZKテクノロジーは、ユニバーサルzkVMとzkCoprocessorアーキテクチャを中核として、徐々に検証可能コンピューティングの時代へと移行しています。Brevis NetworkはzkVMとzkCoprocessorを融合したもので、ゼロ知識コンピューティングを中核とするユニバーサル検証可能コンピューティングインフラストラクチャを構築し、高性能とプログラマビリティを兼ね備えています。これがInfinite Compute Layer for Everythingです。 3.1 Pico zkVM：普遍的な検証可能な計算のためのモジュール型証明アーキテクチャ 2024年、Vitalikは「Glue and Coprocessor Architectures」において、「ユニバーサル実行層 + コプロセッサ加速層」（グルー＆コプロセッサ）アーキテクチャを提案しました。複雑な計算は、一般的なビジネスロジックと構造化された集中的な計算に分けられます。前者は柔軟性を重視し（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 を研究プロトタイプから製品グレードのインフラストラクチャに移行させています。 1. アーキテクチャ設計: 従来の zkVM (SP1 や R0VM など) は、主に単一マシンの GPU 最適化に依存しています。Pico Prism は、複数のサーバーと GPU にわたるクラスターレベルの zk 証明を実装した最初のものです。マルチスレッドとシャーディングにより、zk 証明を分散コンピューティング システムに拡張し、並列性とスケーラビリティを大幅に向上させます。2. エンジニアリング実装: マルチステージ非同期パイプライン (実行/再帰/圧縮) とクロスレイヤー データ再利用メカニズム (証明チャンクのキャッシュと埋め込みの再利用) を構築し、複数のバックエンド切り替え (KoalaBear、BabyBear、M31) をサポートすることで、スループット効率が大幅に向上します。3. ハードウェア戦略：64x RTX 5090 GPU（約128,000ドル）を搭載したPico Prismは、平均証明時間6.0～6.9秒、RTPカバレッジ96.8%を達成し、パフォーマンス/コストが3.4倍向上し、SP1 Hypercube（160x4090 GPU、10.3秒）を上回ります。4. システムの進化：Ethereum FoundationのRTP要件（10秒未満が96%超、コスト10万ドル未満）を満たした最初のzkVMとして、Pico Prismはzk証明システムを研究用プロトタイプからメインネットグレードの製品インフラストラクチャに移行させ、Rollup、DeFi、AI、クロスチェーン検証などのシナリオ向けに、より経済的なゼロ知識コンピューティングソリューションを提供します。 3.3 ZKデータコプロセッサ：ブロックチェーンデータインテリジェントゼロ知識コプロセッサレイヤー スマートコントラクトは本質的にメモリが不足しているため、履歴データへのアクセス、長期的な行動の識別、クロスチェーン分析を行うことができません。Brevisの高性能ゼロ知識コプロセッサ（ZKコプロセッサ）は、スマートコントラクトにクロスチェーン履歴データアクセスと信頼できるコンピューティング機能を提供します。ブロックチェーン全体の履歴状態、トランザクション、イベントを検証および計算し、データ駆動型DeFi、プロアクティブな流動性管理、ユーザーインセンティブ、クロスチェーンID検証などのアプリケーションを可能にします。Brevisのワークフローは、次の3つのステップで構成されています。1. データアクセス：スマートコントラクトは、APIを介して信頼できる方法で履歴データを読み取ります。2. 計算実行：開発者はSDKを使用してビジネスロジックを定義し、これはBrevisによってオフチェーンで計算および生成されます。3. 結果検証：証明はオンチェーンに戻され、コントラクトによって検証され、後続のロジックが呼び出されます。 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 リアルタイム証明標準 (Realtime Proving、RTP) は、zkVM が Ethereum メインネット検証ルートに参入できるかどうかを判断するための業界コンセンサスおよび参入基準となっています。その主要な評価指標は以下のとおりです。

・レイテンシ要件: P99 ≤ 10 秒 (Ethereum の 12 秒ブロックサイクルに一致)。

· ハードウェア制約: CAPEX ≤ $100K、消費電力 ≤ 10kW (家庭用/小規模コンピュータ ルームに適しています);

· セキュリティ レベル: ≥ 128 ビット (移行期間中は ≥ 100 ビット);

· 証明サイズ: ≤ 300 KiB;

· システム要件: 信頼できる設定に依存してはならず、コア コードは完全にオープン ソースである必要があります。

2025年10月、Brevis はレポート「Pico Prism - コンシューマーハードウェア上の4500万ガスのEthereumブロックの99.6%リアルタイム証明」を発表し、同社のPico PrismがEthereum Foundation（EF）のリアルタイムブロック証明（RTP）標準に完全に合格した最初のzkVMになったことを発表しました。 64x RTX 5090 GPU（約128,000ドル）を搭載したPico Prismは、45Mガスブロックで平均レイテンシ6.9秒、レイテンシ96.8% 10秒未満、レイテンシ99.6% 12秒未満を達成し、Succinct SP1 Hypercube（36Mガス、平均レイテンシ10.3秒、レイテンシ40.9% 10秒未満）を大幅に上回りました。レイテンシが71%削減され、ハードウェアコストが半減したことで、全体的なパフォーマンス/コスト効率は約3.4倍向上しました。この成果は、Ethereum Foundation、Vitalik Buterin、Justin Drakeによって公に認められました。

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

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

· インテリジェント DeFi: 過去の行動と市場の状況に基づいて、インテリジェントなインセンティブと差別化されたエクスペリエンスを実現します (PancakeSwap、Uniswap、MetaMask など)

· RWA とステーブルトークンの成長: ZK 検証によるステーブルコインと RWA 収入の自動分配 (OpenEden、Usual Money、MetaMask USD)

· プライバシー分散型取引所 (DEX with Dark Pools): オフチェーン マッチングとオンチェーン検証を備えたプライバシー トランザクション モデルを採用します (近日リリース予定)

· クロスチェーン相互運用性: クロスチェーンの再ステーキングと Rollup–L1 相互運用性をサポートし、共有セキュリティ レイヤーを構築します (Kernel、Celer、0G)

· ブロックチェーンブートストラップ: ZKインセンティブメカニズムを使用して、新しいパブリックチェーンエコシステムのコールドスタートと成長を支援します（Linea、TAC）

· 高性能パブリックチェーン（100倍高速なL1）： リアルタイムプルーフ（RTP）テクノロジーを通じて、Ethereumなどのパブリックチェーンのパフォーマンスを促進します（Ethereum、BNBチェーン）

· 検証可能なAI： プライバシー保護と検証可能な推論を統合して、AgentFiとデータエコノミーに信頼できるコンピューティングパワーを提供します（Kaito、Trusta）

Brevis Explorerのデータによると、2025年10月現在、Brevisネットワークでは1億2500万以上のZKプルーフが生成され、約95,000のアドレスと96,000件の申請リクエストに対応し、報酬分配、取引検証、プルーフ・オブ・ステークなど、幅広いシナリオに対応しています。エコシステムレベルでは、プラットフォームは約2億2,300万ドルのインセンティブを分配し、28億ドルを超えるTVL（総保有量）を支え、累計取引量は10億ドルを超えています。

現在、Brevisのエコシステム事業は主にDeFiインセンティブ分配と流動性最適化という2つの主要な方向に焦点を当てています。コアコンピューティング電力消費は、Usual Money、PancakeSwap、Linea Ignition、Incentraの4つのプロジェクトによって占められており、合計で85%以上を占めています。そのうち、· Usual Money（46.6Mプルーフ）：大規模インセンティブ分配における長期的な安定性を実証しています。· PancakeSwap（20.6M）：リアルタイムレートと割引計算におけるBrevisの高いパフォーマンスを反映しています。· Linea Ignition（20.4M）：L2エコシステム活動における高い並行処理能力を実証しています。· Incentra（15.2%）：SDKツールから標準化されたインセンティブプラットフォームへのBrevisの進化を示しています。

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

・ Usual Money の年間インセンティブ規模は 3 億ドル を超え、ステーブルコイン ユーザーと LP に継続的なリターンを提供しています。

・ OpenEden と Bedrock は、CPI モデルに基づいて米国債と Restaking の収益分配を実現しています。

・ 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 リアルタイム証明システムにフィードバックされ、テクノロジーとアプリケーションの双方向のフライホイールを形成することが期待されています。 VI. チームの背景とプロジェクト資金 Mo Dong | Brevis Network の共同設立者 Mo Dong 博士は Brevis Network の共同設立者であり、イリノイ大学アーバナ・シャンペーン校 (UIUC) でコンピュータサイエンスの博士号を取得しています。彼の研究はトップクラスの国際学術会議で発表され、Google などのテクノロジー企業に採用され、何千もの引用を集めています。アルゴリズムゲーム理論とプロトコルメカニズム設計の専門家である彼は、ゼロ知識コンピューティング (ZK) と分散型インセンティブメカニズムの統合の促進に焦点を当て、信頼できる検証可能なコンピューティングエコノミーの構築に取り組んでいます。IOSG Ventures のベンチャーパートナーとして、彼はまた、Web3 インフラストラクチャへの初期段階の投資にも長年注力してきました。Brevisチームは、UIUC、MIT、カリフォルニア大学バークレー校の暗号学とコンピュータサイエンスの博士号取得者によって設立されました。コアメンバーは、ゼロ知識証明（ZKP）と分散システムに関する長年の研究経験を持ち、多数の査読付き論文を発表しています。BrevisはEthereum Foundationから技術的評価を受けており、そのコアモジュールはオンチェーンのスケーラビリティにとって極めて重要なインフラとみなされています。

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

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

現在、Ethereum Foundation がサポートする ETHProofs.org は、L1 zkEVM リアルタイム証明 (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 と言語の互換性に重点を置いています。zkVM競合プロジェクトの比較（2025年10月時点） 現在、zkコプロセッサ市場はBrevis、Axiom、Herodotus、Lagrangeの4社が市場を支配しています。Brevisは、履歴データアクセス、プログラマブルコンピューティング、L1 RTP機能を組み合わせた「ZKデータコプロセッサ + 汎用zkVM」アーキテクチャで市場をリードしています。Axiomは検証可能なクエリと回路コールバックに特化し、Herodotusは履歴状態アクセスに特化し、LagrangeはZK + Optimisticハイブリッドアーキテクチャでクロスチェーンコンピューティングのパフォーマンスを最適化します。全体として、zkコプロセッサは、DeFi、Reliable Web Apps（RWA）、AI、IDなどのアプリケーションを接続する信頼できるコンピューティングインターフェースになりつつあり、「検証可能なサービスレイヤー」として機能しています。 VIII.概要：ビジネスロジック、エンジニアリング実装、および潜在的リスク ビジネスロジック：パフォーマンス主導と2層フライホイール Brevisは、ユニバーサルzkVM（Pico/Prism）とデータコプロセッサ（zkCoprocessor）を使用して、マルチチェーンの信頼できるコンピューティング層を構築します。前者は任意の計算検証可能性の問題を解決し、後者は履歴データとクロスチェーンデータの商用化を可能にします。その成長ロジックは、「パフォーマンス-エコシステム-コスト」の正のサイクルを形成します。Pico PrismのRTPパフォーマンスは、主要プロトコルの統合を促し、証明規模の成長を促進し、ユニットコストを削減することで、継続的に強化される2層フライホイールを形成します。同社の競争優位性は、次の3つの主要領域にあります。1. 再現可能なパフォーマンス - すでにEthereum FoundationのETHProofs RTPシステムに組み込まれています。2. アーキテクチャ上の障壁 - モジュール設計とマルチGPU並列処理により高いスケーラビリティを実現します。 3. 商業検証 - インセンティブ分配、動的手数料率、クロスチェーン検証においてすでに大規模に実装されています。エンジニアリング実装：「実行の強化」から「検証による実行の置き換え」へ Brevisは、Pico zkVMとPrism並列フレームワークを活用し、4500万ガスブロックで平均6.9秒、P99 <10秒（64x5090 GPU、CAPEX <13万ドル）を実現し、卓越したパフォーマンスとコストを実現しています。zkCoprocessorモジュールは、履歴データの読み取り、回路生成、バックリンク検証をサポートし、Pure-ZKモードとHybridモードを柔軟に切り替えることができます。全体的なパフォーマンスは、基本的にEthereumのハードRTP標準に準拠しています。潜在的なリスクと重要な懸念事項 · 技術およびコンプライアンスのしきい値：Brevisでは、消費電力、セキュアビット、プルーフサイズ、Trusted Setupの依存関係などのハードメトリックについて、パブリックおよびサードパーティによる検証が依然として必要です。ロングテールパフォーマンスの最適化は依然として重要であり、EIPの調整によってパフォーマンスのボトルネックに対処できる可能性があります。競争と代替リスク：Succinct（SP1/Hypercube）はツールチェーンとエコシステム統合において依然としてリーダーであり、Risc Zero、Axiom、OpenVM、Scroll、zkSyncといったチームも競争力を維持しています。収益の集中と事業構造：現在、プルーフボリュームは非常に集中しており（上位4つのアプリケーションで約80%を占めています）、依存度を低減するには、複数の業界、パブリックチェーン、ユースケースへの展開が必要です。GPUコストはユニット粗利益に影響を与える可能性があります。全体として、Brevisは「再現可能なパフォーマンス」と「実現可能なビジネス」の両方において、予備的な競争優位性を確立しています。Pico/PrismはL1 RTP市場のトップ層に確固たる地位を築いており、zkCoprocessorは高頻度で再利用可能な商用シナリオを開拓しています。今後は、段階的な目標としてEthereum Foundationの完全なRTPハードターゲットの達成を推奨します。コプロセッサ製品の標準化とエコシステムの拡大を継続的に強化するとともに、サードパーティによる再現性、セキュリティ監査、コストの透明性を促進します。インフラとSaaS収益の構造的なバランスを実現することで、持続可能なクローズドループ型のビジネス成長サイクルが形成されます。

免責事項： この記事はAIツールChatGPT-5の支援を受けて作成されました。著者は情報の信憑性と正確性を確保するためにあらゆる努力を払っていますが、欠落は避けられず、不正確な点についてはお詫び申し上げます。暗号資産市場では、プロジェクトの基礎と二次市場の価格パフォーマンスの乖離が一般的であることに留意することが重要です。この記事は情報集約および学術研究交流のみを目的としており、投資アドバイスやトークンの売買推奨を構成するものではありません。

この記事は寄稿であり、必ずしも BlockBeats の見解を反映するものではありません。

BlockBeats の公式コミュニティに参加しよう：

Telegram 公式チャンネル：https://t.me/theblockbeats

Telegram 交流グループ：https://t.me/BlockBeats_App

Twitter 公式アカウント：https://twitter.com/BlockBeatsAsia