Brevis レポート：ZKVM とデータ協力プロセッサの無限信頼計算層

ブレビスは、「再現可能なパフォーマンス」と「ビジネスランダブル」の両端に予備的な堀を築き、ゼロ知識コンピューティングを核とした一般的な検証可能なコンピューティングインフラストラクチャを構築しました。 (あらすじ:イーサリアムは火を消すために「V神はポリゴンを称賛した」で燃やされました:ZKに多く貢献しただけでなく、退屈な金融だけではありません)(背景補足:Vシェンファ長文:GKR暗号化プロトコルはイーサリアムを迅速に証明でき、zk-MLはAI LMを加速しています)ブレビスは「パフォーマンス再現可能」と「ビジネスランダブル」の両端に予備的な堀を築きました:Pico / PrismはL1 RTPトラックの最初の階層にしっかりとランク付けされ、zkCoprocessorは高周波をオンにしました、 再利用可能な商用シナリオ。 「オフチェーンコンピューティング+オンチェーン検証」という検証可能なコンピューティングパラダイムは、ブロックチェーンシステムの一般的なコンピューティングモデルになっています。 これにより、ブロックチェーンアプリケーションは、分散化と信頼性のセキュリティを維持しながら、事実上無制限の計算の自由を得ることができます。 ゼロ知識証明(ZKP)は、このパラダイムの中核的な柱であり、その適用は主にスケーラビリティ、プライバシー、相互運用性、およびデータ整合性の3つの基本的な方向性に焦点を当てています。 その中でも、スケーリングはZKテクノロジーの最も初期のシナリオであり、トランザクションの実行をオフチェーンに移動し、結果をショートプルーフでオンチェーンで検証することで、高いTPSと低コストの信頼できるスケーリングを実現します。 ZK トラステッド コンピューティングの進化は、L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM にまとめることができます。 初期の L2 zkRollup は、実行を 2 番目のレイヤーに移動し、1 階で有効性証明を提出し、最小限の変更で高スループットと低コストのスケーリングを実現します。 その後、zkVMは、クロスチェーン検証、AI推論、および暗号化コンピューティングをサポートする汎用の検証可能なコンピューティングレイヤーに拡張されました(代表的なプロジェクト:Risc Zero、Succinct、Brevis Pico)。 zkCoprocessorはそれと並行して、シナリオベースの検証モジュールとして開発し、DeFi、RWA、リスクコントロールなどのプラグアンドプレイコンピューティングとプルーフサービスを提供しています(代表プロジェクト:Brevis、Axiom)。 2025年には、zkEVMのコンセプトがL1 Realtime Proving(RTP)に拡張され、EVM命令レベルで検証可能な回路が構築され、ゼロ知識証明がEthereumメインネットの実行および検証プロセスに直接統合され、ネイティブの検証可能な実行メカニズムになります。 この文脈は、ブロックチェーンが「スケーラブル」から「検証可能」へと技術的に飛躍したことを反映しており、トラステッド・コンピューティングの新たなステージが開かれています。 1. イーサリアムのzkEVMスケーリングパス:L2 RollupからL1へのリアルタイム証明 イーサリアムのzkEVMスケーリングパスは、2つの段階を経ます: フェーズ1(2022–2024):L2 zkRollupは実行を2番目のレイヤーに移動し、1階で有効性の証明を提出します。 コストを大幅に削減し、スループットを向上させますが、流動性と状態の断片化をもたらすため、L1 は依然として N-of-N 再実行の対象となります。 フェーズ2(2025年〜):L1 Realtime Proving(RTP)は、負荷の高い実行を「1-of-N Proof+ネットワーク全体の軽量検証」に置き換え、分散化を犠牲にすることなくスループットを向上させ、現在も進化を続けています。 L2 zkRollup Phase:2022年の互換性とスケーリングパフォーマンスのバランス Layer2エコシステムの開花期に、イーサリアムの創設者であるVitalik Buterin氏は、ZK-EVM(タイプ1-4)の4つの分類を提案し、互換性とパフォーマンスの構造的なトレードオフを体系的に明らかにしました。 このフレームワークは、その後のzkRollup技術ロードマップのための明確な座標を確立します:タイプ1は完全に同等です:イーサリアムのバイトコードと一致し、移行コストが最も低く、証明が最も遅いです。 太鼓。 Type 2 は完全な互換性があります: 互換性を最大限に高めるために、最小限の低レベルの最適化を行います。 スクロール、リネア。 Type 2.5 Quasi-compatible: パフォーマンスのためのマイナーな変更 (ガス/プリコンパイルなど)。 ポリゴン zkEVM、カカロット。 タイプ3は部分的に互換性があります:大きな変更で、ほとんどのアプリケーションを実行できますが、L1インフラストラクチャを完全に再利用することは困難です。 zkSync時代。 タイプ4言語レベル:バイトコードの互換性を放棄し、高水準言語から回路に直接コンパイルし、最高のパフォーマンスを発揮しますが、エコロジーを再構築する必要があります(代表:Starknet / Cairo)。 現在のL2 zkRollupモデルは成熟しており、実行を第2層に移行し、第1層で有効性証明を提出し、最小限の変更でイーサリアムのエコシステムとツールチェーンを使用することで、主流の拡張と手数料削減のスキームとなっています。 証明オブジェクトはL2ブロックと状態遷移ですが、settlementとセキュリティはまだL1に固定されています。 このアーキテクチャは、スループットと効率を大幅に向上させ、開発者との高い互換性を維持しますが、流動性と状態の断片化ももたらし、L1 は依然として N/N 実行のボトルネックによって制限されます。 L1 zkEVM:リアルタイム証明がイーサリアムの光検証ロジックを再構築 2025年7月、イーサリアム財団は「L1 zkEVM #1の出荷:リアルタイム証明」という記事を発表し、L1 zkEVMルートを正式に提案しました。 L1 zkEVMは、イーサリアムをN-of-N再実行から1-of-N証明+ネットワーク全体の高速検証にアップグレードします:少数の証明者がEVM全体の状態転送に対して短い証明を生成し、すべてのバリデーターは一定時間の検証のみを行います。 分散化を犠牲にすることを前提に、このソリューションはL1リアルタイム証明を実現し、メインネットガスの上限とスループットを安全に改善し、ノードハードウェアのしきい値を大幅に削減します。 そのランディングプランは、従来の実行クライアントをZKクライアントに置き換え、最初に並行して実行し、パフォーマンス、セキュリティ、およびインセンティブメカニズムが成熟した後、徐々にプロトコルレイヤーのニューノーマルになることです。 N of Nの古いパラダイム:すべてのバリデーターは、検証のためにブロック全体のトランザクションを繰り返し実行しますが、これは安全ですが、スループットが制限され、ピーク手数料が高くなります。 N個の新しいパラダイムの1つ:少数の証明者がブロック全体を実行し、短い証明を生成します。 ネットワーク全体が一定時間の検証のみを行います。 検証は再実行よりもはるかに低コストで、L1ガス制限を安全に引き上げ、ハードウェア要件を削減します。 L1 zkEVMロードマップ3つのメインラインリアルタイム証明:12秒のスロット時間でブロック全体の証明を完了し、並列化とハードウェアアクセラレーションによって遅延を圧縮します。 クライアントとプロトコルの統合:標準化された証明検証インターフェース、最初にオプション、次にデフォルト。 インセンティブとセキュリティ:検閲への抵抗とネットワーク活動を強化するために、Prover市場と料金モデルを確立します。 イーサリアムL1インスタントプルーフ(RTP)は、zkVMを使用してブロックトランザクションをオフチェーンで再実行し、暗号証明を生成するため、バリデーターは再計算する必要がなく、1…