BrevisがProverNetホワイトペーパーを公開：初の分散型ゼロ知識証明生成マーケットプレイス

Source: Brevis

Brevisは本日、ProverNetホワイトペーパーを公開しました。これは、メインストリームのマルチチェーンプロトコル本番環境での実地試験から導き出された、分散型ゼロ知識証明生成マーケットプレイスのアーキテクチャを紹介するものです。このシステムは、既存の証明インフラストラクチャにおける核心的な制限、つまり異なるハードウェア、証明システム、最適化手法を必要とする異種コンピューティングワークロードに効果的に対応できないという課題に対処します。

ProverNetは、証明生成を双方向市場と見なしており、アプリケーションが特定の要求を提出し、専門の証明者がそれらを満たすために応札します。この市場は、Truthful Online Double Auction（TODA）メカニズムを通じて運営され、複数の証明タイプを同時に処理しながら、誠実な応札と最適なリソース配分を確保するように設計されています。ProverNetは2025年末までのローンチを予定しています。

本番規模で明らかになったインフラの限界

Brevisの現在のインフラストラクチャは、PancakeSwap、Uniswap、Euler、Linea、MetaMaskなどのプロトコルにまたがり、98,000人のユーザーに対して1億2,400万件以上の証明を生成し、2億2,400万ドルのトラストレスな報酬分配を促進してきました。これらの展開により、証明作業の多様性が顕著になり、単一のプロバイダーアーキテクチャですべてを効果的に提供することが困難であることが明らかになりました。

PancakeSwapのVIP手数料割引システムでは、各取引の前に個々のトレーダーに対してサブ秒単位の証明を生成し、資格を確認する必要があります。Eulerのインセンティブ分配は4時間ごとに10万件のアドレスを処理し、レイテンシよりもスループットを優先します。Lineaのエコシステム活動では、61,902件のアドレスを含むマルチプロトコル報酬計算のために1,210万件の証明が生成されました。各ワークロードには、異なるハードウェア構成、証明システム（SNARKs対STARKs）、およびパフォーマンス特性が必要です。

BrevisのCEO兼共同創設者であるMichael氏は次のように述べています。「既存の証明システムは、特定のRollup、単一の仮想マシン、または均質なワークロードタイプなど、特定のユースケース向けに最適化されています。ProverNetの着想は、アプリケーションが根本的に異なる証明アプローチを必要としているという私たちの観察から生まれました。専門の証明者が競争する市場は、単一のオペレーターがすべてのユースケースに対応しようとするよりも効率的です。」

市場アーキテクチャとTODAメカニズム

ProverNetのアーキテクチャは、異なる証明タイプをオークションにおける異なる商品として扱います。アプリケーションは、処理タイプ（zkVM実行、データ証明、再帰的集約）、期限、最大手数料、品質パラメータを含む証明要件を指定します。TODAメカニズムは毎ラウンドで最適な配分を計算し、異種混合の要求を適切な証明能力とマッチングさせます。

このメカニズムは、証明生成市場のユニークな課題に対処します。従来のオークションメカニズムは均質な商品を前提としていますが、TODAは複数の証明タイプを同時に処理できます。複雑な証明タスクはサブタスクに分解され、異なる証明者によって共同で実行されます。

例えば、zkVM証明には、ある証明者でのチャンク化、別の証明者での圧縮、3番目の証明者での集約、そして最後に4番目の専門システムでのパッケージング検証が含まれる場合があります。

TODAはいくつかの経済的特性を保証します：

真実性（最適な戦略は誠実に応札すること）

予算均衡（徴収された手数料が支払われた手数料を上回る）

個人の合理性（不採算なタスクを受け入れる参加者はいない）

漸近的最適性（証明者の供給が増えるにつれて、配分は最大効率に近づく）。

この市場は、オークション調整のために特別に設計された専用のRollupアーキテクチャであるBrevis Chain上で実行されます。このアーキテクチャは、透明性とパーミッションレスな参加を維持しながら、市場のスループットをLayer 1またはLayer 2ネットワークの混雑から分離します。ProverNetを通じて生成された証明は、任意のターゲットブロックチェーンに対して検証可能です。

Pico zkVMとリアルタイム証明

ProverNetは、異なる計算ニーズに対応するための2つの補完的な製品を含む、Brevisの既存の証明インフラストラクチャの上に構築されています。

Pico zkVMは「汎用コア + 高性能コプロセッサ」アーキテクチャを採用しており、超効率的なコアが専用の暗号アクセラレータに接続され、プログラムが安定した仮想マシンを実行しながら、ターゲットを絞ったハードウェア最適化の恩恵を受けることができます。

Pico Prismは最近、4500万のガス代制限でイーサリアムブロックの99.6%の証明カバレッジを達成し、証明の96.8%を12秒で完了し、平均証明時間は6.9秒でした。このシステムは64×RTX 5090 GPUクラスターを使用し、以前の市場をリードするzkVMと比較して50%低いハードウェアコストでリアルタイム証明を実現しています。

ZKデータコプロセッサにより、スマートコントラクトは過去のブロックチェーンデータにアクセスし、オフチェーンで検証可能な計算を実行できます。

このシステムでサポートされるアプリケーションには、PancakeSwapのVIPレート（30日間の出来高の事前取引チェック）、Eulerのトラストレスな報酬分配（数千のアドレスの時間加重残高の処理）、Uniswap v4のルートリベート（中央集権的な台帳なしでの取引資格の検証）が含まれます。

これらの統合は、汎用計算検証とは異なるデータ集約型の証明要件を実証しています。

これらのシステムは、ProverNet市場アーキテクチャを促進する異種ワークロードタイプに対応しながら、基盤レイヤーでのリアルタイム暗号検証の経済的実現可能性を確立します。

ZKエコシステムへの影響

ProverNetは、単一の証明サプライヤーのインフラストラクチャから、市場主導のリソース配分への移行を表しています。既存の証明者ネットワークは通常、狭いユースケース（特定のRollup証明、特定の仮想マシン、または均質な作業タイプなど）に最適化されており、多様な需要に効率的に対応する能力が制限されています。

市場オークションモデルにより、証明チームは汎用インフラストラクチャを構築する必要なく、特定の最適化目標（STARKベースのバッチ処理、低レイテンシのSNARK証明、特定の暗号操作など）に集中できます。アプリケーションは、ベンダーロックインにさらされることなく、競争力のある価格設定とサービス保証の恩恵を受けることができます。

開発者にとって、これはカスタム証明インフラストラクチャの構築（高コストで時間がかかる）と中央集権的なサービスへの依存（信頼の前提を導入する）のバランスを取るジレンマを解消します。暗号検証が計算の正確性を保証し、市場競争が価格効率とリソースの可用性を保証するためです。

詳細情報

ProverNetの完全なホワイトペーパーは次のアドレスで確認できます： http://www.brevis.network/whitepaper/provernet.pdf

簡潔な技術概要がBrevisブログで公開されています： https://blog.brevis.network/2025/10/28/brevis-provernet-building-the-open-marketplace-for-zero-knowledge-proofs/

この記事は寄稿されたコンテンツであり、BlockBeatsの見解を代表するものではありません。