zkVMからオープンプルーフ市場へ：RISCゼロと無限の分析

著者: 0xjacobzhao

ブロックチェーン分野において、暗号技術はセキュリティと信頼の中核を成す基盤です。ゼロ知識証明（ZK）は、任意の複雑なオフチェーン計算を、信頼できる第三者に依存せずにオンチェーンで効率的に検証可能な短い証明に圧縮することができます。また、入力を選択的に秘匿することでプライバシーを保護します。効率的な検証、普遍性、そしてプライバシーを兼ね備えたZKは、スケーラビリティ、プライバシー、クロスチェーン操作など、幅広いアプリケーションにおける重要なソリューションとなっています。証明生成のオーバーヘッドの高さや複雑な回路開発といった課題は依然として残っていますが、ZKのエンジニアリング上の実現可能性と普及率は他のアプローチをはるかに上回り、最も広く採用されているトラステッド・コンピューティング・フレームワークとなっています。

1. ZKトラックの開発の歴史

ゼロ知識証明（ZK）技術の開発は一夜にして実現したわけではなく、数十年にわたる理論的蓄積と工学的探究を経て実現しました。全体的なプロセスは、以下の主要な段階に分けられます。

1. 理論的基礎と技術的ブレークスルー（1980年代～2010年代）：ZK概念は、MITの学者であるシャフィ・ゴールドワッサー、シルヴィオ・ミカリ、チャールズ・ラックオフによって提唱され、当初は対話型証明理論に焦点を当てていました。2010年代に非対話型ゼロ知識証明（NIZK）とzk-SNARKが登場したことで、証明効率は大幅に向上しましたが、初期段階では依然として信頼済みセットアップに依存していました。

2. ブロックチェーンの応用（2010年代後半）：Zcashはプライベート決済向けにzk-SNARKを導入し、初の大規模ブロックチェーン実装を実現しました。しかし、証明生成コストが高いため、実用的な応用シナリオは依然として限られています。

3. 爆発的な成長と拡大（2020年代から現在）：この期間中、ZKテクノロジーは完全に業界の主流に入りました。

ZK ロールアップ: オフチェーンのバッチ計算とオンチェーンの証明を通じて、高いスループットと安全な継承を実現し、レイヤー 2 拡張の中核パスになります。
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 は、プルーフオブステークのコンピューティング能力を販売し、分散型証明者ネットワーク (Boundless など) を形成し、ZK をユビキタスコンピューティングレイヤーにすることを推進しています。

ZKテクノロジーは、難解な暗号概念からブロックチェーンインフラの中核モジュールへと進化しました。スケーラビリティとプライバシー保護をサポートするだけでなく、クロスチェーン相互運用性、金融コンプライアンス、人工知能（ZKML）といった最先端のシナリオにおいて戦略的価値を発揮しています。ツールチェーン、ハードウェアアクセラレーション、そして証明ネットワークの継続的な改善により、ZKエコシステムは急速にスケールとユビキタス化へと進んでいます。

2. ZKテクノロジーアプリケーションの展望：スケーリング、プライバシー、相互運用性

スケーラビリティ、プライバシー、相互運用性とデータの整合性は、ZK「信頼できるコンピューティング」テクノロジーの 3 つの基本シナリオであり、ブロックチェーンのパフォーマンス不足、プライバシーの欠如、マルチチェーンの相互信頼という元々の問題点に対応しています。

スケーラビリティは、ZKの最も初期かつ最も広く利用されているユースケースです。その中核となるコンセプトは、トランザクション実行をオフチェーンに移行し、簡潔な証明を用いてオンチェーンで検証することです。これにより、セキュリティを犠牲にすることなく、トランザクションのスループットを大幅に向上させ、コストを削減できます。代表的なアプローチとしては、バッチトランザクション圧縮によってスケーラビリティを実現するzkRollup（zkSync、Scroll、Polygon zkEVM）、ネイティブEthereum互換性のためにEVM命令レベルで回路を構築するzkEVM、そしてより汎用的なzkVM（RISC Zero、Succinct）が挙げられます。zkVMは、任意のロジックの検証可能なアウトソーシングをサポートします。
プライバシーは、機密データの漏洩を回避しながら、取引や行動の正当性を証明することを目的としています。代表的なアプリケーションとしては、金額や相手方を開示することなく資金移転の正当性を保証するプライベート決済（Zcash、Aztec）、投票内容を明らかにせずにガバナンスを可能にするプライベート投票とDAOガバナンス、そして追加情報を開示することなく「適格性」のみを証明するプライベートID/KYC（zkID、zkKYC）などが挙げられます。
相互運用性とデータ整合性は、マルチチェーン世界における信頼性の課題を解決するZKテクノロジーのアプローチにおける重要な側面です。別のチェーンの状態証明を生成することで、チェーン間の相互作用において中央集権的なリレーが不要になります。代表的な実装としては、zkBridge（チェーン間の状態証明）や軽量クライアント検証（ソースチェーンのブロックヘッダーをターゲットチェーン上で効率的に検証）があり、PolyhedraやHerodotusといったプロジェクトがこれを実証しています。ZKは、AxiomやSpace and TimeにおけるzkQuery/zkSQLといったデータおよび状態の証明、IoTやストレージシナリオにおけるデータ整合性検証にも広く利用されており、オフチェーンデータのオンチェーンにおける信頼性を確保しています。

