RISC Zero の Boundless:分散型証明市場は ZK の 9,700 万ドルのボトルネックを解決できるか?
ゼロ知識ロールアップ(ZKロールアップ)は、ブロックチェーンのスケーリングの未来となるはずでした。しかし、それどころか、一握りの企業が手数料の 60-70 % を搾取する 9,700 万ドルの中央集権的なプルーバー市場の捕虜となっており、ユーザーは数秒で終わるはずの証明を数分間待たされています。
2025 年 9 月にメインネットでローンチされた RISC Zero の分散型証明マーケットプレイス「Boundless」は、この問題を解決したと主張しています。GPU オペレーターが仕事を競い合うオープンな市場に ZK 証明生成を変えることで、Boundless は検証可能な計算を「実行と同じくらい安価」にすることを約束しています。しかし、トークンによるインセンティブを活用したネットワークは、ZK 技術を高価でアクセスしにくいものにしてきた中央集権化の負のスパイラルを本当に打破できるのでしょうか?
10 億ドルのボトルネック:なぜ ZK 証明は依然として高価なのか
ゼロ知識ロールアップの約束は洗練されたものでした。トランザクションをオフチェーンで実行し、正しい実行の暗号証明を生成して、その証明をイーサリアム上でわずかなコストで検証するというものです。理論的には、これによりイーサリアムレベルのセキュリティを 1 セント未満のトランザクションコストで実現できるはずでした。
しかし、現実はより困難でした。
4,000 件のトランザクションバッチに対する単一の ZK 証明の生成には、ハイエンドの A100 GPU で 2 〜 5 分かかり、クラウドコンピューティング料金だけで 0.04 〜 0.17 ドルかかります。これには、信頼性の高いプルービングサービスを運営するために必要な専門ソフトウェア、エンジニアリングの専門知識、および冗長なインフラストラクチャは含まれていません。
その結果、ZK-L2 の 90 % 以上が、一握りの Prover-as-a-Service プロバイダーに依存しています。この中央集権化は、検閲、MEV の抽出、単一障害点、Web2 スタイルの地代搾取など、ブロックチェーンが排除するために設計されたまさにそのリスクを持ち込んでいます。
技術的な課題
ボトルネックはネットワークの混雑ではなく、数学そのものにあります。ZK プルービングは、楕円曲線上のマルチスカラー乗算(MSM)と数論変換(NTT)に依存しています。これらの演算は、GPU が AI ワークロードに優れている理由である行列計算とは根本的に異なります。
長年の MSM 最適化を経て、現在、GPU での証明生成遅延の最大 90 % を NTT が占めています。暗号学コミュニティは、ソフトウェアの最適化だけでは限界に達しています。
Boundless の登場:オープンな証明市場
Boundless は、証明生成をブロックチェーンのコンセンサスから完全に切り離すことで、この問題を解決しようとしています。各ロールアップが独自のプルーバーインフラを運用する代わりに、Boundless は次のようなマーケットプレイスを構築します。
- リクエスターが証明リクエストを送信する(任意のチェーンから)
- プルーバーが GPU や一般的なハードウェアを使用して証明生成を競う
- セトルメントがリクエスターの指定した送信先チェーンで行われる
重要な革新は「検証可能なワークの証明(PoVW)」です。これは、プルーバーに対して無益なハッシュ(ビットコインマイニングのようなもの)ではなく、有用な ZK 証明の生成に対して報酬を与えるメカニズムです。各証明には、どれだけの計算が行われたかを示す暗号メタデータが含まれており、作業の透明な記録が作成されます。
実際の仕組み
その内部では、Boundless は RISC Zero の zkVM(RISC-V 命令セット用にコンパイルされた任意のプログラムを実行できるゼロ知識仮想マシン)上に構築されています。これにより、開発者は Rust、C++、または RISC-V にコンパイルされる任意の言語でアプリケーションを作成し、専門的な ZK 回路を学ぶことなく、正しい実行の証明を生成できます。
3 層構造のアーキテクチャには以下が含まれます。
- zkVM レイヤー:任意のプログラムを実行し、STARK 証明を生成
- 再帰レイヤー:複数の STARK をコンパクトな証明に集約
- セトルメントレイヤー:オンチェーン検証のために証明を Groth16 形式に変換
この設計により、Boundless は複雑な計算をサポートしながら、経済的なオンチェーン検証に十分なほど小さい(約 200 KB)証明を生成できます。