数週間前、@brevis_zk が ProverNet ホワイトペーパーを発表した際に一度目を通しました。その時の第一印象は、「ビジョンだけを美しく書いたZKアーキテクチャ」ではなく、ゼロ知識証明を取引可能なリソース、公開市場として捉え、各チームが独自に閉じたシステムを構築するのではない、というものでした。

本日、ProverNet のメインネットベータ版が正式にローンチされ、全体のフレームワークがついに形になりました。

多くの人は「ローンチ」という二文字だけを見ているかもしれませんが、本当にゲームチェンジャーとなるのは、実は3つのディテールです。

第一に、証明タスクの割り当てメカニズムが連続入札システムに変更されたこと。

タスクを均等に配分するのでも、固定のキューでもなく、証明者同士が公開市場で競争します——誰が適切な価格を提示し、計算力がマッチし、素早く応答できるかが、タスクを優先的に獲得できる仕組みです。このメカニズムは本質的に、証明計算力をリアルタイムで流動する市場資源に変えています。

第二に、タスクの決済が直接 USDC で行われること。

証明者にとって、これは極めて重要です：

将来のトークン価値を待つのではなく、期待値で支えるのでもなく、実際のキャッシュフローです。

これにより、ProverNetはインセンティブ実験ではなく、Day1から経済的なクローズドループを運用しているということになります。

第三に、証明者の登録フローとワークマッチングの仕組みが既に成熟していること。

これまでZKインフラを構築する際は、計算力だけでなく、環境構築や保守、断片化されたツール群もコストになっていました。

今では全体のプロセスがシステムエントリとして抽象化され、直接参加でき、自前でインフラを積み上げる必要がなくなりました。

メインネット正式ローンチ後には、もう一つ重要なピースが加わります：

BREV のステーキングと支払い構造。

この瞬間から、ProverNetはようやく完全なクローズドループとなります。

さらに驚いたのは、参加のハードルの低さです。

GPUもCPUも接続可能——つまり、特定のハードウェアが市場を独占するのではなく、真にオープンな証明計算力レイヤーの構築を目指しているということです。
アプリケーション側から見ると、その魅力は非常に直接的です：

自前でZK証明システムを構築する必要はなく、タスクをProverNetにアウトソースするだけで済みます。

そしてこれは、業界がこれまで避けてきた痛点——ZKのコストが高く、しかも予測不可能——を的確に突いています。

特に本番環境では、負荷が不規則で、需要が一気に集中したり、検証基準が変化したりするため、自前システムは高価で重く、スケーラビリティに欠けます。

Brevisはこのレイヤーを抽象化し、ZKを専門スキルから呼び出し可能なインフラへと変換しています。

さらに重要なのは——最初に移行するのがデモではなく、Ethereumブロックの実行証明であることです。

これは既に本番環境で稼働し、リアルな負荷と多次元の検証が行われている証明タスクです。

言い換えれば、ProverNetは初日からストレステストを受けており、実験的なワークロードだけを動かしているわけではありません。

このように「リアルワールドと直接接続」している設計は、ZK領域では珍しいものです。
忘れてはならないのは、Brevisはこれまでに累計2.5億件を超える証明データを生成し、そのユースケースも多岐にわたるということです。

現在のProverNetは、これらの経験を再利用可能・競争可能・価格設定可能な基盤構造へと昇華しているようです。

もしあなたがZK、Rollup、オフチェーン計算、検証可能なデータ、またはzkMLに取り組んでいるなら、今は最も注目すべきタイミングです。

現在のベータ版はシステムが徐々に形になっていく過程であり、設計ロジックだけでなく、真に持続可能な需給市場を形成できるかどうかも観察できます。

一言でまとめると：

これは「また新たなZKネットワークのローンチ」ではなく、証明計算力の商品化に向けた実験です。

これが業界のインフラとなるかどうか、今はまだ結論を出せませんが、非常に注視する価値があります。

公式情報：

ブログ：

ホワイトペーパー：

@KaitoAI #Yapping #MadewithMoss
@MossAI_Official #Starboard @Galxe @RiverdotInc @River4fun