これら3つの基本シナリオを基盤として、ZKテクノロジーは将来、より幅広い業界アプリケーションに展開する可能性を秘めています。例えば、AI（zkML）は、モデルの推論やトレーニングのための検証可能な証明を生成し、「信頼できるAI」を実現します。金融コンプライアンス（取引所のProof of Reserves（PoR）、決済、監査など）は、信頼コストを削減します。ゲームおよび科学計算（GameFiやDeSciにおけるロジックと実験結果の信頼性を確保）もその例です。これらはすべて、様々な業界における「検証可能なコンピューティング + データ証明」の拡張です。

zkEVMを超えて: ユニバーサルzkVMと証明市場の台頭

2022年にイーサリアム創設者のVitalikが提案したZK-EVMの4つのカテゴリ分類（タイプ1～4）は、互換性とパフォーマンスのトレードオフを明らかにしています。

タイプ1（完全等価性）：バイトコードはEthereum L1と完全に同一であり、移行コストは最も低いが、検証は最も遅い。代表プロジェクト：Taiko
タイプ2（完全互換）：EVMとの高度な同等性を維持しながら、基盤となる最適化を最小限に抑え、最高の互換性を提供します。代表的なプロジェクトには、ScrollやLineaなどがあります。
タイプ2.5（準互換）：EVMのマイナーチェンジ（ガスコストやプリコンパイルサポートなど）により、パフォーマンス向上と引き換えに互換性が若干犠牲になります。代表的なプロジェクト：Polygon zkEVM、Kakarot（Starknet上で動作するEVM）。
タイプ3（部分的互換性）：このアプローチでは、基盤となるインフラストラクチャに徹底的な変更が加えられ、ほとんどのアプリケーションを実行できるようになりますが、Ethereumインフラストラクチャを完全に再利用することはできません。代表的なプロジェクトとしては、zkSync Eraなどが挙げられます。
タイプ4（言語レベルの互換性）：バイトコード互換性を放棄し、高級言語からzkVMに直接コンパイルすることで最高のパフォーマンスが得られますが、エコシステムの再構築が必要になります。代表的なプロジェクトとしては、Starknet（Cairo）などがあります。

このフェーズのテーマは、イーサリアムの実行ボトルネックの緩和を目的とした「zkRollup戦争」でした。しかし、2つの大きな制約が浮上しました。1つ目は、EVMの回路化が困難で、証明効率が制限される点です。2つ目は、ZKの潜在能力が容量拡張をはるかに超え、クロスチェーン検証、データ証明、さらにはAIコンピューティングにまで及ぶ点です。

こうした背景から、汎用的なzkVMが登場し、イーサリアム互換のzkEVMアプローチに取って代わり、チェーンに依存しないトラステッドコンピューティングに重点を置きました。RISC-V、LLVM IR、Wasmなどの汎用命令セットをベースとするzkVMは、RustやC/C++などの言語をサポートし、開発者は成熟したエコシステムライブラリを用いて任意のアプリケーションロジックを構築し、証明を通じてオンチェーンで検証することができます。RISC Zero（RISC-V）とDelphinus zkWasm（Wasm）はその代表的な例です。このアプローチの意義は、zkVMが単なるイーサリアムのスケーリングツールではなく、ZKの世界における「信頼できるCPU」である点にあります。

RISC-V：RISC Zeroに代表されるこのアプローチは、オープンで汎用的なRISC-V命令セットをzkVMの実行コアとして直接選択します。オープンなエコシステム、簡潔な命令セット、回路実装の容易さなどの利点があります。Rust、C、C++といった主流言語のコードをコンパイルできるため、「汎用zkCPU」としての利用に適しています。ただし、Ethereumバイトコードとのネイティブ互換性が欠如しており、コプロセッサへの統合が必要になるという欠点があります。
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コプロセッサはzkVMをコプロセッサとしてカプセル化することで、EVMのようなチェーンが複雑な計算タスクをオフチェーン実行にアウトソースし、ゼロ知識証明を通じてオンチェーンで検証することを可能にします。代表的な例としては、RISC Zero SteelやLagrangeなどが挙げられ、これらは「GPU/コプロセッサ」に相当します。さらに、zkMarketplaceは、分散型ネットワークを通じて証明タスクを市場ベースで配布することを可能にします。世界中の証明ノードは、Boundlessなどの入札を通じてタスクを完了し、ゼロ知識計算のためのコンピューティングパワー市場を形成します。

