zkVMからオープンプロウブマーケットへ：RISC ZeroとBoundlessの解析
TechFlow厳選深潮セレクト
zkVMからオープンプロウブマーケットへ：RISC ZeroとBoundlessの解析
ZK技術は、単一のスケーリングツールからブロックチェーン上の信頼できる計算のための汎用的な基盤へと進化しつつある。
Web3業界の深掘り報道に専念し潮流を洞察執筆：0xjacobzhao
ブロックチェーン分野において、暗号技術はセキュリティと信頼の核となる基盤である。特にゼロ知識証明（ZK）は、任意の複雑なオフチェーン計算を短い証明に圧縮し、第三者への信頼なしにオンチェーンで効率的に検証できる。また、入力値を選択的に非公開にすることでプライバシーを保護することも可能だ。効率的な検証性、汎用性、プライバシー保護の三つを兼ね備えるZKは、スケーリング、プライバシー、クロスチェーンなど多様な応用におけるキーソリューションとなっている。現在もなお証明生成のコストが高かったり、回路開発が複雑であるなどの課題があるものの、ZKの工学的実現可能性と実用化レベルは他のアプローチを大きく上回っており、最も採用されている信頼できる計算フレームワークとなっている。
一、ZK分野の発展経緯
ゼロ知識証明（ZK）技術の進展は一朝一夕ではなく、数十年にわたる理論的蓄積と工学的探求の結果である。全体として以下の重要な段階に分けられる：
1. 理論的基礎と技術的突破期（1980年代～2010年代） ZKという概念はMITの研究者Shafi Goldwasser、Silvio Micali、Charles Rackoffによって提唱され、当初はインタラクティブ証明理論に留まっていた。2010年代に入り、非インタラクティブゼロ知識証明（NIZK）やzk-SNARKの登場により証明効率が大幅に向上したが、初期の方式では依然として「信頼できるセットアップ」に依存していた。
2. ブロックチェーン応用（2010年代末） Zcashがzk-SNARKをプライベート決済に導入し、初めて大規模なブロックチェーン実装を達成した。しかし証明生成のコストが非常に高く、実際の応用範囲は依然限られていた。
3. 爆発的成長と拡張（2020年代～現在） この時期、ZK技術は産業の主流へと全面的に進出した：
-
ZK Rollup：オフチェーンでの一括処理とオンチェーンでの証明検証により、高いスループットとセキュリティ継承を実現し、Layer2スケーリングの中心的手段となった。
-
zk-STARKs：StarkWareがzk-STARKを発表し、「信頼できるセットアップ」を不要とし、透明性と拡張性を向上させた。
-
zkEVM：Scroll、Taiko、PolygonなどのチームがEVMバイトコードレベルでの証明と既存のSolidityアプリケーションのシームレス移行を目指している。
-
汎用zkVM：RISC Zero、Succinct SP1、Delphinus zkWasmなどが任意のプログラムの検証可能な実行をサポートし、ZKをスケーリングツールから「信頼できるCPU」として拡張している。
-
zkCoprocessorはzkVMをコプロセッサとしてパッケージ化し、複雑なロジックを外部委託可能にする（例：RISC Zero Steel、Succinct Coprocessor）；
-
zkMarketplaceは証明算力を市場化し、分散型proverネットワークを形成（例：Boundless）、ZKを汎用計算レイヤーへと推進している。
今日ではZK技術は難解な暗号学的概念から、ブロックチェーンインフラの中核モジュールへと成長した。これは単にスケーリングとプライバシー保護を支えるだけでなく、クロスチェーン相互運用性、金融コンプライアンス、人工知能（ZKML）などの先端領域でも戦略的価値を示している。ツールチェーン、ハードウェアアクセラレーション、証明ネットワークの継続的改善により、ZKエコシステムは急速に規模化・一般化に向かっている。
二、ZK技術の応用全貌：スケーリング、プライバシー、相互運用性
スケーラビリティ（Scalability）、プライバシー（Privacy）、相互運用性とデータ保証（Interoperability & Data Integrity）は、現在のZK「信頼できる計算」技術における三大基本的用途であり、ブロックチェーンの性能不足、プライバシー欠如、マルチチェーン間の信頼問題という本質的課題に対応する。
-
スケーラビリティ（Scalability） はZKが最初に実用化され、最も広く使われる用途である。その核心思想は取引の実行をオフチェーンに移し、短い証明をオンチェーンで検証することで、安全性を犠牲にせずTPSを大幅に向上させ、コストを削減することにある。代表的手法には：zkRollup（zkSync、Scroll、Polygon zkEVM）による一括取引圧縮によるスケーリング；zkEVMはEVM命令レベルで回路を構築し、イーサリアムとのネイティブ互換性を実現；さらに汎用的なzkVM（RISC Zero、Succinct）は任意のロジックの検証可能な外部委託をサポートしている。
-
プライバシー保護（Privacy） は、取引や行為の正当性を証明しつつ、機密データを露呈しないことを目的とする。主な応用例としては：プライベート決済（Zcash、Aztec）—資金移動の有効性を保証しながら金額や相手方を非公開にする；プライベート投票およびDAOガバナンス—投票内容を秘匿したまま意思決定を行う；そしてプライベートID／KYC（zkID、zkKYC）—「条件を満たす」ことだけを証明し、余分な情報を開示しない。
-
相互運用性とデータ保証（Interoperability & Data Integrity） はZK技術が「マルチチェーン世界」の信頼問題を解決する鍵となる道筋である。他チェーンの状態に対する証明を生成することで、クロスチェーン相互作用は中央集権的なリレーに依存しなくなる。主な形態にはzkBridge（クロスチェーン状態証明）と軽量クライアント検証（ターゲットチェーン上でソースチェーンのブロックヘッダーを効率的に検証）があり、代表プロジェクトにはPolyhedra、Herodotusなどがある。また、ZKはデータおよび状態の証明にも広く使われており、Axiom、Space and TimeのzkQuery/zkSQLや、IoTおよびストレージ分野でのデータ完全性検証などにより、オフチェーンデータの信頼性あるオンチェーン化を保証している。
この三大基本用途を基盤として、将来ZK技術はより広範な業界応用へと拡大する可能性がある：AI（zkML）—モデル推論または訓練に対して検証可能な証明を生成し、「信頼できるAI」を実現；金融コンプライアンス—取引所準備証明（PoR）、決済、監査などにより信頼コストを削減；ゲームおよび科学計算—GameFiやDeSciにおいてロジックや実験結果の真実性を保証する。本質的にこれらすべては「検証可能な計算＋データ証明」が異なる業界に展開されたものである。
三、zkEVMを超えて：汎用zkVMと証明市場の台頭
イーサリアム創設者Vitalikが2022年に提唱したZK-EVMの四種類の分類（Type 1～4）は、互換性とパフォーマンスのトレードオフを明らかにしている：
-
Type 1（完全等価）：バイトコードがイーサリアムL1と完全に一致しており、移行コストが最小だが、証明速度が最も遅い。代表プロジェクト：Taiko。
-
Type 2（完全互換）：極めて高いEVM等価性を維持し、ごくわずかな底層最適化のみを行うため、互換性が最も高い。代表プロジェクト：Scroll、Linea。
-
Type 2.5（準互換）：EVMに若干の変更（gasコスト、プリコンパイル対応など）を行い、わずかな互換性を犠牲にしてパフォーマンスを向上。代表プロジェクト：Polygon zkEVM、Kakarot（Starknet上で動作するEVM）。
-
Type 3（部分互換）：底層をより根本的に変更し、ほとんどのアプリを動作させられるが、イーサリアムのインフラを完全に再利用できない。代表プロジェクト：zkSync Era。
-
Type 4（言語レベル互換）：バイトコード互換を放棄し、高級言語から直接zkVMへコンパイルするため、パフォーマンスが最高だがエコシステムの再構築が必要。代表プロジェクト：Starknet（Cairo）。
この段階のテーマは「zkRollup戦争」であり、イーサリアムの実行ボトルネックの緩和が目的だった。しかし、ここに二つの制約が浮き彫りになった：第一に、EVMの回路化が難しく、証明効率が制限される点、第二に、ZKの潜在能力はスケーリングを超えて、クロスチェーン検証、データ証明、さらにはAI計算にまで及ぶ点である。
こうした背景のもと、汎用zkVMが台頭し、zkEVMの「イーサリアム互換思考」に代わって「チェーン非依存の信頼できる計算」へと方向転換した。zkVMは汎用命令セット（RISC-V、LLVM IR、Wasmなど）に基づき、Rust、C/C++などの言語をサポートし、開発者が成熟したエコシステムのライブラリを使って任意のアプリロジックを構築し、それを証明によってオンチェーンで検証できるようにする。RISC Zero（RISC-V）、Delphinus zkWasm（Wasm）などが典型的な例である。その意義は、zkVMが単なるイーサリアムのスケーリングツールではなく、ZK世界の「信頼できるCPU」であるということだ。
-
RISC-Vルート：RISC Zeroが代表例で、オープンな汎用命令セットRISC-VをzkVMの実行コアとして採用している。利点はエコシステムが開放的で、命令セットが簡潔かつ回路化しやすく、Rust、C/C++などの主要言語のコンパイル結果を受け入れられるため、「汎用zkCPU」として適している。一方、イーサリアムバイトコードとは自然な互換性がないため、コプロセッサモードで組み込む必要がある。
-
LLVM IRルート：Succinct SP1が代表例で、フロントエンドにLLVM IRを使用して多言語対応を実現し、バックエンドは依然RISC-V zkVMに基づく。「LLVMフロントエンド＋RISC-Vバックエンド」という本質を持ち、純粋なRISC-Vモードより汎用性が高いが、LLVM IRの命令が複雑で証明のオーバーヘッドが大きくなる。
-
Wasmルート：Delphinus zkWasmが代表例。WebAssemblyエコシステムは成熟しており、開発者の慣れ親しみ度が高く、天然のクロスプラットフォーム性を持つが、Wasm命令セットは比較的複雑で証明パフォーマンスが制限される。
さらに進化する中で、ZK技術はモジュール化と市場化に向かっている。まず、zkVMはゼロ知識計算の「CPU／コンパイラ」として、汎用的かつ信頼できる実行環境を提供し、アプリケーションに基本的な検証可能な計算能力を与える。その上に、zk-coprocessorはzkVMをコプロセッサとしてパッケージ化し、EVMなどのチェーンが複雑な計算タスクをオフチェーンに外部委託し、ゼロ知識証明でオンチェーンに戻って検証できるようにする。代表例にはRISC Zero SteelとLagrangeがあり、「GPU／コプロセッサ」に類似する役割を果たす。さらに、zkMarketplaceは分散型ネットワークを通じて証明タスクの市場化された配布を実現し、グローバルなproverノードが入札によってタスクを遂行する。Boundlessはまさにゼロ知識計算の算力市場を構築している。
こうして、ゼロ知識技術スタックは徐々にzkVM → zk-coprocessor → zkMarketplaceという進化の連鎖を描いている。この体系は、ゼロ知識証明が単一のイーサリアムスケーリングツールから、汎用的な信頼できる計算インフラへと進化したことを示している。この進化の中で、RISC-VをzkVMコアとして採用するRISC Zeroは、「開放性、回路化効率、エコシステム適応」の間で最適なバランスを実現している。これにより低障壁な開発体験を提供しつつ、Steel、Bonsai、Boundlessなどの拡張レイヤーを通じて、zkVMをzk-coprocessorおよび分散型証明市場へと進化させ、より広大な応用空間を開いていく。
四、RISC Zeroの技術的アプローチとエコシステム版図
RISC-Vはオープンでロイヤルティフリーの命令セットアーキテクチャであり、特定のベンダーに支配されず、天然の分散的特徴を持つ。RISC Zeroはこのオープンアーキテクチャを活用し、Rustなどの汎用言語に対応するzkVMを構築することで、イーサリアムエコシステム内のSolidityの制約を突破し、開発者が標準的なRustプログラムを直接ゼロ知識証明を生成可能なアプリケーションにコンパイルできるようにした。このアプローチにより、ZK技術の適用範囲はブロックチェーン契約からさらに広範な汎用計算領域へと拡大している。
RISC0 zkVM：汎用信頼できる計算環境
複雑なEVM命令セットとの互換性を必要とするzkEVMプロジェクトとは異なり、RISC0 zkVMはRISC-Vアーキテクチャに基づき、より開放的で汎用的な設計となっている。アプリケーションはGuest Codeで構成されELFバイナリファイルにコンパイルされ、HostがExecutorを通じて実行し実行過程（Session）を記録する。Proverはその後、検証可能なReceiptを生成する。Receiptには公開出力（Journal）と暗号化された証明（Seal）が含まれる。第三者はReceiptを検証するだけで計算の正しさを確認でき、再実行は不要である。
2025年4月にリリースされたR0VM 2.0は、zkVMがリアルタイム時代に入ったことを象徴している：イーサリアムブロックの証明時間が35分から44秒に短縮され、コストは最大5倍削減され、ユーザーのメモリは3GBまで拡張され、より複雑なアプリケーションに対応可能になった。同時にBN254およびBLS12-381という二つの重要なプリコンパイルが追加され、イーサリアムの主要ニーズを網羅した。さらに重要なのは、R0VM 2.0がセキュリティ面で形式的検証を導入し、大部分のRISC-V回路の決定論的検証を完了したことである。2025年7月までに初のブロックレベルリアルタイムzkVM（証明時間＜12秒）の実現を目指している。
zkCoprocessor Steel：オフチェーン計算の橋渡し
zkCoprocessorの核心理念は、複雑な計算タスクをオンチェーンからオフチェーンに移管し、ゼロ知識証明で結果を返すことにある。スマートコントラクトは証明を検証するだけでよく、タスク全体を再計算する必要はないため、Gasコストを大幅に削減し、パフォーマンスのボトルネックを突破できる。例えばRISC0のSteelは、Solidityに外部証明インターフェースを提供し、大規模な履歴状態照会や複数ブロックにわたる一括計算を外部委託可能にし、一つの証明で数十個のイーサリアムブロックを検証することさえ可能にする。
Bonsai：SaaS型の高性能証明サービス
産業規模のアプリケーション需要に対応するため、RISC ZeroはBonsaiをリリースした。これは公式がホスティングするProver-as-a-Serviceプラットフォームであり、GPUクラスタを使って証明タスクを配布することで、開発者が自前でハードウェアを構築せずに高性能な証明を得られるようにする。同時に、RISC ZeroはBento SDKを提供し、SolidityとzkVMの間のシームレスな相互作用を支援し、zkCoprocessorの統合の複雑さを大幅に低下させている。一方、Boundlessはオープンマーケットを通じて分散型証明を実現しており、両者は補完関係にある。
RISC Zero 全製品マトリクス
RISC Zeroの製品エコシステムはzkVMを中心に上位に拡張され、実行、ネットワーク、市場、アプリケーション層をカバーする完全なマトリクスを次第に形成している：
五、ZK市場：信頼計算の分散型商品化
ゼロ知識証明（ZK）市場は、高コストで複雑な証明生成プロセスを分離し、分散型で取引可能な計算商品に変換する。グローバルに分布するproverネットワークを通じて、計算タスクは入札方式で外部委託され、コストと効率の間で動的にバランスを取り、経済的インセンティブによってGPUおよびASIC参加者を継続的に引き寄せ、自己強化の循環を形成する。BoundlessとSuccinctがこの分野の代表例である。
5.1 Boundless：汎用ゼロ知識計算市場
コンセプトと位置づけ
BoundlessはRISC Zeroが提供する汎用ZKプロトコルであり、すべてのブロックチェーンに拡張可能な検証可能な計算能力を提供することを目指している。その核心は証明生成とブロックチェーンコンセンサスの分離であり、分散型市場メカニズムを通じて計算タスクを配布する。開発者が証明リクエストを提出すると、Proverノードが分散型インセンティブメカニズムで競争的に実行し、「検証可能な作業量証明（Proof of Verifiable Work）」に基づいて報酬を得る。伝統的なPoWの無意味な算力消費とは異なり、Boundlessは算力を実際のアプリケーション向けのZK結果に変換し、計算資源に実際の価値を持たせる。
アーキテクチャとメカニズム
Boundless市場のワークフローは以下の通り：
-
リクエスト提出：開発者がzkVMプログラムと入力を市場に提出；
-
ノード入札：Proverノードがタスクを評価し入札、タスクをロックした後に実行権を得る；
-
証明生成と集約：複雑な計算はサブタスクに分割され、各サブタスクがzk-STARK証明を生成し、再帰と集約回路によって統一された最終証明に圧縮され、オンチェーン検証コストを大幅に削減；
-
クロスチェーン検証：Boundlessは複数チェーンで統一検証インターフェースを提供し、一度の構築でクロスチェーン再利用を実現
このアーキテクチャにより、スマートコントラクトは複雑な計算を再実行する必要がなく、短い証明を検証するだけで確認が可能となり、Gas上限とブロック容量の制限を突破できる。
エコシステムと応用： 市場層プロトコルとして、BoundlessはRISC Zeroの他の製品と補完関係にある：
-
Steel：EVMのZKコプロセッサで、Solidityの複雑な実行をオフチェーンに移管し、オンチェーンで検証可能にする；
-
OP Kailua：OP StackチェーンにZKによるアップグレード経路を提供し、より高いセキュリティと迅速なファイナリティを実現。
Boundlessの目標はイーサリアムで12秒未満のリアルタイム証明を実現することであり、そのための道筋にはFRI最適化、多項式並列化、VPUハードウェアアクセラレーションが含まれる。ノードと需要が増加するにつれ、Boundlessは自己強化型算力ネットワークを形成し、Gasコストの削減にとどまらず、オンチェーン検証可能なAI、クロスチェーン流動性、無限計算など新たな応用シナリオを開くだろう。
5.2 Boundless for Apps：Gas制限の突破
Boundless for AppsはイーサリアムおよびL2アプリケーションに「無限の算力」を提供することを目指しており、複雑なロジックを分散型証明ネットワークに外部委託し、ZK証明でオンチェーン検証を行う。その利点には、無制限の実行、一定のGasコスト、Solidity/Vyperとの互換性、ネイティブなクロスチェーン対応が含まれる。
ここでSteelはEVMのZKコプロセッサとして、開発者がSolidityコントラクト内で大規模な状態照会、複数ブロックにわたる計算、イベント駆動ロジックを実現できるようにし、R0-Helios軽量クライアントを通じてETHおよびOP Stackのクロスチェーンデータ検証を可能にする。すでにEigenLayerを含むプロジェクトが統合を検討しており、DeFiおよびマルチチェーン相互作用における潜在能力を示している。
Steel：EVMの拡張可能計算レイヤー
Steelの核心目標は、イーサリアムのGas上限、単一ブロック実行、履歴状態アクセスなどの制限を突破し、複雑なロジックをオフチェーンに移管し、ゼロ知識証明でオンチェーン検証することにある。安全性を保ちつつ、一定の検証コストで事実上無限の算力を提供する。
Steel 2.0では、開発者は以下の三つの機能によりコントラクト設計の幅を拡大できる：
-
イベント駆動ロジック：Event logsを直接入力として使用し、中央集権的なindexerに依存しない；
-
履歴状態照会：Dencunアップグレード以降の任意のブロックのストレージスロットまたはアカウント残高にアクセス可能；
-
複数ブロックにわたる計算：移動平均や累積指標など複数ブロックにわたる演算を実行し、単一の証明でオンチェーンに提出可能。
この設計によりコストが大幅に削減され、Steelの登場により、元々EVMに制限されていたアプリケーション（高頻度計算、状態巻き戻し、複数ブロックロジックなど）が実現可能になり、徐々にオフチェーン計算とオンチェーン検証をつなぐ重要な橋渡しとなっていく。
5.3 Boundless for Rollups：ZKドリブンのRollup高速化ソリューション
Boundless for Rollupsは分散型証明ネットワークを通じて、OP StackなどのL2チェーンに高速かつ安全な決済経路を提供する。その主な利点は以下：
-
高速ファイナリティ：7日間の決済時間を約3時間（Hybridモード）または1時間未満（Validityモード）に短縮；
-
強化されたセキュリティ：ZK Fraud ProofおよびValidity Proofによる段階的アップグレードで、暗号学レベルのセキュリティを提供；
-
分散化の進化：分散型Proverネットワークと低額担保要件により、Stage 2の分散化へ急速に近づく；
-
ネイティブな拡張性：高スループットチェーン上で安定したパフォーマンスと予測可能なコストを維持。
OP Kailua：OPチェーンにZKアップグレード経路を提供
Boundless for Rollupsの核心ソリューションとして、OP KailuaはRISC Zeroが提供するもので、OptimismベースのRollup専用に設計されており、チームが従来のOPアーキテクチャを超えるパフォーマンスとセキュリティを実現できるようにする。
Kailuaは二つのモードを提供し、段階的アップグレードをサポート：
-
Hybridモード（ZK Fraud Proof）：多段階のインタラクティブFault ProofをZK Fraud Proofで置き換え、紛争解決の複雑さとコストを大幅に削減。証明費用は悪意のある当事者が負担し、ファイナリティは約3時間に短縮される。
-
Validityモード（ZK Validity Proof）：直接ZK Rollupに転換し、ゼロ知識有効性証明を活用して紛争を完全に排除し、1時間未満のファイナリティを実現し、最高レベルのセキュリティを提供する。
KailuaはOPチェーンが楽観的→混合→ZK Rollupへとスムーズにアップグレードすることを支援し、Stage 2の分散化要件を満たすことで、アップグレードのハードルを下げ、高スループットシナリオの経済性を向上させる。既存のアプリケーションとツールチェーンの連続性を維持しつつ、OPエコシステムは徐々に迅速なファイナリティ、低いステーキングコスト、強化されたセキュリティを得ることができる。EclipseはすでにKailuaを利用してZK Fraud Proofを実現し、アップグレードを加速している。BOBはZK Rollupへの完全移行を完了した。
5.4 The Signal：クロスチェーン相互運用性のZK信号層
位置づけとメカニズム
The SignalはBoundlessが提供する核心アプリケーション——オープンソースのZKコンセンサスクライアントである。これはイーサリアムビーコンチェーンの確定イベントを単一のゼロ知識証明に圧縮し、任意のチェーンやコントラクトがこの証明を直接検証できるようにすることで、マルチシグやオラクルに依存しない最小信頼のクロスチェーン相互作用を実現する。その価値は、イーサリアムの最終状態に「グローバルな読み取り可能性」を与え、クロスチェーン流動性とロジック相互作用の基盤を築くことにあり、冗長な計算とGasコストを大幅に削減する。
動作メカニズム
-
Boost The Signal：ユーザーは証明リクエストを提出することで「信号を強化」でき、すべてのETHは新しい証明のリクエストに直接使用され、信号の持続時間を延ばし、すべてのチェーンとアプリケーションに恩恵をもたらす。
-
Prove The Signal：誰でもBoundless Proverノードを実行し、イーサリアムブロックのZK証明を生成・放送でき、従来のマルチシグ検証に取って代わり、「数学で信頼を代替する」クロスチェーンコンセンサス層を形成する。
-
拡張経路：まずイーサリアムの確定ブロックに対して連続証明を生成し、「イーサリアム信号」を形成；次に他のパブリックチェーンに拡大し、マルチチェーン統一信号を構築；最終的に同一の暗号学的信号層で相互接続し、「共有周波数」を形成し、ラップ資産や中央集権的ブリッジなしのクロスチェーン相互運用を実現する。
現在すでに30以上のチームがThe Signalの推進に参加しており、Boundless市場には1,500以上のProverノードが集まり、0.5%のトークン報酬を競っている。GPUを持つユーザーなら誰でも無許可で参加可能である。The SignalはすでにBoundlessメインネットBetaでローンチしており、Baseベースの本番環境向け証明リクエストをサポートしている。
六、Boundlessロードマップ、メインネット進捗、エコシステム
Boundlessの発展は明確な段階的経路に従っている：
-
フェーズI – 開発者アクセス：開発者に早期アクセスを提供し、無料の証明リソースでアプリ探索を加速；
-
フェーズII – パブリックテストネット1：パブリックテストネットを開始し、両側市場メカニズムを導入、開発者とProverノードが実環境で相互作用；
-
フェーズIII – パブリックテストネット2：市場インセンティブと完全な経済メカニズムを導入し、自己維持可能な分散型証明ネットワークのテスト；
-
フェーズIV – メインネット：全面的なメインネットローンチで、すべてのチェーンに汎用ZK計算能力を提供。
2025年7月15日、BoundlessメインネットBetaが正式にローンチし、Base上で本番環境に先行投入された。ユーザーは実際の資金で証明リクエストを出し、Proverノードは無許可で参加でき、単一ノードは最大100個のGPUをサポートし入札に参加できる。デモンストレーションアプリとして、チームはThe Signalをリリースした。これはオープンソースのZKコンセンサスクライアントであり、イーサリアムビーコンチェーンの確定イベントを単一のゼロ知識証明に圧縮し、任意のチェーンやコントラクトが直接検証できる。これにより、イーサリアムの最終状態が「グローバルに読み取り可能」になり、クロスチェーン相互運用性と安全な決済の基盤が提供される。
Boundlessブラウザの稼働データによると、全体ネットワークは急速な成長と強靭性を示している。2025年8月18日時点で、累計542.7兆計算サイクルを処理し、39.9万件の注文を完了、106の独立プログラムをカバーした。単一証明の最大規模は1060億計算サイクルを突破（8月18日）、ネットワーク算力ピークは25.93MHzに達し（8月14日）、いずれも業界記録を更新した。注文履行状況を見ると、8月中旬の1日平均注文数が一時1.5万件を超えた。1日の算力ピークは40兆サイクルを超え、指数関数的成長傾向を示している。同時に、注文履行成功率は常に98%～100%の高水準を維持しており、市場メカニズムが相当成熟していることがわかる。さらに注目すべきは、proverの競争が激化するにつれ、単一サイクルコストがほぼ0Weiまで低下しており、ネットワークが効率的で低コストの大規模計算時代に入りつつあることを示している。
さらに、Boundlessはトップマイナーの積極的参加を引き付けている。Bitmainなどの主要メーカーは専用ASICマイニングマシンの開発に着手している。6block、Bitfufu、原力区、Intchain、Nano Labsなどの企業が既存のマイニングプールリソースをZK証明計算ノードに転換するためにネットワークに参加し、マイナー層の参入によりBoundlessのZK市場はさらに規模産業化の段階へと進んでいる。
七、ZK Coinのトークン経済モデル設計
ZK Coin（ZKC）はBoundlessプロトコルのネイティブトークンであり、ネットワーク全体の経済的・セキュリティ的アンカーでもある。その設計目標は、信頼でき、摩擦が少なく、持続的に拡張可能なゼロ知識計算市場を構築することにある。ZKCの総供給量は10億枚で、年々減少するインフレーションメカニズムを採用：初年度の年率インフレは約7%で、第8年までに3%まで低下し、以降は長期的に安定する。新規発行されたすべてのトークンは「検証可能な作業量証明（Proof of Verifiable Work, PoVW）」を通じて分配され、発行が実際の計算タスクに直接紐づくことを保証する。
Proof of Verifiable Work（PoVW）はBoundlessの核心的革新メカニズムであり、「検証可能な計算」を技術的能力から計測可能・取引可能な商品へと変換する。従来のブロックチェーンはすべてのノードによる再実行に依存し、単一ノードの算力ボトルネックに制限されるが、PoVWはゼロ知識証明を通じて一回の計算で全ネットワークが検証可能とし、信頼不要の計量システムを導入することで、計算作業量を価格設定可能なリソースに変換する。これにより、計算は必要に応じて拡張可能になり、市場による価格発見、サービス契約の締結、Proverノードへのインセンティブが可能となり、需要主導の好循環が生まれる。PoVWの導入により、ブロックチェーンは初めて算力の希少性から解放され、クロスチェーン相互運用性、オフチェーン実行、複雑な計算、プライバシー保護などの応用シナリオをサポートできるようになり、Boundlessが汎用ZK計算インフラを構築するための経済的・技術的二重基盤を築いた。
トークンの役割と価値獲得
ZK Coin（ZKC）はBoundlessのネイティブトークンであり、ネットワーク全体の経済的支柱でもある：
-
ステーキング担保：Proverは注文受付前にZKCをステーキングしなければならない（通常は最大リクエスト料金の10倍以上）。期限内に提出できなければ没収（50%焼却、50%他のproverに報酬）。
-
Proof of Verifiable Work (PoVW)：Proverはゼロ知識証明を生成することでZKCインセンティブを得る。これはマイニングに類似。報酬分配は：75%をproverに、25%をプロトコルステーキング者に。
-
汎用支払いレイヤー：アプリ側は自身のネイティブトークン（ETH、USDC、SOLなど）で証明料を支払うが、proverはZKCでステーキングしなければならず、すべての証明はZKCによって裏付けられる。
-
ガバナンス機能：ZKC保有者はBoundlessガバナンスに参加でき、市場メカニズム、zkVM統合、基金配分などを議決できる。
トークン分配（初期供給10億枚）
エコシステム成長（49%）
-
31% エコシステム基金：アプリ開発、開発者ツール、教育、インフラ維持を支援。第3年まで線形的にロック解除。
-
18% 戦略的成長基金：企業レベル統合、BD提携、機関proverクラスタ導入用。12ヶ月以内に段階的ロック解除、提携成果に連動。
コアチームおよび初期貢献者（23.5%）
-
20% コアチームおよび初期貢献者に。25%は1年クレフ、残り24ヶ月で線形ロック解除。
-
3.5% RISC Zeroに分配され、zkVM開発および研究基金に使用。
投資家（21.5%）：戦略的資本および技術支援者。25%は1年クレフ、残り2年で線形ロック解除。
コミュニティ（約6%）：コミュニティパブリックセールおよびエアドロップ。コミュニティ参加促進。パブリックセールは50% TGEでロック解除、50% 6ヶ月後にロック解除。エアドロップは100% TGEでロック解除。
ZKCはBoundlessプロトコルの核心的経済・セキュリティアンカーであり、証明の納品を保証するための担保として機能し、PoVWを通じて発行を実際の作業量に結びつけ、すべてのチェーンのZK需要を支える支払い裏付け層としても機能し、ガバナンス面でも保有者にプロトコル進化への参加権を与える。証明リクエストの増加と罰則焼却メカニズムの相乗効果により、より多くのZKCがロックされ流通から退出する。需要増加と供給縮小の二重効果により、長期的な価値の下支えが形成される。
八、チーム背景およびプロジェクト調達
RISC Zeroチームは2021年に設立された。Amazon、Google、Intel、Meta、Microsoft、Coinbase、Mina Foundation、O(1) Labsなど著名なテックおよび暗号関連機関出身のエンジニアと起業家から構成され、任意コードを実行可能な世界初のzkVMを開発し、それらを基盤に汎用ゼロ知識計算エコシステムを構築している。
Jeremy Bruestle – Co-founder & CEO, RISC Zero
Jeremyは20年以上のシステムアーキテクチャと分散計算の経験を持つベテラン技術者および連続起業家。元Intel Principal Engineer、Vertex.AI共同創業者兼チーフサイエンティスト、Spiral Genetics共同創業者および取締役。2022年にRISC Zeroを設立しCEOを務め、zkVM技術の研究開発と戦略を主導し、ゼロ知識証明の汎用計算分野への展開を推進している。
Frank Laub – Co-founder & CTO, RISC Zero
Frankは長年ディープラーニングコンパイラと仮想マシン技術に従事。Intel LabsおよびMovidiusでディープラーニングソフトウェア開発に従事し、Vertex.AI、Peach Techなどで豊富なエンジニアリング経験を積んだ。2021年にRISC Zeroを共同設立以来、CTOとしてzkVMコア、Bonsaiネットワーク、開発者ツールチェーンの構築を主導。
Shiv Shankar – CEO, Boundless
Shivはフィンテック、クラウドストレージ、コンプライアンス、分散システムなど多岐にわたる分野で15年以上のテクノロジーおよびエンジニアリング管理経験を持つ。2025年よりBoundlessのCEOを務め、製品およびエンジニアリングチームを率い、ゼロ知識証明の市場化およびクロスチェーン計算インフラ構築を推進。
Joe Restivo – COO, RISC Zero
Joeは三度の成功したエグジット経験を持つ起業家および運営の専門家で、組織運営とリスク管理の豊富な経験を持つ。二社がそれぞれAccentureとGitLabに買収された。シアトル大学ビジネススクールでリスク管理を講義している。2023年にRISC Zeroに参画し、現在COOとして全社運営とスケーリング管理を担当。
Brett Carter – VP of Product, RISC Zero
Brettは豊富なプロダクトマネジメントおよびエコシステム経験を持つ。O(1) Labsで上級プロダクトマネージャーを務めた。2023年にRISC Zeroに参画し、現在プロダクト副社長としてプロダクト戦略、エコシステムアプリケーションの実装、Boundlessとの市場連携を担当。
資金調達面では、RISC Zeroは2023年7月に4,000万ドルのシリーズA調達を完了。Blockchain Capitalが主導し、シードラウンド主導のBain Capital Cryptoも継続参画。その他にGalaxy Digital、IOSG、RockawayX、Maven 11、Fenbushi Capital、Delphi Digital、Algaé Ventures、IOBC、Zero Dao（Tribute Labs）、Figment Capital、a100x、Alchemyなどが参画した。
九、ZKVMおよびZK市場の競合分析
現在の市場でzkVMとzkMarketplaceの両方を備える代表的プロジェクトはSuccinctであり、SP1 zkVMとSuccinct Prover Network (SPN)から構成される。SP1はRISC-Vを基盤とし、LLVM IRフロントエンドで多言語互換を実現。SPNはイーサリアム上に展開され、ステーキングと入札メカニズムでタスクを配布し、$PROVEトークンが支払い、インセンティブ、セキュリティ機能を担う。これに対し、RISC Zeroは「二本立て」戦略を採用：一方ではBonsaiが公式ホスティングのProver-as-a-Serviceを提供し、高性能で安定、企業向けアプリケーションに適する。他方でBoundlessを通じてオープンな分散型証明市場を構築し、任意のGPU/CPUノードが自由に参加可能とし、分散化とノードカバレッジを最大化するが、パフォーマンスの一貫性はやや劣る。
Risc Zeroは開放性と産業化実装の両立を図る一方、Succinctは高性能と標準化路線に重点を置いている。
Risc Zero(zkVM + Bonsai + Boundless) と Succinct (SP1 zkVM + SPN) の違いと位置づけ
RISC-VとWasmの比較
RISC-VとWASMは汎用zkVMの二大ルートであり、前者はハードウェアレベルのオープン命令セットで、ルールが簡潔、エコシステムが成熟しており、回路パフォーマンス最適化や将来的な検証可能ハードウェアアクセラレーションに有利。しかし従来のWebアプリケーションエコシステムとの統合は限定的。WASMはクロスプラットフォームバイトコードで、多言語およびWebアプリケーション移行を天然にサポートし、ランタイムが成熟しているが、スタックアーキテクチャのためパフォーマンス上限はRISC-Vより低い。全体的に見れば、RISC-V zkVMはパフォーマンスと汎用計算拡張を追求するのに適し、zkWasmは多言語およびWebシナリオで優位性を持つ。
十、まとめ：ビジネスロジック、工学的実装、潜在的リスク
ZK技術は単一のスケーリングツールから、ブロックチェーンの信頼できる計算の汎用的基盤へと進化している。RISC ZeroはオープンなRISC-VアーキテクチャによりEVM依存を突破し、ゼロ知識証明を汎用オフチェーン計算に拡張し、zk-Coprocessorおよび分散型証明市場（Bonsai、Boundlessなど）を生み出した。これらは共に拡張可能で、取引可能で、ガバナンス可能な計算信頼レイヤーを構築し、ブロックチェーンに高いパフォーマンス、強化された相互運用性、より広大な応用範囲をもたらしている。
もちろん短期的にはZK分野はまだ多くの課題に直面している：2023年に一次市場でZKコンセプトの投機が頂点に達した後、2024年に主要zkEVMプロジェクトが上場し、二次市場の熱も消耗した。また、L2のトップチームの多くは独自のproverを採用しており、クロスチェーン検証、zkML、プライバシー計算などの応用シナリオはまだ初期段階で、仲介可能なタスクは限られている。つまり、オープンなproving marketplaceの注文量では巨大ネットワークを支えるのが難しく、その価値はむしろ将来の需要爆発時に先手を取るためにprover供給を事前集約することにある。同時に、zkVMは技術的障壁が低いものの、イーサリアムエコシステムに直接参入するのは困難であり、将来はオフチェーン複雑計算、クロスチェーン検証、非EVMチェーン接続などのシナリオで独特な補完的価値を持つだろう。
全体として、ZK技術の進化経路は次第に明確になってきた：zkEVMの互換性探求から、汎用zkVMの出現、そしてBoundlessに代表される分散型証明市場へと至る中で、ゼロ知識証明は急速に商品化とインフラ化を進めている。投資家や開発者にとって、現時点はまだ検証期間かもしれないが、そこには次の産業サイクルの核心的チャンスが宿っている。
免責事項：本文の一部にはAI補助創作が含まれており、筆者は資料と情報の正確性・真実性確保に尽力しましたが、誤りや漏れがある場合があります。本文は研究・参考目的にのみ提供され、いかなる投資勧誘、提案、金融サービスを構成するものではありません。なお、トークンおよび関連デジタル資産の価格には極めて高いリスクと急激な変動が伴うことをご理解ください。読者は投資判断を行う前に各自で慎重に判断し、すべてのリスクを負うものとします。
TechFlow公式コミュニティへようこそ
Telegram購読グループ：https://t.me/TechFlowDaily
Twitter公式アカウント：https://x.com/TechFlowPost
Twitter英語アカウント：https://x.com/BlockFlow_News
