?著者：0xjacobzhao

"オフチェーン計算 + オンチェーン検証"の信頼できる計算（Verifiable Computing）パラダイムは、ブロックチェーンシステムの一般的な計算モデルとなっています。これにより、ブロックチェーンアプリケーションは、分散化と信頼最小化（trustlessness）の安全性を維持しながら、ほぼ無限の計算自由度（computational freedom）を得ることができます。ゼロ知識証明（ZKP）はこのパラダイムの中心的な柱であり、その応用は主にスケーラビリティ（Scalability）、プライバシー（Privacy）、および相互運用性とデータ完全性（Interoperability & Data Integrity）の三つの基本的な方向に集中しています。その中で、スケーラビリティはZK技術が最初に実現されたシナリオであり、取引の実行をオフチェーンに移し、短い証明を用いてオンチェーンで結果を検証することで、高いTPSと低コストの信頼できるスケーラビリティを実現しています。

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

一、イーサリアムzkEVMのスケーリングの道：L2 RollupからL1リアルタイム証明へ

イーサリアムのzkEVMスケーリングパスは、二つの段階を経ています：

• 段階一（2022--2024）：L2 zkRollupは実行を第2層に移し、第1層で有効性証明を提出します；コストを大幅に削減し、スループットを向上させますが、流動性と状態の断片化をもたらし、L1は依然としてN-of-Nの再実行に制約されます。

• 段階二（2025--）：L1リアルタイム証明（Realtime Proving, RTP）は「1-of-N証明 + 全ネットワーク軽量検証」により再実行を置き換え、分散化を犠牲にすることなくスループットを向上させ、まだ進化中です。

L2 zkRollup段階：互換性とスケーラビリティのバランス

2022年、Layer2エコシステムが花開く段階で、イーサリアムの創設者Vitalik ButerinはZK-EVMの四つのタイプ（Type 1--4）を提案し、互換性（compatibility）と性能（performance）間の構造的なトレードオフを体系的に明らかにしました。このフレームワークは、後続のzkRollup技術路線に明確な座標を設定しました：

• Type 1 完全等価：イーサリアムのバイトコードと一致し、移行コストが最も低く、証明が最も遅い。Taiko。

• Type 2 完全互換：基盤の最適化がほとんどなく、互換性が最も強い。Scroll、Linea。

• Type 2.5 準互換：わずかな変更（ガス/プリコンパイルなど）で性能を交換。Polygon zkEVM、Kakarot。

• Type 3 部分互換：より大きな変更があり、ほとんどのアプリケーションを実行できるが、L1インフラを完全に再利用するのは難しい。zkSync Era。

• Type 4 言語レベル：バイトコード互換を放棄し、高級言語から直接回路にコンパイルし、性能が最適だがエコシステムを再構築する必要がある（代表：Starknet / Cairo）。

現在、L2 zkRollupモデルは成熟しており、実行を第2層に移し、第1層で有効性証明（Validity Proof）を提出することで、最小限の変更でイーサリアムエコシステムとツールチェーンを引き継ぎ、主流のスケーリングとコスト削減のソリューションとなっています。その証明対象はL2ブロックと状態遷移であり、決済とセキュリティは依然としてL1に依存しています。このアーキテクチャはスループットと効率を大幅に向上させ、開発者に対して高い互換性を維持しますが、流動性と状態の断片化をもたらし、L1は依然としてN-of-Nの再実行ボトルネックに制約されています。

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

2025年7月、イーサリアム財団は記事《Shipping an L1 zkEVM #1: Realtime Proving》を発表し、正式にL1 zkEVM路線を提案しました。L1 zkEVMは、イーサリアムをN-of-Nの再実行から1-of-Nの証明 + 全ネットワークの迅速な検証にアップグレードします：少数のプロバーが全体のEVM状態遷移に対して短い証明を生成し、すべての検証者は定数時間の検証を行います。このソリューションは、分散化を犠牲にすることなく、L1レベルのリアルタイム証明（Realtime Proving）を実現し、安全性を向上させ、メインネットのガス上限とスループットを向上させ、ノードのハードウェア要件を大幅に削減します。その実行計画は、zkクライアントを従来の実行クライアントに置き換え、先行して並行運用し、性能、安全性、インセンティブメカニズムが成熟した後、徐々にプロトコル層の新常態となることです。