その結果、ゼロ知識技術スタックはzkVMからzkコプロセッサ、そしてzkMarketplaceへと進化しました。このシステムは、ゼロ知識証明が単一のEthereumスケーリングツールから普遍的な信頼できるコンピューティングインフラストラクチャへと進化したことを示しています。この進化の連鎖において、RISC-VをzkVMコアとするRISC Zeroは、オープン性、回路効率、エコシステムへの適応性の間で最適なバランスを実現しています。これにより、開発障壁の低いエクスペリエンスを提供すると同時に、Steel、Bonsai、Boundlessなどの拡張レイヤーを通じてzkVMをzkコプロセッサや分散型証明マーケットへと進化させ、より幅広いアプリケーションへの展開を可能にします。

RISC Zeroの技術パスとエコシステム

RISC-Vは、オープンでロイヤリティフリーの命令セットアーキテクチャ（ISA）であり、単一ベンダーによる制御がなく、本質的に分散化されています。このオープンアーキテクチャを活用し、RISC ZeroはRustなどの汎用言語と互換性のあるzkVMを構築しました。これにより、EthereumエコシステムにおけるSolidityの制限が打破され、開発者は標準的なRustプログラムを直接コンパイルして、ゼロ知識証明を生成できるアプリケーションを作成できます。このアプローチにより、ZKテクノロジーの応用範囲はブロックチェーン契約にとどまらず、汎用コンピューティングというより広範な分野へと拡大します。

RISC0 zkVM: ユニバーサル・トラステッド・コンピューティング環境

複雑なEVM命令セットとの互換性を必要とするzkEVMプロジェクトとは異なり、RISC-VアーキテクチャをベースとするRISC0 zkVMは、よりオープンで汎用性の高い設計となっています。アプリケーションは、ELFバイナリにコンパイルされたゲストコードで構成されています。ホストはこれをエグゼキュータを介して実行し、エグゼキュータは実行プロセス（セッション）を記録します。その後、プローバは公開出力（ジャーナル）と暗号証明（シール）を含む検証可能なレシートを生成します。第三者は、レシートを検証するだけで計算の正しさを検証でき、計算を再実行する必要はありません。

2025年4月のR0VM 2.0のリリースは、zkVMがリアルタイム時代へ突入したことを象徴するものでした。イーサリアムのブロック証明時間は35分から44秒に短縮され、コストは最大5分の1に削減され、ユーザーメモリは3GBに拡張され、より複雑なアプリケーションシナリオに対応できるようになりました。また、BN254とBLS12-381という2つの主要なプリコンパイルも追加され、イーサリアムの主流要件を完全にカバーしています。さらに重要なのは、R0VM 2.0がセキュリティのための形式検証を導入し、ほとんどのRISC-V回路の決定論的検証を完了したことです。目標は、2025年7月までに、ブロックレベルのリアルタイムzkVM（証明時間が12秒未満）を実現することです。

zkCoprocessor Steel: オフチェーン計算のためのブリッジ

zkCoprocessorの中核となるコンセプトは、複雑な計算タスクをオンチェーンからオフチェーン実行へとオフロードし、ゼロ知識証明を介して結果を返すことです。スマートコントラクトはタスク全体を再計算することなく証明の検証のみを行うため、ガスコストが大幅に削減され、パフォーマンスのボトルネックが解消されます。例えば、RISC0のSteelはSolidity用の外部証明インターフェースを提供し、大規模な履歴状態クエリやブロック間バッチ計算のアウトソーシングを可能にします。さらに、単一の証明で数十個のEthereumブロックを検証することも可能です。

Bonsai: SaaSベースの高性能証明サービス

RISC Zeroは、産業グレードのアプリケーションのニーズに応えるため、公式にホストされたProver-as-a-ServiceプラットフォームであるBonsaiをリリースしました。このプラットフォームは証明タスクをGPUクラスターに分散することで、開発者は独自のハードウェアを構築することなく、高性能な証明を実現できます。RISC Zeroはまた、SolidityとzkVM間のシームレスな連携を可能にするBento SDKも提供しており、zkCoprocessorの統合における複雑さを大幅に軽減します。一方、Boundlessはオープンマーケットプレイスを通じて分散型の証明を実現し、補完的なプラットフォームを構築しています。

RISCゼロフルプロダクトマトリックス

RISC Zero の製品エコシステムは zkVM を中心に上方に拡張され、実行、ネットワーク、市場、アプリケーション層をカバーする完全なマトリックスを徐々に形成します。

5. ZKマーケット：信頼できるコンピューティングの分散型コモディティ化

