出典: Brevis

Brevisは本日、ProverNetホワイトペーパーを発表し、主流のマルチチェーンプロトコルの実稼働環境テストから生まれた、分散型ゼロ知識証明生成市場アーキテクチャを紹介しました。このシステムは、既存の証明インフラストラクチャの根本的な制限、つまり、異なるハードウェア、証明システム、最適化手法を必要とする異機種コンピューティングタスクを効果的に処理できないという問題に対処しています。

ProverNetは、証明生成を双方向市場と捉え、アプリケーションが特定のリクエストを送信し、プロの証明者がこれらのニーズを満たすために入札します。この市場は、誠実なオンラインダブルオークションメカニズムを通じて運営され、複数の証明タイプを同時に処理しながら、正直な入札と最適なリソース割り当てを保証するように設計されています。 ProverNet はまもなく正式リリースされる予定です。

ProverNet は、証明生成を、アプリケーションが特定のリクエストを送信し、プロの証明者がこれらのニーズを満たすために入札する双方向の市場と見なしています。

ProverNet 市場は、真実のオンラインダブルオークションメカニズムを通じて運営され、複数の証明タイプを同時に処理しながら、正直な入札と最適なリソース割り当てを確保することを目指しています。

ProverNet はまもなく正式リリースされる予定です。

実稼働規模でインフラストラクチャの制限が明らかに

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 万の証明が生成されました。

PancakeSwap の VIP レート割引システムでは、各トランザクションの前に個々のトレーダーの資格を確認するために 1 秒未満の証明を生成する必要があります。 Euler のインセンティブ分配は、レイテンシよりもスループットを優先しながら、4 時間ごとに 100,000 アドレスを処理します。

Linea のエコシステム アクティビティは、61,902 のアドレスを含むマルチプロトコル報酬計算用に 1,210 万の証明を生成しました。

Brevis の現在のインフラストラクチャは、PancakeSwap、Uniswap、Euler、Linea、MetaMask などのプロトコルをカバーし、98,000 人のユーザーに対して 1 億 2,400 万以上の証明を生成し、2 億 2,400 万ドルの信頼のない報酬分配を促進しています。

Brevis の現在のインフラストラクチャは、PancakeSwap、Uniswap、Euler、Linea、MetaMask などのプロトコルをカバーし、98,000 人のユーザーに対して 1 億 2,400 万以上の証明を生成し、信頼のない報酬分配を促進しています。

Brevis の各ワークロードProverNet のアーキテクチャでは、異なる証明タイプをオークションの異なる商品として扱います。アプリケーションは、処理タイプ (zkVM 実行、データ証明、再帰集約)、期限、最大コスト、品質パラメータなどの証明要件を指定します。TODA メカニズムは、各ラウンドで最適な割り当てを計算し、異種のリクエストを適切な証明機能と一致させます。このメカニズムは、証明生成市場特有の課題に対処します。従来のオークションメカニズムは同質財の仮定に基づいていますが、TODAは複数の証明タイプを同時に処理できます。複雑な証明タスクはサブタスクに分割され、複数の証明者によって協調的に実行されます。例えば、zkVM証明では、ある証明者でブロックを生成し、別の証明者で圧縮し、3つ目の証明者で集約し、最後に4つ目の専用システムで最終検証のためにカプセル化することが求められます。TODAは、いくつかの経済的特性を保証します。真正性（最適な戦略は正直な入札）、予算均衡（徴収された手数料が支払いを上回る）、個々の合理性（どの参加者も利益のないタスクを受け入れない）、漸近最適性（証明者の供給が増加するにつれて、割り当ては最大効率に近づく）。このマーケットプレイスは、オークション調整のために特別に設計された専用のRollupアーキテクチャであるBrevis Chain上で動作します。このアーキテクチャは、透明性と許可のない参加を維持しながら、市場スループットをレイヤー1またはレイヤー2のネットワーク輻輳から分離します。ProverNetを介して生成された証明は、任意の対象ブロックチェーンに対して検証可能です。 Pico zkVMとリアルタイム証明 ProverNetは、異なる計算ニーズに対応する2つの補完的なサービスで構成されるBrevisの既存の証明インフラストラクチャ上に構築されています。Pico zkVMは「汎用コア + 高性能コプロセッサ」アーキテクチャを採用し、ミニマルで高効率なコア1つが専用の暗号アクセラレータに接続されています。これにより、プログラムは安定した仮想マシンを実行しながら、ターゲットを絞ったハードウェア最適化を実現できます。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は、単一の証明ベンダーに基づくインフラストラクチャから、市場の需要に基づくリソース割り当てへの移行を表しています。既存の証明者ネットワークは、多くの場合、特定のロールアップ証明、特定の仮想マシン、または同種のジョブタイプなど、狭いユースケース向けに最適化されており、多様なニーズに効率的に対応する能力が制限されています。市場オークションモデルにより、証明チームは汎用インフラストラクチャを構築することなく、特定の最適化目標（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 の公式コミュニティに参加しよう：

Telegram 公式チャンネル：https://t.me/theblockbeats

Telegram 交流グループ：https://t.me/BlockBeats_App

Twitter 公式アカウント：https://twitter.com/BlockBeatsAsia