著者:JacobZhao 出典:mirror
「オフチェーン計算 + オンチェーン検証」の信頼性計算（Verifiable Computing）パラダイムは、ブロックチェーンシステムの汎用計算モデルとなっています。これにより、ブロックチェーンアプリケーションは、分散化と信頼最小化（trustlessness）の安全性を維持しつつ、ほぼ無限の計算自由度（computational freedom）を得ることができます。ゼロ知識証明（ZKP）は、このパラダイムの中心的な柱であり、その適用は主にスケーラビリティ（Scalability）、プライバシー（Privacy）、および相互運用性とデータ完全性（Interoperability & Data Integrity）の3つの基本的な方向に集中しています。その中で、スケーラビリティは、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スケーリングパスは、2つの段階を経ています:
2022年、Layer2エコシステムが花盛りの段階で、イーサリアムの創設者ヴィタリック・ブテリンはZK-EVMの4つのタイプ（タイプ1～4）を提案し、互換性（compatibility）とパフォーマンス（performance）との間の構造的トレードオフを体系的に明らかにしました。このフレームワークは、その後のzkRollup技術路線に明確な座標を確立しました。
現在のL2 zkRollupモードは成熟してきました：実行を第2層に移行し、第1層に有効性証明（Validity Proof）を提出することで、最小限の変更でイーサリアムエコシステムとツールチェーンを引き続き使用し、主流のスケーリングおよびコスト削減ソリューションとなっています。その証明対象はL2ブロックと状態遷移であり、決済とセキュリティは依然としてL1に依存しています。このアーキテクチャはスループットと効率を大幅に向上させ、開発者に対して高い互換性を維持しますが、流動性と状態の断片化をもたらし、L1は依然としてN-of-Nの再実行ボトルネックに制約されています。
2025年7月、イーサリアム財団は記事「Shipping an L1 zkEVM #1: Realtime Proving」を発表し、正式にL1 zkEVMルートを提案しました。L1 zkEVMは、イーサリアムをN-of-Nの再実行から1-of-Nの証明+全ネットワークの迅速な検証にアップグレードします：少数のプロバーが全体のEVM状態遷移に対して短い証明を生成し、すべての検証者は定数時間の検証を行います。この方案は、分散化を犠牲にせずにL1レベルのリアルタイム証明（Realtime Proving）を実現し、メインネットのガス上限とスループットを安全に向上させ、ノードのハードウェアのハードルを大幅に下げます。その導入計画は、従来の実行クライアントに代わってzkクライアントを使用し、先行して並行運用し、性能、安全性、インセンティブメカニズムが成熟した後、徐々にプロトコル層の新たな常態となることです。
L1 zkEVM ロードマップの3つの主要ライン
イーサリアム L1 リアルタイム証明（RTP）は、zkVMを使用してオフチェーンでブロック全体のトランザクションを再実行し、暗号証明を生成することで、検証者が再計算することなく、10秒以内に小型証明を検証できるようにします。これにより「検証で実行を代替」し、イーサリアムのスケーラビリティと非信任検証効率を大幅に向上させます。イーサリアム財団の公式zkEVMトラッカーページによると、現在L1 zkEVMリアルタイム証明ルートに参加している主要なチームには、SP1 Turbo（Succinct Labs）、Pico（Brevis）、Risc Zero、ZisK、Airbender（zkSync）、OpenVM(Axiom、Jolt(a16z)が含まれます。
そして、イーサリアムのエコシステムの外では、ゼロ知識証明（ZKP）技術はより広範な汎用検証計算（Verifiable Computing）分野にも広がり、zkVMとzkCoprocessorを中心とした2つの技術体系を形成しています。
任意のプログラムに向けた検証可能な実行エンジンで、一般的な命令セットアーキテクチャには RISC-V、MIPS、および WASM が含まれます。開発者はビジネスロジックを zkVM にコンパイルでき、プローバーがオフチェーンで実行し、オンチェーンで検証可能なゼロ知識証明（ZKP）を生成します。これは、Ethereum L1 のブロック証明に使用できるだけでなく、クロスチェーン検証、AI 推論、暗号計算、複雑なアルゴリズムなどのシナリオにも適用できます。その利点は汎用性と適応範囲の広さですが、回路が複雑で証明コストが高く、多くの GPU の並列処理と強力なエンジニアリング最適化に依存する必要があります。代表的なプロジェクトには Risc Zero、Succinct SP1、Brevis Pico / Prism が含まれます。
特定のビジネスシナリオに向けて「プラグアンドプレイ」の計算および証明サービスを提供します。プラットフォームはデータアクセスと回路ロジック（例えば、歴史的チェーンデータの読み取り、TVL、収益の清算、身分確認など）をプレセットしており、アプリケーション側はSDK / APIを通じて計算結果と証明をチェーン上で消費することができます。このモデルは習得が早く、性能が優れ、コストが低いですが、汎用性は限られています。典型的なプロジェクトにはBrevis zkCoprocessor、Axiomなどがあります。
全体的に、zkVMとzkCoprocessorは「オフチェーン計算 + オンチェーン検証」の信頼できる計算パラダイムに従い、ゼロ知識証明を通じてオフチェーンの結果をオンチェーンで検証します。その経済論理は、オンチェーンで直接実行するコストがオフチェーンの証明生成およびオンチェーン検証の総コストよりもはるかに高いという前提に基づいています。
汎用性とエンジニアリングの複雑さにおいて、両者の重要な違いは次の通りです：
ビジネスパスにおけるzkVMとzkCoprocessorの違いは次のとおりです：
全体的に、zkVMは検証可能な計算の基盤エンジンであり、zkCoprocessorはアプリケーション層の検証モジュールです：前者は技術的な防壁を構築し、後者は商業化の実現を推進し、共に汎用の信頼できる計算ネットワークを形成します。
イーサリアムのL1 Realtime Provingを皮切りに、ZKテクノロジーは、汎用のzkVMとzkCoprocessorのアーキテクチャを核とした検証可能なコンピューティングの時代へと徐々に移行しています。 ( すべてのための無限の計算レイヤー.)*
2024年Vitalikは『Glue and Coprocessor Architectures』において「**汎用実行層 + 協処理器加速層」（glue & coprocessor）**アーキテクチャを提案しました。複雑な計算は汎用的なビジネスロジックと構造化された集中的計算に分割でき、前者は柔軟性（EVM、Python、RISC-Vなど）を追求し、後者は効率（GPU、ASIC、ハッシュモジュールなど）を追求します。このアーキテクチャは、ブロックチェーン、AI、および暗号計算の共通のトレンドとなりつつあります：EVMはprecompileによってスピードアップし、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を通じて実行、再帰および圧縮段階のデカップリングと拡張を実現し、多様なバックエンドの切り替えおよびコプロセッサの統合をサポートし、性能と拡張性において差別化された優位性を形成します。
Pico Prismは、BrevisのマルチサーバーGPUアーキテクチャにおける重要なブレークスルーであり、イーサリアム財団の「リアルタイム証明（Real-Time Proving, RTP）」フレームワークの下で新記録を樹立しました。64×5090 GPUクラスター上で6.9秒の平均証明時間と96.8％のRTPカバレッジを実現し、同類のzkVMの中で性能がトップに立っています。このシステムは、アーキテクチャ、エンジニアリング、ハードウェア、およびシステムレベルで最適化が実現されており、zkVMが研究プロトタイプから生産レベルのインフラストラクチャへと進化していることを示しています。
スマートコントラクトのネイティブデザインにおける「記憶の欠如」——過去のデータにアクセスできず、長期的な行動を認識したり、クロスチェーン分析を行ったりできません。Brevisが提供する高性能のゼロ知識コプロセッサ（ZK Coprocessor）は、スマートコントラクトにクロスチェーンの履歴データアクセスと信頼できる計算能力を提供し、ブロックチェーンのすべての歴史的状態、取引、イベントを検証および計算します。これにより、データ駆動型DeFi、アクティブ流動性管理、ユーザーインセンティブ、クロスチェーンアイデンティティ認識などのシナリオに適用されます。
Brevisのワークフローは3つのステップで構成されています：
結果検証：証明結果はチェーン上に返され、契約によって検証され、その後のロジックが呼び出されます。
Brevisは、Pure-ZKとCoChain（OP）モデルの両方をサポートしています：前者は完全な信頼最小化を実現しますが、コストが高くなります；後者はPoS検証とZKチャレンジメカニズムを通じて、より低コストで検証可能な計算を実現します。バリデーターはイーサリアムにステークを行い、結果がZK証明によってチャレンジに成功した場合、罰金が科せられ、安全性と効率のバランスを取ります。ZK + PoS + SDKのアーキテクチャ統合を通じて、Brevisは安全性と効率の間でバランスを取り、スケーラブルな信頼できるデータ計算層を構築します。現在、BrevisはPancakeSwap、Euler、Usual、Lineaなどのプロトコルにサービスを提供しており、すべてのzkCoprocessorの協力は**Pure-ZKモデルに基づいており、**DeFi、報酬分配、オンチェーンアイデンティティシステムに信頼できるデータサポートを提供し、スマートコントラクトに「記憶と知性」を実際に持たせています。
Incentraは、Brevis zkCoprocessorによって駆動される信頼できるインセンティブ配信プラットフォームであり、DeFiプロトコルに安全、透明、検証可能な報酬計算と配布メカニズムを提供します。ゼロ知識証明を通じて、チェーン上で直接インセンティブの結果を検証し、信頼不要、低コスト、クロスチェーン化のインセンティブ実行を実現します。システムはZK回路内で報酬計算と検証を完了し、任意のユーザーが独立して結果を検証できることを保証します。同時に、クロスチェーン操作とアクセス制御をサポートし、コンプライアンス、安全な自動化インセンティブ配信を実現します。
Incentraは主に3種類のインセンティブモデルをサポートしています：
*トークン保有:長期保有報酬は、ERC-20時間加重バランス(TWA)に基づいて計算されます。
このシステムは、PancakeSwap、Euler、Usual、Lineaなどのプロジェクトに適用されており、インセンティブ計算から配布までの完全な信頼できるクローズドループを実現し、DeFiプロトコルにZKレベルの検証可能なインセンティブインフラを提供しています。
イーサリアム財団（EF）が提案したL1 zkEVMリアルタイム証明基準（Realtime Proving, RTP）は、zkVMがイーサリアムメインネットでの検証ルートに入るための業界の合意と入場基準となりました。その核心評価指標には以下が含まれます：
システム要件：信頼できる設定に依存してはいけません、コアコードは完全にオープンソースである必要があります。
2025年10月、Brevisは、Pico Prism - 99.6% Real-Time Proving for 45M Gas Ethereum Blocks on Consumer Hardwareのリリースにより、同社のPico PrismがEthereum Foundation(EF)のReal-Time Proof-of-Block(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× になります。 この作品は、イーサリアム財団、ヴィタリック・ブテリン、ジャスティン・ドレイクによって公に認められています。
BrevisのZKデータコプロセッサ(zkCoprocessor)は、dAppが効率的に完了できない複雑な計算（履歴行動、クロスチェーンデータ、集約分析など）を処理し、検証可能なゼロ知識証明（ZKP）を生成します。チェーン上ではこの小さな証明を検証するだけで安全に結果を呼び出すことができ、Gas、遅延、信頼コストを大幅に削減します。従来のオラクルと比較して、Brevisが提供するのは「結果」だけでなく、「結果が正しいという数学的保証」です。その主な適用シーンは以下のように分類できます。
検証可能なAI:プライバシー保護と検証可能な推論を統合して、AgentFiとデータエコノミー(Kaito、Trusta)に信頼できるコンピューティングパワーを提供します
Brevis Explorer のデータによると、2025 年 10 月時点で、Brevis ネットワークは 1.25 億件以上の ZK 証明を生成し、約 9.5 万のアドレスと 9.6 万件のアプリケーションリクエストをカバーしており、報酬の配布、取引の検証、ステーキング証明などのシーンで広くサービスを提供しています。エコシステムの観点から、プラットフォームは累計で約 2.23 億ドルのインセンティブを配布しており、サポートされている TVL は 28 億ドルを超えており、関連取引量は累計で 10 億ドルを突破しています。
現在のBrevisのエコシステムビジネスは、主にDeFiインセンティブの分配と流動性の最適化という2つの方向に焦点を当てています。算力の核心消費は、Usual Money、PancakeSwap、Linea Ignition、Incentraの4つのプロジェクトによって貢献されており、合計で85％を超えています。その中で
DeFiインセンティブ分野において、BrevisはIncentraプラットフォームを基盤にして複数のプロトコルが透明で継続的な報酬分配を実現します：
流動性最適化の面では、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 Data Coprocessorを利用してプライバシー保護型のポイント、影響力スコア、および報酬システムを構築し、Web3データのインテリジェンス化を推進しています。システムの基盤では、BrevisはEigenLayer AVSネットワークに依存して再担保の安全保障を提供し、NEBRA Aggregated Proof（UPA）技術と組み合わせて複数のZK証明を単一の提出に圧縮し、オンチェーン検証のコストと遅延を大幅に削減しています。
全体的に見て、Brevisは長期インセンティブ、イベント報酬、取引検証からプラットフォームサービスまでの全周期アプリケーションシーンをカバーしています。その高頻度検証タスクと再利用可能な回路テンプレートは、Pico/Prismに実際のパフォーマンスストレスと最適化フィードバックを提供し、エンジニアリングとエコシステムの観点からL1 zkVMのリアルタイム証明システムに還元し、技術とアプリケーションの双方向フライホイールを形成することが期待されています。
モ・ドン｜共同創設者（ブレビスネットワーク）
ドクター・モ・ドンはBrevis Networkの共同創設者であり、イリノイ大学シャンペーン校（UIUC）でコンピュータサイエンスの博士号を取得しています。彼の研究成果は国際的なトップ学術会議に発表され、Googleなどのテクノロジー企業に採用され、数千回の学術引用を受けています。彼はアルゴリズムゲーム理論とプロトコルメカニズム設計の分野の専門家であり、ゼロ知識計算（ZK）と分散型インセンティブメカニズムの統合を推進することに注力し、信頼できるVerifiable Compute Economyの構築に取り組んでいます。IOSG Venturesのリスクパートナーとしても、Web3インフラの初期投資に長期的に注目しています。
Brevisチームは、UIUC、MIT、UCバークレー出身の暗号学とコンピュータサイエンスの博士によって設立され、核心メンバーはゼロ知識証明システム（ZKP）と分散システムの分野で多年の研究経験を持ち、複数の査読論文を発表しています。Brevisは、イーサリアム財団（Ethereum Foundation）から技術的な認識を受け、そのコアモジュールは重要なオンチェーンのスケーラビリティインフラストラクチャと見なされています。
Brevisは2024年11月に750万ドルのシードラウンドを完了し、Polychain CapitalとBinance Labsが共同で主導し、IOSG Ventures、Nomad Capital、HashKey、Bankless Ventures、Kyber、Babylon、Uniswap、Arbitrum、AltLayerが参加しました 戦略的なエンジェル投資家。
現在、Ethereum財団がサポートするETHProofs.orgは、L1 zkEVMのリアルタイム証明（Realtime Proving, RTP）ルートの中心的な追跡プラットフォームとなり、各zkVMのパフォーマンス、安全性、メインネット適応の進捗を公開展示するためのものです。
総合的に見ると、RTPトラックの競争は4つのコア次元に焦点を当てています：
最新のデータによると、現在RTPトラックは「二強体制」が形成されています。
2025年、zkVMのトラックはRISC-Vに基づく統一、モジュール化の進化、再帰的標準化、ハードウェア加速並列の技術構造を形成した。zkVMの汎用検証可能計算層（Verifiable Compute Layer）は3つのカテゴリに分けることができる：
zkVM 競合プロジェクトの比較（2025年10月現在）
現在、zk-Coprocessorの分野では、Brevis、Axiom、Herodotus、Lagrangeを代表とする構図が形成されています。中でもBrevisは「ZKデータコプロセッサ + 汎用zkVM」統合アーキテクチャで先行し、歴史データの読み取り、プログラム可能な計算、L1 RTP能力を兼ね備えています。Axiomは検証可能なクエリと回路コールバックに焦点を当て、Herodotusは歴史的状態アクセスに特化し、LagrangeはZK+Optimisticハイブリッドアーキテクチャでクロスチェーン計算性能を最適化しています。全体として、zk-Coprocessorは「検証可能サービス層」としてDeFi、RWA、AI、アイデンティティなどのアプリケーションを接続する信頼できる計算インターフェースとなっています。
ビジネスロジック：パフォーマンス駆動型および二層のフライwheelBrevisは「汎用zkVM（Pico/Prism）」と「データ協処理装置（zkCoprocessor）」を用いてマルチチェーンの信頼できる計算層を構築します：前者は任意の計算の検証可能な問題を解決し、後者は履歴およびクロスチェーンデータのビジネスの実現を実現します。その成長ロジックは「パフォーマンス—エコシステム—コスト」の正の循環を形成します：Pico PrismのRTPパフォーマンスは主要なプロトコルの統合を引き付け、証明規模の成長と単一コストの低下をもたらし、持続的に強化される二層のフライwheelを形成します。競争優位性は主に三点にあります：
エンジニアリングの実現："重実行"から"検証による実行"へ
BrevisはPico zkVMとPrism並列フレームワークを通じて、45M gasブロックで平均6.9秒、P99 < 10秒（64×5090 GPU、<$130 K CAPEX）を実現しており、性能とコストの両方で先進的です。zkCoprocessorモジュールは、履歴データの読み込み、回路生成、およびチェーン検証をサポートしており、Pure-ZKとHybridモードの間で柔軟に切り替えることができ、全体的な性能は基本的にイーサリアムRTPハードスタンダードに揃っています。
潜在リスクと注目ポイント
総合的に見ると、Brevisは「性能の再現性」と「ビジネスの実現可能性」の2つの側面で初歩的な競争優位を築いています：Pico/PrismはL1 RTPトラックの第一梯隊にしっかりと位置しており、zkCoprocessorは高頻度かつ再利用可能な商業シーンを開いています。今後は、Ethereum財団のRTP全量ハード指標の達成を段階的な目標とし、協処理器製品の標準化とエコシステムの拡大を継続的に強化し、同時に第三者の再現、安全監査、コストの透明性を進めることをお勧めします。インフラとSaaS収入の間で構造的なバランスを実現し、持続可能な商業成長のクローズドループを形成します。
4.62K 人気度
26.78K 人気度
4.2K 人気度
4.23K 人気度
30.64K 人気度
Brevisレポート：ZKVMとデータ協調プロセッサの無限信頼計算層
著者:JacobZhao 出典:mirror
「オフチェーン計算 + オンチェーン検証」の信頼性計算（Verifiable Computing）パラダイムは、ブロックチェーンシステムの汎用計算モデルとなっています。これにより、ブロックチェーンアプリケーションは、分散化と信頼最小化（trustlessness）の安全性を維持しつつ、ほぼ無限の計算自由度（computational freedom）を得ることができます。ゼロ知識証明（ZKP）は、このパラダイムの中心的な柱であり、その適用は主にスケーラビリティ（Scalability）、プライバシー（Privacy）、および相互運用性とデータ完全性（Interoperability & Data Integrity）の3つの基本的な方向に集中しています。その中で、スケーラビリティは、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ロールアップからL1リアルタイム証明へ
イーサリアムのzkEVMスケーリングパスは、2つの段階を経ています:
L2 zkRollup フェーズ：互換性と拡張性のバランス
2022年、Layer2エコシステムが花盛りの段階で、イーサリアムの創設者ヴィタリック・ブテリンはZK-EVMの4つのタイプ（タイプ1～4）を提案し、互換性（compatibility）とパフォーマンス（performance）との間の構造的トレードオフを体系的に明らかにしました。このフレームワークは、その後のzkRollup技術路線に明確な座標を確立しました。
!
現在の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クライアントを使用し、先行して並行運用し、性能、安全性、インセンティブメカニズムが成熟した後、徐々にプロトコル層の新たな常態となることです。
!
L1 zkEVM ロードマップの3つの主要ライン
イーサリアム L1 リアルタイム証明（RTP）は、zkVMを使用してオフチェーンでブロック全体のトランザクションを再実行し、暗号証明を生成することで、検証者が再計算することなく、10秒以内に小型証明を検証できるようにします。これにより「検証で実行を代替」し、イーサリアムのスケーラビリティと非信任検証効率を大幅に向上させます。イーサリアム財団の公式zkEVMトラッカーページによると、現在L1 zkEVMリアルタイム証明ルートに参加している主要なチームには、SP1 Turbo（Succinct Labs）、Pico（Brevis）、Risc Zero、ZisK、Airbender（zkSync）、OpenVM(Axiom、Jolt(a16z)が含まれます。
二、イーサリアムを超えて：汎用zkVMとzkコプロセッサ
そして、イーサリアムのエコシステムの外では、ゼロ知識証明（ZKP）技術はより広範な汎用検証計算（Verifiable Computing）分野にも広がり、zkVMとzkCoprocessorを中心とした2つの技術体系を形成しています。
zkVM: 汎用の検証可能なコンピューティング レイヤー
任意のプログラムに向けた検証可能な実行エンジンで、一般的な命令セットアーキテクチャには RISC-V、MIPS、および WASM が含まれます。開発者はビジネスロジックを zkVM にコンパイルでき、プローバーがオフチェーンで実行し、オンチェーンで検証可能なゼロ知識証明（ZKP）を生成します。これは、Ethereum L1 のブロック証明に使用できるだけでなく、クロスチェーン検証、AI 推論、暗号計算、複雑なアルゴリズムなどのシナリオにも適用できます。その利点は汎用性と適応範囲の広さですが、回路が複雑で証明コストが高く、多くの GPU の並列処理と強力なエンジニアリング最適化に依存する必要があります。代表的なプロジェクトには Risc Zero、Succinct SP1、Brevis Pico / Prism が含まれます。
zkCoprocessor: シナリオベースの検証可能なモジュール
特定のビジネスシナリオに向けて「プラグアンドプレイ」の計算および証明サービスを提供します。プラットフォームはデータアクセスと回路ロジック（例えば、歴史的チェーンデータの読み取り、TVL、収益の清算、身分確認など）をプレセットしており、アプリケーション側はSDK / APIを通じて計算結果と証明をチェーン上で消費することができます。このモデルは習得が早く、性能が優れ、コストが低いですが、汎用性は限られています。典型的なプロジェクトにはBrevis zkCoprocessor、Axiomなどがあります。
全体的に、zkVMとzkCoprocessorは「オフチェーン計算 + オンチェーン検証」の信頼できる計算パラダイムに従い、ゼロ知識証明を通じてオフチェーンの結果をオンチェーンで検証します。その経済論理は、オンチェーンで直接実行するコストがオフチェーンの証明生成およびオンチェーン検証の総コストよりもはるかに高いという前提に基づいています。
汎用性とエンジニアリングの複雑さにおいて、両者の重要な違いは次の通りです：
ビジネスパスにおけるzkVMとzkCoprocessorの違いは次のとおりです：
全体的に、zkVMは検証可能な計算の基盤エンジンであり、zkCoprocessorはアプリケーション層の検証モジュールです：前者は技術的な防壁を構築し、後者は商業化の実現を推進し、共に汎用の信頼できる計算ネットワークを形成します。
!
三、Brevisの製品マップと技術パス
イーサリアムのL1 Realtime Provingを皮切りに、ZKテクノロジーは、汎用のzkVMとzkCoprocessorのアーキテクチャを核とした検証可能なコンピューティングの時代へと徐々に移行しています。 ( すべてのための無限の計算レイヤー.)*
3.1 Pico zkVM: ユニバーサル検証可能なコンピューティングのためのモジュール式プルーフアーキテクチャ
2024年Vitalikは『Glue and Coprocessor Architectures』において「**汎用実行層 + 協処理器加速層」（glue & coprocessor）**アーキテクチャを提案しました。複雑な計算は汎用的なビジネスロジックと構造化された集中的計算に分割でき、前者は柔軟性（EVM、Python、RISC-Vなど）を追求し、後者は効率（GPU、ASIC、ハッシュモジュールなど）を追求します。このアーキテクチャは、ブロックチェーン、AI、および暗号計算の共通のトレンドとなりつつあります：EVMはprecompileによってスピードアップし、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が研究プロトタイプから生産レベルのインフラストラクチャへと進化していることを示しています。
3.3 ZKデータコプロセッサ：ブロックチェーンデータインテリジェントゼロ知識協処理層
スマートコントラクトのネイティブデザインにおける「記憶の欠如」——過去のデータにアクセスできず、長期的な行動を認識したり、クロスチェーン分析を行ったりできません。Brevisが提供する高性能のゼロ知識コプロセッサ（ZK Coprocessor）は、スマートコントラクトにクロスチェーンの履歴データアクセスと信頼できる計算能力を提供し、ブロックチェーンのすべての歴史的状態、取引、イベントを検証および計算します。これにより、データ駆動型DeFi、アクティブ流動性管理、ユーザーインセンティブ、クロスチェーンアイデンティティ認識などのシナリオに適用されます。
Brevisのワークフローは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は主に3種類のインセンティブモデルをサポートしています：
*トークン保有:長期保有報酬は、ERC-20時間加重バランス(TWA)に基づいて計算されます。
このシステムは、PancakeSwap、Euler、Usual、Lineaなどのプロジェクトに適用されており、インセンティブ計算から配布までの完全な信頼できるクローズドループを実現し、DeFiプロトコルにZKレベルの検証可能なインセンティブインフラを提供しています。
3.5 Brevis製品技術スタックの概要
!
第四に、Brevis zkVMの技術指標とパフォーマンスのブレークスルー
イーサリアム財団（EF）が提案したL1 zkEVMリアルタイム証明基準（Realtime Proving, RTP）は、zkVMがイーサリアムメインネットでの検証ルートに入るための業界の合意と入場基準となりました。その核心評価指標には以下が含まれます：
システム要件：信頼できる設定に依存してはいけません、コアコードは完全にオープンソースである必要があります。
!
2025年10月、Brevisは、Pico Prism - 99.6% Real-Time Proving for 45M Gas Ethereum Blocks on Consumer Hardwareのリリースにより、同社のPico PrismがEthereum Foundation(EF)のReal-Time Proof-of-Block(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× になります。 この作品は、イーサリアム財団、ヴィタリック・ブテリン、ジャスティン・ドレイクによって公に認められています。
!
五、Brevisエコシステムの拡張とアプリケーションの実装
BrevisのZKデータコプロセッサ(zkCoprocessor)は、dAppが効率的に完了できない複雑な計算（履歴行動、クロスチェーンデータ、集約分析など）を処理し、検証可能なゼロ知識証明（ZKP）を生成します。チェーン上ではこの小さな証明を検証するだけで安全に結果を呼び出すことができ、Gas、遅延、信頼コストを大幅に削減します。従来のオラクルと比較して、Brevisが提供するのは「結果」だけでなく、「結果が正しいという数学的保証」です。その主な適用シーンは以下のように分類できます。
検証可能なAI:プライバシー保護と検証可能な推論を統合して、AgentFiとデータエコノミー(Kaito、Trusta)に信頼できるコンピューティングパワーを提供します
!
Brevis Explorer のデータによると、2025 年 10 月時点で、Brevis ネットワークは 1.25 億件以上の ZK 証明を生成し、約 9.5 万のアドレスと 9.6 万件のアプリケーションリクエストをカバーしており、報酬の配布、取引の検証、ステーキング証明などのシーンで広くサービスを提供しています。エコシステムの観点から、プラットフォームは累計で約 2.23 億ドルのインセンティブを配布しており、サポートされている TVL は 28 億ドルを超えており、関連取引量は累計で 10 億ドルを突破しています。
現在のBrevisのエコシステムビジネスは、主にDeFiインセンティブの分配と流動性の最適化という2つの方向に焦点を当てています。算力の核心消費は、Usual Money、PancakeSwap、Linea Ignition、Incentraの4つのプロジェクトによって貢献されており、合計で85％を超えています。その中で
!
DeFiインセンティブ分野において、BrevisはIncentraプラットフォームを基盤にして複数のプロトコルが透明で継続的な報酬分配を実現します：
流動性最適化の面では、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 Data Coprocessorを利用してプライバシー保護型のポイント、影響力スコア、および報酬システムを構築し、Web3データのインテリジェンス化を推進しています。システムの基盤では、BrevisはEigenLayer AVSネットワークに依存して再担保の安全保障を提供し、NEBRA Aggregated Proof（UPA）技術と組み合わせて複数のZK証明を単一の提出に圧縮し、オンチェーン検証のコストと遅延を大幅に削減しています。
全体的に見て、Brevisは長期インセンティブ、イベント報酬、取引検証からプラットフォームサービスまでの全周期アプリケーションシーンをカバーしています。その高頻度検証タスクと再利用可能な回路テンプレートは、Pico/Prismに実際のパフォーマンスストレスと最適化フィードバックを提供し、エンジニアリングとエコシステムの観点からL1 zkVMのリアルタイム証明システムに還元し、技術とアプリケーションの双方向フライホイールを形成することが期待されています。
六、チームの背景とプロジェクトの資金調達
モ・ドン｜共同創設者（ブレビスネットワーク）
ドクター・モ・ドンはBrevis Networkの共同創設者であり、イリノイ大学シャンペーン校（UIUC）でコンピュータサイエンスの博士号を取得しています。彼の研究成果は国際的なトップ学術会議に発表され、Googleなどのテクノロジー企業に採用され、数千回の学術引用を受けています。彼はアルゴリズムゲーム理論とプロトコルメカニズム設計の分野の専門家であり、ゼロ知識計算（ZK）と分散型インセンティブメカニズムの統合を推進することに注力し、信頼できるVerifiable Compute Economyの構築に取り組んでいます。IOSG Venturesのリスクパートナーとしても、Web3インフラの初期投資に長期的に注目しています。
Brevisチームは、UIUC、MIT、UCバークレー出身の暗号学とコンピュータサイエンスの博士によって設立され、核心メンバーはゼロ知識証明システム（ZKP）と分散システムの分野で多年の研究経験を持ち、複数の査読論文を発表しています。Brevisは、イーサリアム財団（Ethereum Foundation）から技術的な認識を受け、そのコアモジュールは重要なオンチェーンのスケーラビリティインフラストラクチャと見なされています。
!
Brevisは2024年11月に750万ドルのシードラウンドを完了し、Polychain CapitalとBinance Labsが共同で主導し、IOSG Ventures、Nomad Capital、HashKey、Bankless Ventures、Kyber、Babylon、Uniswap、Arbitrum、AltLayerが参加しました 戦略的なエンジェル投資家。
7、ZKVMとZKコプロセッサ市場競合分析
現在、Ethereum財団がサポートするETHProofs.orgは、L1 zkEVMのリアルタイム証明（Realtime Proving, RTP）ルートの中心的な追跡プラットフォームとなり、各zkVMのパフォーマンス、安全性、メインネット適応の進捗を公開展示するためのものです。
!
総合的に見ると、RTPトラックの競争は4つのコア次元に焦点を当てています：
最新のデータによると、現在RTPトラックは「二強体制」が形成されています。
2025年、zkVMのトラックはRISC-Vに基づく統一、モジュール化の進化、再帰的標準化、ハードウェア加速並列の技術構造を形成した。zkVMの汎用検証可能計算層（Verifiable Compute Layer）は3つのカテゴリに分けることができる：
zkVM 競合プロジェクトの比較（2025年10月現在）
!
現在、zk-Coprocessorの分野では、Brevis、Axiom、Herodotus、Lagrangeを代表とする構図が形成されています。中でもBrevisは「ZKデータコプロセッサ + 汎用zkVM」統合アーキテクチャで先行し、歴史データの読み取り、プログラム可能な計算、L1 RTP能力を兼ね備えています。Axiomは検証可能なクエリと回路コールバックに焦点を当て、Herodotusは歴史的状態アクセスに特化し、LagrangeはZK+Optimisticハイブリッドアーキテクチャでクロスチェーン計算性能を最適化しています。全体として、zk-Coprocessorは「検証可能サービス層」としてDeFi、RWA、AI、アイデンティティなどのアプリケーションを接続する信頼できる計算インターフェースとなっています。
!
八、まとめ：ビジネスロジック、エンジニアリングの実現及び潜在的リスク
ビジネスロジック：パフォーマンス駆動型および二層のフライwheelBrevisは「汎用zkVM（Pico/Prism）」と「データ協処理装置（zkCoprocessor）」を用いてマルチチェーンの信頼できる計算層を構築します：前者は任意の計算の検証可能な問題を解決し、後者は履歴およびクロスチェーンデータのビジネスの実現を実現します。その成長ロジックは「パフォーマンス—エコシステム—コスト」の正の循環を形成します：Pico PrismのRTPパフォーマンスは主要なプロトコルの統合を引き付け、証明規模の成長と単一コストの低下をもたらし、持続的に強化される二層のフライwheelを形成します。競争優位性は主に三点にあります：
エンジニアリングの実現："重実行"から"検証による実行"へ
BrevisはPico zkVMとPrism並列フレームワークを通じて、45M gasブロックで平均6.9秒、P99 < 10秒（64×5090 GPU、<$130 K CAPEX）を実現しており、性能とコストの両方で先進的です。zkCoprocessorモジュールは、履歴データの読み込み、回路生成、およびチェーン検証をサポートしており、Pure-ZKとHybridモードの間で柔軟に切り替えることができ、全体的な性能は基本的にイーサリアムRTPハードスタンダードに揃っています。
潜在リスクと注目ポイント
総合的に見ると、Brevisは「性能の再現性」と「ビジネスの実現可能性」の2つの側面で初歩的な競争優位を築いています：Pico/PrismはL1 RTPトラックの第一梯隊にしっかりと位置しており、zkCoprocessorは高頻度かつ再利用可能な商業シーンを開いています。今後は、Ethereum財団のRTP全量ハード指標の達成を段階的な目標とし、協処理器製品の標準化とエコシステムの拡大を継続的に強化し、同時に第三者の再現、安全監査、コストの透明性を進めることをお勧めします。インフラとSaaS収入の間で構造的なバランスを実現し、持続可能な商業成長のクローズドループを形成します。