ゼロ知識証明（ZK）市場は、コストと複雑さを伴い複雑な証明生成プロセスを分離し、分散型で取引可能なコンピューティングコモディティへと転換します。グローバルに分散された証明者ネットワークを通じて、コンピューティングタスクは入札を通じてアウトソーシングされ、コストと効率性を動的にバランスさせます。経済的インセンティブによってGPUやASICの参加者を継続的に誘致することで、自己強化的なサイクルが生まれます。BoundlessとSuccinctは、この分野の代表的な例です。

5.1 無限：汎用ゼロ知識コンピューティング市場

コンセプトポジショニング

BoundlessはRISC Zeroによって開発された汎用ZKプロトコルであり、あらゆるブロックチェーンにスケーラブルで検証可能なコンピューティング能力を提供するように設計されています。その基本原理は、証明生成をブロックチェーンのコンセンサスから分離し、分散型市場メカニズムを通じて計算タスクを分散することです。開発者が証明リクエストを送信すると、Proverノードは分散型インセンティブメカニズムを通じてリクエストの実行を競い合い、「検証可能な作業の証明」に対して報酬を受け取ります。計算能力を無駄に浪費する従来のPoWとは異なり、Boundlessは計算能力を実際のアプリケーションで使用できるZK結果に変換し、計算リソースを真に価値あるものにします。

アーキテクチャとメカニズム

Boundless Marketplace のワークフローには以下が含まれます。

リクエストの提出: 開発者は zkVM プログラムと入力を市場に提出します。
ノード入札: 証明ノードはタスクを評価して入札し、タスクをロックした後に実行権を取得します。
証明生成と集約：複雑な計算はサブタスクに分割され、各サブタスクはzk-STARK証明を生成します。これらの証明は再帰と集約回路を通じて統一された最終証明に圧縮され、オンチェーン検証コストを大幅に削減します。
クロスチェーン検証: Boundlessは、複数のチェーン上で統一された検証インターフェースを提供し、ワンタイムビルドとクロスチェーン再利用を可能にします。

このアーキテクチャにより、スマートコントラクトが複雑な計算を繰り返し実行する必要がなくなり、短い証明を検証するだけで確認が完了するため、ガス制限やブロック容量の制限を突破できます。

エコシステムとアプリケーション: 市場レベルのプロトコルとして、Boundless は他の RISC Zero 製品を補完します。

Steel: EVM 用の ZK コプロセッサ。複雑な Solidity 実行をオフチェーンに移動し、オンチェーンで検証します。
OP Kailua: OP スタックチェーンの ZK アップグレードパスを提供し、より高いセキュリティとより速いファイナリティを実現します。

Boundlessは、FRI最適化、多項式並列化、VPUハードウェアアクセラレーションを組み合わせることで、イーサリアム上で12秒未満のリアルタイム証明を実現することを目指しています。ノード数と需要の増加に伴い、Boundlessは自己強化型のコンピューティングパワーネットワークを形成し、ガスコストを削減するとともに、オンチェーン検証可能AI、クロスチェーン流動性、無制限のコンピューティングといった新たなアプリケーションシナリオを実現します。

5.2 アプリの境界なし: ガス制限の突破

Boundless for Appsは、Ethereumおよびレイヤー2アプリケーションに「無制限のコンピューティングパワー」を提供することを目指しています。複雑なロジックを分散型証明ネットワークにオフロードして実行し、その後、ZK証明を用いてオンチェーンで検証します。その利点には、無制限の実行、一定のガスコスト、Solidity/Vyperとの互換性、ネイティブなクロスチェーンサポートなどがあります。

EVMのZKコプロセッサであるSteelは、開発者がSolidityコントラクト内で大規模な状態クエリ、クロスブロックチェーン計算、イベント駆動型ロジックを実装することを可能にします。また、R0-Heliosライトクライアントを介して、ETHとOP Stack間のクロスチェーンデータ検証も可能にします。EigenLayerなどのプロジェクトはSteelとの統合を検討しており、DeFiおよびマルチチェーンインタラクションにおけるその可能性を示しています。

Steel: EVM のためのスケーラブルな計算層

Steelの核となる目標は、複雑なロジックをオフチェーンに移行し、ゼロ知識証明によってオンチェーンで検証することで、ガス使用量、単一ブロック実行、履歴状態へのアクセスといったEthereumの限界を克服することです。セキュリティを確保しながら、一定の検証オーバーヘッドを伴うほぼ無制限のコンピューティングパワーを提供します。

Steel 2.0 では、開発者は次の 3 つの主要機能を活用して契約設計スペースを拡張できます。

イベント駆動型ロジック: 集中型のインデクサーへの依存を回避し、イベントログを直接入力として使用します。
履歴ステータスのクエリ: Dencun アップグレード以降の任意のブロックのストレージスロットまたはアカウント残高にアクセスします。
ブロック間計算: 複数のブロックにわたって操作 (移動平均や累積指標など) を実行し、単一の証明とともにチェーン上で送信します。

