zkVMからオープン証明市場へ：RISC ZeroとBoundlessの解析

執筆者：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は証明計算力を市場化し、分散型プロバーのネットワーク（例：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を小幅に修正（例：ガスコスト、プリコンパイルサポート）し、少量の互換性を犠牲にして性能向上を図る。代表プロジェクト：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は分散型ネットワークを通じて証明タスクの市場化を実現し、世界中のプロバーが競争を通じてタスクを完了します。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はその後、公開出力（Journal）と暗号証明（Seal）を含む検証可能なReceiptを生成します。第三者は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の核心的な理念は、複雑な計算タスクをオンチェーンからオフチェーンに移し、ゼロ知識証明を通じて結果を返すことです。スマートコントラクトはProofを検証するだけで、全体のタスクを再計算する必要がなく、Gasコストを大幅に削減し、性能のボトルネックを突破します。例えば、RISC0のSteelは、Solidityに外部証明インターフェースを提供し、大規模な履歴状態のクエリやクロスブロックのバッチ計算をアウトソースすることができ、1つのProofで数十のイーサリアムブロックを検証することも可能です。

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）市場は、高コストで複雑な証明生成プロセスを分離し、去中心化され、取引可能な計算商品に変換します。世界中に分布するプロバーのネットワークを通じて、計算タスクは競争入札の形でアウトソースされ、コストと効率の間で動的にバランスを取り、経済的インセンティブによってGPUやASICの参加者を引き付け、自らを強化する循環を形成します。BoundlessとSuccinctはこのトラックの代表です。

5.1 Boundless：汎用ゼロ知識計算市場

概念定位

BoundlessはRISC Zeroが発表した汎用ZKプロトコルであり、すべてのブロックチェーンに対して拡張可能な検証可能な計算能力を提供することを目的としています。その核心は、証明生成とブロックチェーンの合意を分離し、去中心化市場メカニズムを通じて計算タスクを分配することにあります。開発者が証明リクエストを提出すると、プロバーのノードは去中心化のインセンティブメカニズムを通じて競争し、「検証可能な作業証明（Proof of Verifiable Work）」を得て報酬を受け取ります。従来のPoWの無意味な計算力消費とは異なり、Boundlessは計算力を実際のアプリケーションのZK結果に変換し、計算資源に実際の価値を持たせます。

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

Boundless市場のワークフローは以下の通りです：

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

このアーキテクチャにより、スマートコントラクトは複雑な計算を再実行することなく、短い証明を検証するだけで確認を完了でき、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を入力として使用し、中央集権的なインデクサに依存しない；
• 履歴状態クエリ：Dencunアップグレード以降の任意のブロックのストレージスロットやアカウント残高にアクセス；
• クロスブロック計算：複数のブロックにわたる計算を実行（例：移動平均、累積指標）し、単一の証明でオンチェーンに提出します。

この設計はコストを大幅に削減し、Steelの登場により、元々EVMに制限されていたアプリケーション（例：高頻度計算、状態の回溯、クロスブロックロジック）が実現可能となり、オフチェーン計算とオンチェーン検証を結ぶ重要な橋渡しとなることが期待されています。

5.3 Boundless for Rollups：ZK駆動のRollup加速ソリューション

Boundless for Rollupsは去中心化証明ネットワークを通じて、OP Stackなどの二層チェーンにより迅速かつ安全な決済パスを提供します。その核心的な利点は以下の通りです：

• 終結性の加速：7日間の決済時間を約3時間（ハイブリッドモード）または<1時間（有効性モード）に短縮；
• より強い安全性：ZK詐欺証明と有効性証明の段階的なアップグレードを通じて、暗号学的な安全性を提供；
• 去中心化の進化：分散型プロバーのネットワークと低い担保要件に依存し、迅速にStage 2の去中心化に向かう；
• ネイティブな拡張性：高スループットのチェーン上で安定した性能と予測可能なコストを維持。

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

Boundless for Rollupsの核心的なソリューションとして、OP KailuaはRISC Zeroによって発表され、Optimismに基づくRollupのために設計され、チームが性能と安全性の両方で従来のOPアーキテクチャを超えることを可能にします。

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

• ハイブリッドモード（ZK詐欺証明）：ZK詐欺証明を用いて多段階のインタラクティブなFault Proofを置き換え、争いの解決の複雑さとコストを大幅に削減します。証明費用は悪行を行った側が負担し、最終的な決定性は約3時間に短縮されます。
• 有効性モード（ZK有効性証明）：直接ZK Rollupに転換し、ゼロ知識の有効性証明を利用して争いを完全に排除し、<1時間の最終性を実現し、最高レベルの安全性を提供します。

KailuaはOPチェーンが楽観的→ハイブリッド→ZK Rollupへのスムーズなアップグレードをサポートし、Stage 2の去中心化要件に適合し、アップグレードのハードルを下げ、高スループットシーンの経済性を向上させます。既存のアプリケーションとツールチェーンの連続性を維持しつつ、OPエコシステムは迅速な最終性、低い担保コスト、より強い安全性を徐々に得ることができます。EclipseはKailuaを利用してZK詐欺証明を実現し、アップグレードを加速しました；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の発展は明確な段階的なパスに従っています：

• Phase I -- Developer Access：開発者向けに初期アクセスを開放し、無料の証明リソースを提供してアプリケーションの探求を加速します；
• Phase II -- Public Testnet 1：公開テストネットを開始し、双方向市場メカニズムを導入し、開発者とProverノードがリアルな環境で相互作用します；
• Phase III -- Public Testnet 2：市場インセンティブと完全な経済メカニズムを導入し、自己維持型の去中心化証明ネットワークをテストします；
• Phase IV -- Mainnet：全面的にメインネットを立ち上げ、すべてのチェーンに対して汎用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.93 MHz（8月14日）に達し、いずれも業界記録を更新しました。注文履行の状況を見ると、日平均注文数は8月中旬に1.5万件を突破し、毎日の計算力ピークは40兆サイクルを超え、指数関数的な成長を示しています。同時に、注文履行成功率は常に98%から100%の高水準を維持しており、証明市場メカニズムはかなり成熟しています。さらに注目すべきは、プロバーの競争が激化する中で、単一サイクルコストがほぼ0 Weiにまで低下しており、ネットワークが効率的で低コストの大規模計算時代に入っていることを示しています。

さらに、Boundlessは一流のマイナーの積極的な参加を引き付けています。ビットメインなどの主要企業は専用のASICマイニング機を開発し始め、6block、Bitfufu、原力区、Intchain、Nano Labsなどの企業は既存のマイニングプール資源をZK証明計算ノードに変換し、マイナーの参加によりBoundlessのZK市場はさらにスケール産業化の段階に進んでいます。

七、ZK Coinトークン経済モデルの設計

ZK Coin（ZKC）はBoundlessプロトコルのネイティブトークンであり、ネットワーク全体の経済と安全のアンカーです。その設計目