• N of N 旧パラダイム ：すべての検証者が全取引を再実行して検証し、安全だがスループットが制限され、ピーク料金が高い。

• 1 of N 新パラダイム ：少数のプロバーが全取引を実行し、短い証明を生成；全ネットワークは定数時間の検証のみを行います。検証コストは再実行よりも遥かに低く、L1ガス上限を安全に引き上げ、ハードウェア要件を削減します。

L1 zkEVMのロードマップ三大主線

1. リアルタイム証明（Realtime Proving） ：12秒のスロット時間内に全体の証明を完了し、並行化とハードウェア加速で遅延を圧縮します；

2. クライアントとプロトコルの統合 ：標準化された証明検証インターフェースを提供し、最初はオプション、後にデフォルト；

3. インセンティブとセキュリティ：プロバー市場と費用モデルを構築し、検閲耐性とネットワークの活性を強化します。

イーサリアムのL1リアルタイム証明（RTP）は、zkVMを使用してオフチェーンで全取引を再実行し、暗号証明を生成します。これにより、検証者は再計算する必要がなく、10秒以内に小型証明を検証するだけで済み、「検証による実行」を実現し、イーサリアムのスケーラビリティと信頼性の検証効率を大幅に向上させます。イーサリアム財団の公式zkEVM Trackerページによると、現在L1 zkEVMリアルタイム証明路線に参加している主要なチームには、SP1 Turbo（Succinct Labs）、Pico（Brevis）、Risc Zero、ZisK、Airbender（zkSync）、OpenVM（Axiom）、Jolt（a16z）が含まれます。

二、イーサリアムを超えて：汎用zkVMとzkCoprocessor

イーサリアムエコシステムの外では、ゼロ知識証明（ZKP）技術は、より広範な汎用検証可能計算（Verifiable Computing）分野に拡張され、zkVMとzkCoprocessorを中心とした二つの技術体系が形成されています。

zkVM：汎用検証可能計算層

任意のプログラムの検証可能な実行エンジンを対象とし、一般的な命令セットアーキテクチャにはRISC-V、MIPS、WASMが含まれます。開発者はビジネスロジックをzkVMにコンパイルし、プロバーがオフチェーンで実行し、オンチェーンで検証可能なゼロ知識証明（ZKP）を生成します。これは、イーサリアムL1のブロック証明にも使用でき、クロスチェーン検証、AI推論、暗号計算、複雑なアルゴリズムなどのシナリオにも適用されます。その利点は汎用性と適応範囲の広さですが、回路が複雑で証明コストが高く、多くのGPUの並行処理と強力なエンジニアリング最適化に依存する必要があります。代表プロジェクトにはRisc Zero、Succinct SP1、Brevis Pico / Prismがあります。

zkCoprocessor：シナリオ化された検証モジュール

特定のビジネスシナリオに対して「即挿即用」の計算と証明サービスを提供します。プラットフォームはデータアクセスと回路ロジック（例えば、過去のチェーン上データの読み取り、TVL、収益の清算、身分証明など）を事前に設定しており、アプリケーション側はSDK / APIを通じて計算結果と証明を得て、チェーン上で消費します。このモデルは取り扱いが簡単で、性能が優れ、コストが低いですが、汎用性は限られています。典型的なプロジェクトにはBrevis zkCoprocessor、Axiomなどがあります。