この設計により、コストは大幅に削減されます。Steelの登場により、EVMではこれまで制限されていたアプリケーション（高頻度コンピューティング、状態バックトラッキング、ブロック間ロジックなど）の実装が可能になり、オフチェーンコンピューティングとオンチェーン検証をつなぐ重要な架け橋として徐々に定着しています。

5.3 Boundless for Rollups: ZK 駆動型ロールアップ高速化ソリューション

Boundless for Rollupsは、分散型プルーフネットワークを通じて、OP Stackのようなセカンドレイヤーチェーンに、より高速で安全な決済パスを提供します。その主な利点は以下のとおりです。

高速化されたファイナリティ: 7 日間の決済時間を約 3 時間 (ハイブリッドモード) または 1 時間未満 (有効性モード) 短縮します。
より強力なセキュリティ: ZK Fraud Proof と Validity Proof の段階的なアップグレードを通じて、暗号レベルのセキュリティを提供します。
分散型の進化: 分散型証明者ネットワークと低い担保要件に依存し、急速にステージ 2 の分散化へと移行します。
ネイティブスケーラビリティ: 高スループットチェーンで安定したパフォーマンスと予測可能なコストを維持します。

OP Kailua: OPチェーンにZKアップグレードパスを提供する

Boundless for Rollups のコアソリューションとして、RISC Zero によってリリースされた OP Kailua は、Optimism ベースの Rollups 専用に設計されており、チームがパフォーマンスとセキュリティの面で従来の OP アーキテクチャを上回ることを可能にします。

Kailua は段階的なアップグレードをサポートする 2 つのモードを提供します。

ハイブリッドモード（ZK Fraud Proof）：ZK Fraud Proofは、複数回のインタラクティブなFault Proofを代替し、紛争解決の複雑さとコストを大幅に削減します。証明費用は悪意のある当事者が負担し、ファイナリティ（最終決定までの時間）は約3時間に短縮されます。
有効性モード (ZK 有効性証明): ゼロ知識有効性証明を使用して ZK ロールアップに直接変換し、紛争を完全に排除し、1 時間未満のファイナリティを達成し、最高レベルのセキュリティを提供します。

Kailuaは、OPチェーンの楽観的（Optimistic）からハイブリッド、そしてZKロールアップへのスムーズなアップグレードパスをサポートし、ステージ2の分散化要件を満たしています。これにより、アップグレードの障壁が低減され、高スループットシナリオにおける経済性が向上します。既存のアプリケーションとツールチェーンの連続性を維持しながら、OPエコシステムは段階的に迅速なファイナリティ、ステーキングコストの削減、そしてセキュリティ強化を実現できます。EclipseはKailuaを活用してZK Fraud Proofを実装し、アップグレードを加速させています。一方、BOBはZKロールアップへの移行を完了しました。

5.4 シグナル：クロスチェーン相互運用性のためのZKシグナリングレイヤー

位置決めとメカニズム

SignalはBoundlessのコアアプリケーションであり、オープンソースのZKコンセンサスクライアントです。Ethereumビーコンチェーンのファイナリティイベントを、あらゆるチェーンやコントラクトで直接検証可能な単一のゼロ知識証明に圧縮することで、マルチシグやオラクルを必要とせずに、信頼性を最小限に抑えたクロスチェーンインタラクションを実現します。その価値は、Ethereumの最終状態をグローバルに読み取り可能にし、クロスチェーンの流動性と論理的なインタラクションへの道を開き、冗長な計算とガスコストを大幅に削減することにあります。

動作機構

シグナルをブースト：ユーザーはプルーフリクエストを送信することで「シグナルをブースト」できます。すべてのETHは新しいプルーフのリクエストに直接使用され、シグナルの持続期間が延長され、すべてのチェーンとアプリケーションにメリットをもたらします。
シグナルの証明: 誰でも Boundless Prover ノードを実行して、Ethereum ブロックの ZK 証明を生成およびブロードキャストし、従来のマルチ署名検証を置き換えて、「信頼を数学に置き換える」クロスチェーンコンセンサスレイヤーを形成できます。
拡張パス：まず、イーサリアムの確定ブロックの継続的な証明を生成して「イーサリアム信号」を形成し、次にそれを他のパブリックチェーンに拡張して、マルチチェーンの統合信号を構築します。最後に、同じ暗号信号層で相互接続して「共有波長」を形成し、パッケージ化された資産や集中型ブリッジなしでチェーン間の相互運用性を実現します。

現在、30以上のチームがThe Signalの開発に参加しています。1,500以上のProverノードがBoundlessマーケットに集結し、トークンインセンティブの0.5%を競い合っています。GPUをお持ちの方ならどなたでも許可なく参加できます。The Signalは現在、Boundlessメインネットベータ版で稼働しており、BaseベースのプロダクショングレードのProofリクエストをサポートしています。

VI. Boundlessロードマップ、メインネットの進捗、エコシステム

