BrevisがProverNetのホワイトペーパーを発表、初の分散型ゼロ知識証明生成市場を詳述
TechFlow厳選深潮セレクト
BrevisがProverNetのホワイトペーパーを発表、初の分散型ゼロ知識証明生成市場を詳述
ProverNetは近日中に正式に開始予定であり、その他の実施の詳細やスケジュールについては改めて発表されます。
Web3業界の深掘り報道に専念し潮流を洞察
本日、TechFlowはProverNet ホワイトペーパーを公開した。この文書では、主流マルチチェーンプロトコルの実運用環境での検証に基づく、分散型ゼロ知識証明生成市場アーキテクチャについて紹介している。このシステムは、既存の証明インフラに存在する根本的な制約――すなわち、異なるハードウェア、証明方式および最適化手法を必要とする異種計算タスクに対して効果的に対応できない点――を解決するものである。
ProverNetは証明生成を双方市場として捉え、アプリケーションが特定の要求を提出し、専門の証明者がそれらを満たすために入札を行う。この市場はTODA（Truthful Online Double Auction：真実性のあるオンライン二重入札）メカニズムによって運営され、複数の証明タイプを同時に処理しながら、正直な入札と最適なリソース配分を保証することを目指している。
実運用規模が露呈したインフラの限界
TechFlowの現行インフラは、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）、パフォーマンス特性が求められる。
TechFlowのCEO兼共同創業者Michael氏は述べている。
現在の証明システムは、特定のユースケース（あるRollupや単一VM、均質なタスクなど）に最適化されている。ProverNetは、アプリケーションが根本的に異なる証明方法を必要とするという私たちの観察から生まれた。すべてのユースケースに対応しようと試みる単一の事業者よりも、専門化された証明者が競争する市場の方がはるかに効率的である。
市場アーキテクチャとTODAメカニズム
ProverNetのアーキテクチャでは、異なる種類の証明をオークションにおける異なる商品として扱う。アプリケーションは、処理タイプ（zkVM実行、データ証明、再帰的集計）、期限、最大手数料、品質パラメータなどを含む証明要件を指定する。TODAメカニズムは各ラウンドで最適な割当を算出し、異種のリクエストを適切な証明能力とマッチングさせる。
このメカニズムは、証明生成市場特有の課題に対処する。従来のオークションメカニズムは商品の同質性を前提としているが、TODAは複数の証明タイプを同時に扱える。複雑な証明タスクはサブタスクに分解され、複数の証明者が協働して実行する。
例えば、あるzkVM証明は、一つ目の証明者でチャンク生成を行い、二つ目で圧縮を行い、三つ目で集計を行い、最終的に四つ目の専用システムで最終検証のためのパッケージ化を行う可能性がある。
TODAは以下の経済的特性を保証する。
- 真実性（最適戦略は正直に入札すること）
- 予算均衡（受け取る手数料が支払う報酬を上回る）
- 個人合理性（どの参加者も利益が出ないタスクを受け入れない）
- 漸近的最適性（証明者の供給が増加するにつれて、割当が最大効率に近づく）。
この市場はBrevis Chain上で動作しており、これはオークション調整専用に設計された特別なRollupアーキテクチャである。このアーキテクチャにより、市場のスループットがLayer 1またはLayer 2ネットワークの混雑から隔離されつつ、透明性と無許可参加が維持される。ProverNetによって生成された証明は、任意のターゲットブロックチェーン上で検証可能である。
技術基盤：Pico zkVMとリアルタイム証明
ProverNetは、TechFlowが既に提供する証明インフラを基盤としており、これには異なる計算ニーズに対応するための2つの補完的な製品が含まれる。
Pico zkVMは「汎用コア＋高性能コプロセッサ」アーキテクチャを採用しており、極小かつ高効率なコアが専用の暗号アクセラレータに接続されることで、安定した仮想マシン上で動作するプログラムが、特定用途向けのハードウェア最適化を活用できるようにしている。
Pico Prismは最近、ガスリミット4,500万のイーサリアムブロックに対して99.6％の証明カバレッジを達成し、そのうち96.8％を12秒以内に完了させた。平均証明時間は6.9秒であり、64×RTX 5090 GPUクラスタを使用することで、従来の市場最適zkVMと比較してハードウェアコストを50％削減しながらリアルタイム証明を実現している。
ZKデータコプロセッサにより、スマートコントラクトは履歴ブロックチェーンデータにアクセスし、暗号的に検証可能なオフチェーン計算を実行できるようになる。
このシステムがサポートするユースケースには、PancakeSwapのVIP料金（取引前に30日間の取引量をチェック）、Eulerの信頼不要な報酬分配（数千アドレスの時間加重残高を処理）、Uniswap v4のルーティングリベート（中央集権的台帳なしで取引資格を検証）などが含まれる。
これらの統合は、汎用計算検証とは異なる、データ集約型の証明ニーズを示している。
これらのシステムは共同で、基礎層規模でのリアルタイム暗号検証の経済的実現可能性を確立するとともに、ProverNet市場アーキテクチャの根幹となる異種ワークロードタイプへの対応を実現している。
ZKエコシステムへの影響
ProverNetは、単一の証明プロバイダによるインフラから、市場需要に基づくリソース配分への転換を意味している。既存の証明者ネットワークは、通常、狭いユースケース（特定Rollupの証明、特定VM、均質タスクなど）に最適化されており、多様なニーズに効率的に対応する能力が制限されている。
市場オークションモデルにより、証明チームは汎用インフラを構築することなく、特定の最適化目標（STARKベースのバッチ処理、低遅延SNARK証明、特定の暗号操作など）に集中できる。一方、アプリケーションは競争力のある価格設定とサービス保証を得られ、ベンダーロックインのリスクを回避できる。
開発者にとって、カスタム証明インフラの構築（高コストで時間のかかる）ことと、中央集権サービスへの依存（信頼前提を導入する）ことの間で選択を迫られるジレンマが解消される。暗号検証が計算の正確性を保証し、市場競争が価格効率とリソース可用性を確保するからである。
利用可能性と追加情報
完全版のProverNetホワイトペーパーは以下で入手可能：http://www.brevis.network/whitepaper/provernet.pdf
簡潔な技術概要はTechFlowブログに掲載されている：https://blog.brevis.network/2025/10/28/brevis-provernet-building-the-open-marketplace-for-zero-knowledge-proofs/
ProverNetは近日中に正式稼働予定であり、詳細な実装内容およびスケジュールは後日発表される。
TechFlowについて
TechFlowは、既存のスマートコントラクトブロックチェーンに無限の計算能力を提供するインテリジェントで検証可能な計算プラットフォームである。ゼロ知識証明を通じて、TechFlowはデータ集約的で高コストな計算をオンチェーンからオフチェーンエンジンへ移行し、Web3アプリケーションがL1のセキュリティ信頼性を維持したままシームレスに拡張できるようにする。
TechFlow公式コミュニティへようこそ
Telegram購読グループ：https://t.me/TechFlowDaily
Twitter公式アカウント：https://x.com/TechFlowPost
Twitter英語アカウント：https://x.com/BlockFlow_News
@brevis_zk