全体的に、zkVMとzkCoprocessorは「オフチェーン計算 + オンチェーン検証」の信頼できる計算パラダイムに従い、ゼロ知識証明を通じてオフチェーンの結果をオンチェーンで検証します。その経済論理は、オンチェーンで直接実行するコストが、オフチェーンで証明を生成し、オンチェーンで検証する総コストよりもはるかに高いという前提に基づいています。

汎用性とエンジニアリングの複雑さにおいて、両者の重要な違いは：

• 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はアプリケーション層の検証モジュールです：前者は技術的な防壁を構築し、後者は商業化の実現を推進し、共に汎用信頼計算ネットワークを構成します。

三、Brevisの製品マップと技術パス

イーサリアムのL1リアルタイム証明（Realtime Proving）から出発し、ZK技術は徐々に汎用zkVMとzkCoprocessorアーキテクチャを中心とした検証可能計算時代に向かっています。そしてBrevis Networkは、zkVMとzkCoprocessorの融合体であり、ゼロ知識計算を中心に高性能とプログラマビリティを兼ね備えた汎用検証可能計算基盤を構築しています ------ 万物への無限計算層（The Infinite Compute Layer for Everything）。

3.1 Pico zkVM：汎用検証可能計算のモジュール化された証明アーキテクチャ

2024年、Vitalikは《Glue and Coprocessor Architectures》において「汎用実行層 + 協処理器加速層」（glue & coprocessor）アーキテクチャを提案しました。複雑な計算は汎用のビジネスロジックと構造化された集中的な計算に分割でき、前者は柔軟性（例えばEVM、Python、RISC-V）を追求し、後者は効率（例えばGPU、ASIC、ハッシュモジュール）を追求します。このアーキテクチャは、ブロックチェーン、AI、暗号計算の共通のトレンドとなりつつあります：EVMはプリコンパイルを通じて加速し、AIはGPUの並行処理を利用し、ZK証明は汎用VMと専用回路を組み合わせます。未来の鍵は、「接着剤層」が安全性と開発体験を最適化し、「協処理層」が効率的な実行に焦点を当て、性能、安全性、オープン性の間でバランスを取ることです。

Pico zkVMはBrevisによって開発されており、この理念の代表的な実現です。「汎用zkVM + 協処理器加速」アーキテクチャを通じて、柔軟なプログラマビリティと専用回路の高性能計算を組み合わせています。そのモジュール化設計は、さまざまな証明バックエンド（KoalaBear、BabyBear、Mersenne31）をサポートし、自由に組み合わせて実行、再帰、圧縮などのコンポーネントを形成してProverChainを構築します。

Picoのモジュール化システムは、コアコンポーネントを自由に再構成できるだけでなく、新しい証明バックエンドやアプリケーションレベルの協処理器（例えば、チェーン上データ、zkML、クロスチェーン検証）を導入し、継続的に進化する拡張性を実現します。開発者はRustツールチェーンを使用してビジネスロジックを直接記述でき、ゼロ知識の背景がなくても自動的に暗号証明を生成できるため、開発のハードルが大幅に低下します。

Succinct SP1の相対的に単体化されたRISC-V zkVMアーキテクチャやRISC Zero R0VMの汎用RISC-V実行モデルと比較して、PicoはModular zkVM + Coprocessor Systemを通じて実行、再帰、圧縮段階のデカップリングと拡張を実現し、複数のバックエンドの切り替えや協処理器の統合をサポートし、性能と拡張性において差別化された優位性を形成しています。

3.2 Pico Prism：多GPUクラスターの性能突破

Pico PrismはBrevisが多サーバーGPUアーキテクチャにおいて重要な突破を果たし、イーサリアム財団の「リアルタイム証明（Real-Time Proving, RTP）」フレームワークの下で新記録を樹立しました。64×5090 GPUクラスター上で6.9秒の平均証明時間と96.8%のRTPカバレッジを実現し、性能は同類のzkVMの中で首位に立っています。このシステムはアーキテクチャ、エンジニアリング、ハードウェア、システムレベルでの最適化を実現し、zkVMが研究プロトタイプから生産レベルの基盤に移行することを示しています。