Boundless の開発は、明確な段階的な道筋に沿っています。

フェーズ I – 開発者アクセス: 開発者に早期アクセスを提供し、アプリケーションの探索を加速するための無料の証明リソースを提供します。
フェーズ II – パブリックテストネット 1: パブリックテストネットを起動し、双方向市場メカニズムを導入して、開発者が実際の環境で Prover ノードと対話できるようにします。
フェーズ III – パブリックテストネット 2: 自立的な分散型プルーフオブステークネットワークをテストするために市場インセンティブと完全な経済メカニズムを導入します。
フェーズ IV – メインネット: 完全なメインネットの起動。すべてのチェーンにユニバーサル ZK コンピューティング機能を提供します。

2025年7月15日、Boundlessメインネットベータ版が正式にリリースされ、Base上で本番環境に移行しました。ユーザーは実際の資金でプルーフをリクエストでき、Proverノードはパーミッションレスでプルーフにアクセスできます。1つのノードは最大100個のGPUをサポートし、入札に参加します。デモアプリケーションとして、チームはオープンソースのZKコンセンサスクライアントであるSignalをリリースしました。Signalは、Ethereumビーコンチェーンのファイナリティイベントを単一のゼロ知識プルーフに圧縮し、あらゆるチェーンとコントラクトで直接検証できます。これにより、Ethereumの最終状態がグローバルに読み取り可能になり、チェーン間の相互運用性と安全な決済の基盤が築かれます。

Boundlessブラウザのデータは、ネットワークの急速な成長と強力な回復力を実証しています。2025年8月18日時点で、ネットワークは累計542.7兆サイクルの計算処理を行い、399,000件の注文を処理し、106の独立プログラムをカバーしました。最大の単一証明は1060億サイクルを超え（8月18日）、ネットワークのピーク計算能力は25.93MHzに達し（8月14日）、いずれも業界新記録を樹立しました。注文履行に関しては、8月中旬には1日平均注文数が15,000件を超え、1日ピーク計算能力は40兆サイクルを超え、指数関数的な成長を示しました。さらに、注文履行成功率は一貫して98%～100%の高い水準を維持しており、証明市場メカニズムの成熟度を示しています。さらに注目すべきは、証明者間の競争が激化したことで、サイクルあたりのコストがほぼゼロ Wei にまで低下し、ネットワークが効率的で低コストの大規模コンピューティングの時代に入っていることを示していることです。

さらに、Boundlessはトップマイナーの積極的な参加を促しています。Bitmainなどの大手メーカーは、既に専用ASICマイニングマシンの開発に着手しています。6block、Bitfufu、Force Zone、Intchain、Nano Labsといった企業がネットワークに参加し、既存のマイニングプールのリソースをZK対応コンピューティングノードに変換しています。こうしたマイナーの流入は、BoundlessのZK市場の大規模な産業化を推進しています。

7. ZKコイントークン経済モデル設計

ZKコイン（ZKC）は、Boundlessプロトコルのネイティブトークンであり、ネットワーク全体の経済的およびセキュリティ的支柱です。その設計目標は、信頼性が高く、摩擦が少なく、スケーラブルなゼロ知識計算市場を構築することです。ZKCの総発行量は10億で、年間インフレ率は減少傾向にあります。初年度の年間インフレ率は約7%で、8年目には徐々に減少し3%となり、その後は長期的にこの水準で安定します。新規発行されるすべてのトークンは、検証可能な作業の証明（PoVW）を通じて割り当てられ、発行が実際の計算作業に直接結びついていることを保証します。

検証可能な作業の証明（PoVW）は、Boundlessの中核的なイノベーションであり、検証可能な計算を技術的な能力から測定可能で取引可能な商品へと変革します。従来のブロックチェーンは、すべてのノード間で繰り返し実行することに依存しており、単一ノードの計算能力によって制限されていました。一方、PoVWはゼロ知識証明を活用することで、ネットワーク全体で検証可能な単一の計算を可能にします。また、トラストレスな測定システムを導入し、計算ワークロードを価格設定されたリソースに変換します。これにより、計算は需要に応じて拡張できるだけでなく、市場主導の価格形成、サービス契約、インセンティブ付き証明ノードを通じても拡張可能になり、需要主導の好循環が生まれます。PoVWの導入により、ブロックチェーンは初めて計算能力の不足から解放され、クロスチェーンの相互運用性、オフチェーン実行、複雑な計算、プライバシー保護が可能になります。これは、BoundlessがユニバーサルなZKコンピューティングインフラストラクチャを構築するための経済的および技術的な基盤となります。

トークンの役割と価値の獲得

ZK コイン (ZKC) は Boundless のネイティブトークンであり、ネットワーク全体の経済的バックボーンです。

