Brevis は、初の分散型ゼロ知識証明生成マーケットプレイスの詳細を説明した ProverNet ホワイトペーパーをリリースしました。
出典：ブレビス
Brevisは本日、ProverNetホワイトペーパーを公開し、分散型ゼロ知識証明生成マーケットプレイスアーキテクチャを紹介しました。このアーキテクチャは、主流のマルチチェーンプロトコル実稼働環境における実世界テストに基づいています。このシステムは、既存の証明インフラストラクチャの根本的な限界、すなわち、異なるハードウェア、証明システム、最適化手法を必要とする異種コンピューティングワークロードを効果的に処理できないという限界に対処します。
ProverNetは、証明生成を双方向市場と捉えています。アプリケーションが特定のリクエストを提出し、専門の証明者がこれらのニーズを満たすために入札する市場です。この市場は、複数の種類の証明を同時に処理しながら、公正な入札と最適なリソース配分を保証するように設計された、Truthful Online Double Auction（真実のオンライン・ダブルオークション）メカニズムを通じて運営されます。ProverNetは2025年末までにサービス開始予定です。
Brevisの現在のインフラストラクチャは、PancakeSwap、Uniswap、Euler、Linea、MetaMaskなどのプロトコルを網羅し、98,000人のユーザーに対して1億2,400万件以上のプルーフを生成し、2億2,400万ドル相当のトラストレス報酬の分配を促進しました。これらの展開により、プルーフ作業の多様性が顕著に明らかになり、単一のプロバイダーアーキテクチャで効果的にサービスを提供することが困難になっています。
PancakeSwapのVIP手数料割引システムでは、各取引の前に個々のトレーダーに対して1秒未満の証明を生成し、資格を確認する必要があります。Eulerのインセンティブ分配は、レイテンシよりもスループットを優先し、4時間ごとに10万アドレスを処理します。Lineaのエコシステム活動は、61,902のアドレスを含むマルチプロトコル報酬計算のために1,210万件の証明を生成しました。各ワークロードには、異なるハードウェア構成、証明システム（SNARK vs. STARK）、およびパフォーマンス特性が必要です。
BrevisのCEO兼共同創設者であるマイケル氏は、「既存の証明システムは、特定のロールアップ、単一の仮想マシン、または均一なワークロードタイプなど、特定のユースケース向けに最適化されています。ProverNetは、アプリケーションには根本的に異なる証明アプローチが必要であるという私たちの観察から生まれました。専門分野の証明者が競争する市場は、単一の事業者がすべてのユースケースに対応しようとするよりも効率的です」と述べています。
ProverNetのアーキテクチャは、異なる証明タイプをオークションにおける異なる商品として扱います。アプリケーションは、処理タイプ（zkVM実行、データ証明、再帰集約）、期限、最大手数料、品質パラメータなどの証明要件を指定します。TODAメカニズムは、各ラウンドで最適な割り当てを計算し、異種のリクエストと適切な証明機能をマッチングさせます。
このメカニズムは、証明生成市場特有の課題に対処します。従来のオークションメカニズムは同質財の仮定に基づいていますが、TODAは複数の種類の証明を同時に処理できます。複雑な証明タスクはサブタスクに分解され、複数の証明者が協調して実行します。
たとえば、zkVM 証明では、1 つの証明器でチャンク化し、別の証明器で圧縮し、3 番目の証明器で集約し、最後に 4 番目の専用システムでパッケージを検証する場合があります。
TODA はいくつかの経済的特性を保証します:
誠実さ（最適な戦略は正直に入札することです）
予算残高（徴収した手数料が支払った手数料を上回る）
個人の合理性（参加者は利益のないタスクを受け入れない）
漸近最適性（証明者の供給が増えるにつれて、割り当ては最大効率に近づきます）。
この市場は、オークション調整のために特別に設計された専用のRollupアーキテクチャであるBrevis Chain上で動作します。このアーキテクチャは、透明性とパーミッションレスな参加を維持しながら、市場のスループットをレイヤー1またはレイヤー2のネットワーク輻輳から分離します。ProverNetを通じて生成された証明は、任意の対象ブロックチェーンに対して検証可能です。
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 市場アーキテクチャを奨励する異種のワークロード タイプに対応しながら、基盤レイヤーでのリアルタイムの暗号検証の経済的実現可能性を確立します。
ProverNetは、単一の証明サプライヤーのインフラストラクチャから市場主導のリソース配分への移行を表しています。既存の証明ネットワークは通常、特定のロールアップ証明、特定の仮想マシン、または均一な作業タイプなど、限られたユースケース向けに最適化されており、多様な需要に効率的に対応できる能力が限られています。
マーケットオークションモデルにより、証明チームは汎用的なインフラストラクチャを構築する必要がなく、特定の最適化目標（例：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 の見解を代表するものではありません。
公式BlockBeatsコミュニティへの参加を歓迎します:
Telegram サブスクリプショングループ: https://t.me/theblockbeats
Telegram ディスカッショングループ: https://t.me/BlockBeats_App
公式Twitterアカウント: https://twitter.com/BlockBeatsAsia
この内容は情報提供および教育目的であり、BTCCに関連する投資助言ではありません。BTCCは信頼性・正確性・独自性に努めていますが、これらを完全に保証するものではありません。