1. アーキテクチャ設計：従来のzkVM（例えばSP1、R0VM）は主に単一GPUの最適化に依存しています。Pico Prismは初めて多サーバー、多GPUクラスターによる並行証明（Cluster-Level zkProving）を実現し、マルチスレッドとシャーディングスケジューリングを通じて、zk証明を分散計算システムに拡張し、並行性と拡張性を大幅に向上させました。

2. エンジニアリング実現：マルチステージ非同期パイプライン（Execution / Recursion / Compression）とクロスレイヤーデータ再利用メカニズム（proof chunkキャッシュとembedding再利用）を構築し、複数のバックエンドの切り替え（KoalaBear、BabyBear、M31）をサポートし、スループット効率を大幅に向上させました。

3. ハードウェア戦略：64×RTX 5090 GPU（約$128K）構成の下で、Pico Prismは6.0--6.9秒の平均証明時間、96.8%のRTPカバレッジを実現し、性能/コスト比は約3.4倍向上し、SP1 Hypercube（160×4090 GPU、10.3秒）よりも優れた性能を示しました。

4. システム進化：イーサリアム財団のRTP指標（>96% sub-10s、<$100Kコスト）を満たす最初のzkVMとして、Pico Prismはzk証明システムが研究プロトタイプからメインネットレベルの生産基盤に移行することを示し、Rollup、DeFi、AI、クロスチェーン検証などのシナリオに対して、より経済的なゼロ知識計算ソリューションを提供します。

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

スマートコントラクトのネイティブ設計には「記憶が欠如している」------過去のデータにアクセスできず、長期的な行動を識別したり、クロスチェーン分析を行ったりすることができません。Brevisが提供する高性能のゼロ知識協処理器（ZK Coprocessor）は、スマートコントラクトにクロスチェーンの過去データアクセスと信頼できる計算能力を提供し、ブロックチェーンのすべての過去の状態、取引、イベントを検証および計算し、データ駆動型DeFi、アクティブ流動性管理、ユーザーインセンティブ、クロスチェーン身分識別などのシナリオに適用されます。

Brevisのワークフローは三つのステップから成ります：

1. データアクセス ：スマートコントラクトがAPIを通じて信頼なしに過去データを読み取ります；

2. 計算実行 ：開発者がSDKを使用してビジネスロジックを定義し、Brevisがオフチェーンで計算し、ZK証明を生成します；

3. 結果検証 ：証明結果がチェーン上に戻され、コントラクトが検証し、後続のロジックを呼び出します。

Brevisは同時にPure-ZKとCoChain（OP）モデルをサポートしています：前者は完全な信頼最小化を実現しますが、コストが高くなります；後者はPoS検証とZKチャレンジメカニズムを通じて、より低コストで検証可能な計算を実現します。検証者はイーサリアム上でステーキングし、結果がZK証明によって挑戦され成功した場合は罰金が科されるため、安全性と効率のバランスを取ります。ZK + PoS + SDKのアーキテクチャの統合を通じて、Brevisは安全性と効率のバランスを取り、拡張可能な信頼できるデータ計算層を構築しています。現在、BrevisはPancakeSwap、Euler、Usual、Lineaなどのプロトコルにサービスを提供しており、すべてのzkCoprocessorの協力はPure-ZKモデルに基づいており、DeFi、報酬配分、チェーン上の身分システムに信頼できるデータ支援を提供し、スマートコントラクトに「記憶と知性」を実現しています。

3.4 Incentra：ZKに基づく「検証可能なインセンティブ配布層」