質入れと担保：証明者は注文を受け入れる前に、ZKC（通常は最大リクエスト手数料の10倍以上）を質入れする必要があります。質入れが期限内に行われない場合、証明者は罰金を科せられます（50%は破棄され、残りの50%は他の証明者に付与されます）。
検証可能作業証明（PoVW）：証明者は、マイニングの仕組みに似たゼロ知識証明を生成することで、ゼロ知識証明報酬（ZKC）を獲得します。報酬は以下のように分配されます：75%が証明者、25%がプロトコルステーカーに分配されます。
ユニバーサル支払いレイヤー: 申請者は独自のネイティブトークン (ETH、USDC、SOL など) を使用して証明料を支払いますが、証明者は ZKC を担保にする必要があるため、すべての証明は ZKC によって承認されます。
ガバナンス機能：ZKC 保有者は、市場メカニズム、zkVM 統合、資金配分などを含む Boundless ガバナンスに参加できます。

トークン配布（初期供給量10億）

エコシステムの成長（49％）

31% エコシステムファンド: アプリケーション開発、開発者ツール、教育、インフラストラクチャのメンテナンスをサポートします。3 年目まで線形にロック解除されます。
18% 戦略成長基金：企業レベルの統合、BD 協力、機関証明クラスターの導入に使用されます。12 か月以内に段階的にロック解除され、協力の成果に連動します。

コアチームと初期の貢献者（23.5％）

20% はコアチームと初期の貢献者に渡され、25% は 1 年間のクリフ、残りは 24 か月間にわたって線形にロック解除されます。
3.5% は、zkVM の研究開発および研究資金として RISC Zero に割り当てられます。

投資家（21.5%）：戦略的資本および技術的支援者。25% は 1 年間のクリフ、残りの 2 年間は線形ロック解除。

コミュニティ (約 6%): コミュニティの参加を促進するためのコミュニティ公募とエアドロップ。公募の 50% は TGE によってロック解除され、残りの 50% は 6 か月後にロック解除されます。エアドロップの 100% は TGE によってロック解除されます。

ZKCは、Boundlessプロトコルの経済的およびセキュリティ上の中核を成すものです。証明の送達を保証する担保として機能し、プルーフ・オブ・ワーク（PoVW）を通じて発行を現実世界のワークロードに結び付け、チェーン全体におけるZKCの決済エンドースメント層として機能します。さらに、保有者はガバナンスレベルでプロトコルの進化に参加することができます。証明リクエストが増加し、ペナルティバーンメカニズムが強化されるにつれて、より多くのZKCがロックされ、流通から排除されます。これにより、需要の増加と供給の減少という二つの力によってもたらされる長期的な価値提案が生まれます。

8. チームの背景とプロジェクトの資金調達

RISC Zeroチームは2021年に設立されました。Amazon、Google、Intel、Meta、Microsoft、Coinbase、Mina Foundation、O(1) Labsなど、著名なテクノロジーおよび暗号化機関のエンジニアと起業家で構成されたこのチームは、任意のコードを実行できる世界初のzkVMを作成し、それに基づいてユニバーサルなゼロ知識コンピューティングエコシステムを構築しています。

ジェレミー・ブルーストル – RISC Zero 共同創設者兼 CEO

ジェレミーは、システムアーキテクチャと分散コンピューティングの分野で20年以上の経験を持つベテラン技術者であり、連続起業家です。以前はIntelの主席エンジニア、Vertex.AIの共同創業者兼チーフサイエンティスト、Spiral Geneticsの共同創業者兼取締役を務めました。2022年にはRISC Zeroを設立し、CEOに就任。zkVM技術の開発と戦略を主導し、汎用コンピューティングにおけるゼロ知識証明の実装を推進しています。

フランク・ラウブ – RISC Zero 共同創設者兼CTO

フランクはディープラーニングコンパイラと仮想マシン技術の分野で長年の経験を持ち、以前はIntel LabsとMovidiusでディープラーニングソフトウェア開発に携わり、Vertex.AIやPeach Techといった企業で豊富なエンジニアリング経験を積んできました。2021年にRISC Zeroを共同設立して以来、CTOを務め、zkVMカーネル、Bonsaiネットワーク、開発者ツールチェーンの開発を主導してきました。

シブ・シャンカール – バウンドレス CEO

シヴは、フィンテック、クラウドストレージ、コンプライアンス、分散システムなど、様々な分野において、テクノロジーおよびエンジニアリング管理の分野で15年以上の経験を有しています。2025年からBoundlessのCEOを務め、製品チームとエンジニアリングチームを率いて、ゼロ知識証明の商用化とクロスチェーン・コンピューティング・インフラストラクチャの開発を推進しています。

ジョー・レスティボ – RISC Zero、COO

ジョーは3度の起業経験を持ち、組織管理とリスク管理の豊富な経験を持つオペレーションエキスパートです。彼の会社はそれぞれアクセンチュアとGitLabに買収されました。シアトル大学ビジネスカレッジでリスクマネジメントを教えています。2023年にRISC Zeroに入社し、COOとしてオペレーション全体とスケーラビリティを担当しています。