IncentraはBrevis zkCoprocessorによって駆動される信頼できるインセンティブ配布プラットフォームであり、DeFiプロトコルに安全、透明、検証可能な報酬計算と配布メカニズムを提供します。これはゼロ知識証明を通じてオンチェーンでインセンティブ結果を直接検証し、信頼なし、低コスト、クロスチェーン化されたインセンティブ実行を実現します。システムはZK回路内で報酬計算と検証を完了し、すべてのユーザーが結果を独立して検証できることを保証します；同時にクロスチェーン操作とアクセス制御をサポートし、コンプライアンス、安全な自動化インセンティブ配布を実現します。

Incentraは主に三つのインセンティブモデルをサポートします：

• トークン保有 ：ERC-20の時間加重残高（TWA）に基づいて長期保有報酬を計算します；

• 集中流動性 ：AMM DEXの手数料比率に基づいて流動性報酬を配分し、Gamma、BeefyなどのALMプロトコルに対応します；

• 貸し出しと借り入れ ：残高と債務の平均に基づいて借貸報酬を計算します。

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

3.5 Brevis製品技術スタックの総覧

四、Brevis zkVMの技術指標と性能突破

イーサリアム財団（EF）が提案したL1 zkEVMリアルタイム証明基準（Realtime Proving, RTP）は、zkVMがイーサリアムメインネットの検証路線に入るための業界の合意と入場基準となっています。その核心評価指標には以下が含まれます：

• 遅延要件：P99 ≤ 10秒（イーサリアムの12秒ブロック周期に一致）；

• ハードウェア制約：CAPEX ≤ $100K、消費電力 ≤ 10kW（家庭用/小型サーバールームに適応）；

• セキュリティレベル：≥128ビット（移行期間中は≥100ビット）；

• 証明サイズ：≤300 KiB；

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

2025年10月、Brevisは《Pico Prism --- 99.6% Real-Time Proving for 45M Gas Ethereum Blocks on Consumer Hardware》という報告書を発表し、Pico Prismがイーサリアム財団（EF）のリアルタイムブロック証明（RTP）基準を全面的にクリアした最初のzkVMであることを発表しました。

64×RTX 5090 GPU（約$128K）構成の下で、Pico Prismは45Mガスブロックにおいて平均遅延6.9秒、96.8% <10秒、99.6% <12秒の性能を実現し、Succinct SP1 Hypercube（36Mガス、平均10.3秒、40.9% <10秒）を大幅に上回りました。遅延が71%削減され、ハードウェアコストが半減した条件下で、全体の性能/コスト効率は約3.4倍向上しました。この成果はイーサリアム財団、Vitalik Buterin、およびJustin Drakeから公に認められました。

五、Brevisエコシステムの拡張とアプリケーションの実現

BrevisのZKデータコプロセッサ（zkCoprocessor）は、dAppが効率的に完了できない複雑な計算（例えば、過去の行動、クロスチェーンデータ、集約分析）を処理し、検証可能なゼロ知識証明（ZKP）を生成します。チェーン上ではこの小さな証明を検証するだけで安全に結果を呼び出すことができ、ガス、遅延、信頼コストを大幅に削減します。従来のオラクルと比較して、Brevisが提供するのは「結果」だけでなく、「結果が正しいという数学的保証」です。その主要な応用シナリオは以下のように分類できます。

• インテリジェントDeFi（Intelligent DeFi） ：過去の行動と市場状態に基づいて、インテリジェントなインセンティブと差別化された体験を実現します（PancakeSwap、Uniswap、MetaMaskなど）。

• RWAとステーブルコインの成長（RWA & Stable Token Growth） ：ZK検証を通じて、ステーブルコインとRWAの収益の自動配分を実現します（OpenEden、Usual Money、MetaMask USD）。

• プライバシー去中心化取引（DEX with Dark Pools） ：オフチェーンマッチングとオンチェーン検証のプライバシー取引モデルが近日中に上线されます。

• クロスチェーン相互運用（Cross-chain Interoperability） ：クロスチェーン再ステーキングとRollup--L1相互運用をサポートし、共有セキュリティ層を構築します（Kernel、Celer、0G）。

• パブリックチェーンの冷却起動（Blockchain Bootstrap） ：ZKインセンティブメカニズムを通じて新しいパブリックチェーンエコシステムの冷却起動と成長を支援します（Linea、TAC）。

• 高性能パブリックチェーン（100× Faster L1s） ：リアルタイム証明（RTP）技術を通じてイーサリアムなどのパブリックチェーンの性能向上を推進します（Ethereum、BNB Chain）。

• 検証可能AI（Verifiable AI） ：プライバシー保護と検証可能な推論を融合し、AgentFiとデータ経済に信頼できる計算能力を提供します（Kaito、Trusta）。

Brevis Explorerのデータによると、2025年10月までにBrevisネットワークは1.25億件以上のZK証明を生成し、約9.5万のアドレス、9.6万回のアプリケーションリクエストをカバーし、報酬配分、取引検証、ステーキング証明などのシナリオに広くサービスを提供しています。エコシステムの観点から、プラットフォームは約2.23億ドルのインセンティブを配布し、支援するTVLは28億ドルを超え、関連取引量は10億ドルを突破しました。

現在、Brevisのエコシステムビジネスは主にDeFiインセンティブ配布と流動性最適化の二つの方向に焦点を当てており、計算能力のコア消費はUsual Money、PancakeSwap、Linea Ignition、Incentraの四つのプロジェクトによって提供され、合計で85%以上を占めています。その中で

• Usual Money（46.6M証明） ：大規模なインセンティブ配布における長期的な安定性を示しています；

• PancakeSwap（20.6M） ：Brevisがリアルタイム料金と割引計算において高性能を発揮していることを示しています；

• Linea Ignition（20.4M） ：L2エコシステム活動における高い同時処理能力を検証しています；

• Incentra（15.2%） ：BrevisがSDKツールから標準化されたインセンティブプラットフォームへの進化を示しています。

DeFiインセンティブ分野において、BrevisはIncentraプラットフォームを通じて複数のプロトコルが透明で持続的な報酬配分を実現するのを支援しています：

• Usual Moneyの年間インセンティブ規模は300Mドルを超え、ステーブルコインユーザーとLPに持続的な収益を提供します；

• OpenEdenとBedrockはCPIモデルに基づいて米国債と再ステーキングの収益配分を実現します；

• Euler、Aave、BeraBorrowなどのプロトコルはZK検証を通じて借貸ポジションと報酬計算を行います。

流動性最適化の観点では、PancakeSwap、QuickSwap、THENA、BeefyなどはBrevisの動的料金とALMインセンティブプラグインを採用し、取引割引とクロスチェーン収益の集約を実現しています；Jojo ExchangeとUniswap FoundationはZK検証メカニズムを利用して、より安全な取引インセンティブシステムを構築しています。

クロスチェーンとインフラ層において、Brevisはイーサリアムから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リアルタイム証明システムにフィードバックを与え、技術と応用の双方向のフライホイールを形成することが期待されます。

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

Mo Dong｜共同創設者（Co-founder, Brevis Network）

Dr. Mo DongはBrevis Networkの共同創設者であり、イリノイ大学シャンペーン校（UIUC）でコンピュータサイエンスの博士号を取得しています。彼の研究成果は国際的なトップ学術会議に発表され、Googleなどのテクノロジー企業に採用され、数千回の学術引用を受けています。彼はアルゴリズムゲーム理論とプロトコルメカニズム設計の専門家であり、ゼロ知識計算（ZK）と分散型インセンティブメカニズムの統合を推進し、信頼できる検証可能な計算経済を構築することに専念しています。IOSG Venturesのリスクパートナーとしても、Web3インフラの初期投資に長年関心を持っています。

BrevisチームはUIUC、MIT、UCバークレー出身の暗号学とコンピュータサイエンスの博士によって設立され、コアメンバーはゼロ知識証明シ