ブレット・カーター – RISC Zero 製品担当副社長

ブレットは、製品管理とエコシステム開発において豊富な経験を有しています。以前はO(1) Labsでシニアプロダクトマネージャーを務めていました。2023年にRISC Zeroに入社し、現在は製品担当副社長として、製品戦略、エコシステムアプリケーションの実装、そしてBoundlessとの市場統合を担当しています。

資金調達に関しては、RISC Zeroは2023年7月にBlockchain Capitalが主導する4,000万米ドルのシリーズA資金調達ラウンドを完了しました。シードラウンドのリードインベスターであるBain Capital Cryptoも引き続き参加しています。その他の投資家には、Galaxy Digital、IOSG、RockawayX、Maven 11、Fenbushi Capital、Delphi Digital、Algaé Ventures、IOBC、Zero Dao（Tribute Labs）、Figment Capital、a100x、Alchemyなどがいます。

IX. ZKVMとZKの市場競争分析

現在、zkVMとzkMarketplaceの両方を提供している代表的なプロジェクトはSuccinctで、SP1 zkVMとSuccinct Prover Network（SPN）で構成されています。SP1はRISC-Vをベースに構築され、LLVM IRフロントエンドを介して複数の言語と互換性があります。Ethereumにデプロイされた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への2つの主要なアプローチです。RISC-Vは、シンプルなルールと成熟したエコシステムを備えたハードウェアレベルのオープン命令セットであり、回路性能の最適化と将来を見据えたハードウェアアクセラレーションを容易にします。しかし、従来のWebアプリケーションエコシステムとの統合は限られています。一方、WASMはクロスプラットフォームのバイトコードであり、多言語およびWebアプリケーションの移行を自然にサポートし、成熟したランタイムを提供します。ただし、スタックベースのアーキテクチャのため、パフォーマンスの上限はRISC-Vよりも低くなります。全体的に見て、RISC-V zkVMはパフォーマンスと汎用コンピューティングのスケーラビリティに適しており、zkWasmはクロス言語およびWebシナリオで優位性を発揮します。

10. まとめ: ビジネスロジック、エンジニアリング実装、潜在的なリスク

ZKテクノロジーは、単純なスケーリングツールから、信頼できるブロックチェーンコンピューティングのための普遍的な基盤へと進化しています。オープンなRISC-Vアーキテクチャを活用したRISC Zeroは、EVMへの依存を克服し、ゼロ知識証明を一般的なオフチェーンコンピューティングに拡張します。これにより、zkコプロセッサや、BonsaiやBoundlessといった分散型証明マーケットプレイスも誕生しました。これらを組み合わせることで、スケーラブルで取引可能、かつガバナンス可能なコンピューティングトラストレイヤーが構築され、ブロックチェーンに高いパフォーマンス、優れた相互運用性、そしてより幅広いアプリケーションシナリオをもたらします。

もちろん、ZK分野は短期的には依然として多くの課題に直面しています。ZKをめぐる一次市場の盛り上がりは2023年にピークを迎えましたが、2024年には主流のzkEVMプロジェクトが立ち上がることで、二次市場の熱気も冷めてしまうでしょう。さらに、主要なL2チームは自社開発の証明器を使用することが多く、クロスチェーン検証、zkML、プライバシー保護コンピューティングといった応用シナリオはまだ初期段階にあり、対応可能なタスクの数が限られています。つまり、オープンな証明市場の注文量は大規模ネットワークを維持するには不十分であり、その価値は需要急増の機会を捉えるために証明器の供給を事前に集約することにあります。一方、zkVMは技術的な参入障壁は低いものの、Ethereumエコシステムに直接統合することは困難です。将来的には、オフチェーンでの複雑な計算、クロスチェーン検証、非EVMチェーンとの統合といったシナリオにおいて、独自の補完的な価値を提供できる可能性があります。

全体として、ZK技術の進化の道筋はますます明確になってきています。zkEVMとの互換性の探求から、汎用的なzkVMの出現、そして最終的にはBoundlessに代表される分散型証明市場へと至り、ゼロ知識証明は商業化とインフラ開発を加速させています。現在の段階はまだ投資家や開発者にとって実験の場であるかもしれませんが、次の業界サイクルに向けた重要な機会を秘めています。

免責事項：本記事の一部はAIを活用しています。情報および資料の信憑性と正確性を確保するため、万全を期しておりますが、矛盾や欠落が生じた場合は大変申し訳ございません。本記事は調査および参考資料としてのみ提供されており、投資助言、勧誘、またはその他の金融サービスを構成するものではありません。トークンおよび関連デジタル資産の価格は高いリスクと変動性を伴うことにご留意ください。投資判断を行う際は、読者ご自身の判断ですべてのリスクを負うものとします。