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命令レベルで回路を構築し、Ethereumのネイティブ互換性を実現します；さらに汎用的な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と証明市場の台頭

Ethereumの創設者Vitalikは2022年にZK-EVMの4つのタイプ（Type 1--4）を提案し、互換性と性能のトレードオフを明らかにしました：

• Type 1（完全に同等）：バイトコードとEthereum L1が完全に一致し、移行コストが最も低いが、証明が最も遅い。代表的なプロジェクト：Taiko。
• Type 2（完全互換）：高度にEVM同等を維持し、極少の基盤最適化を行い、互換性が最も強い。代表的なプロジェクト：Scroll、Linea。
• Type 2.5（準互換）：EVMを小幅に修正（例：ガスコスト、プリコンパイルサポート）し、性能向上のために少量の互換性を犠牲にする。代表的なプロジェクト：Polygon zkEVM、Kakarot（Starknet上で動作するEVM）。
• Type 3（部分互換）：基盤の修正がより徹底しており、大多数のアプリケーションを実行できるが、Ethereumの基盤インフラを完全に再利用できない。代表的なプロジェクト：zkSync Era。
• Type 4（言語レベル互換）：バイトコードの互換性を放棄し、高級言語から直接zkVMにコンパイルし、性能が最も良いがエコシステムを再構築する必要がある。代表的なプロジェクト：Starknet（Cairo）。

この段階のテーマは「zkRollup戦争」であり、Ethereumの実行ボトルネックを緩和することを目指しています。しかし、これに伴い、2つの大きな制限が明らかになりました：1つはEVMの回路化の難易度が高く、証明の効率が制限されること、もう1つはZKの潜在能力が拡張を超えて、クロスチェーン検証、データ証明、さらにはAI計算にまで及ぶことです。

この背景の中で、汎用zkVMが台頭し、zkEVMの「Ethereum互換思考」を置き換え、「チェーンに依存しない信頼できる計算」へと移行しています。zkVMは汎用命令セット（例：RISC-V、LLVM IR、Wasm）に基づき、Rust、C/C++などの言語をサポートし、開発者が成熟したエコシステムライブラリを用いて任意のアプリケーションロジックを構築し、その後証明を通じてオンチェーンで検証します。RISC Zero（RISC-V）、Delphinus zkWasm（Wasm）が典型的な代表です。その意義は、zkVMが単なるEthereumの拡張ツールではなく、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-coprocessorはzkVMをコプロセッサとしてパッケージ化し、EVMなどのチェーンが複雑な計算タスクをオフチェーンで実行し、ゼロ知識証明を通じて結果をチェーンに戻すことを可能にします。典型的なケースにはRISC Zero SteelとLagrangeがあり、その役割は「GPU/コプロセッサ」に類似しています。さらに進むと、zkMarketplaceは分散型ネットワークを通じて証明タスクの市場化を実現し、世界中のプロバーが競争を通じてタスクを完了します。Boundlessは、ゼロ知識計算の計算力市場を構築しています。

このように、ゼロ知識技術スタックは徐々にzkVM → zk-coprocessor → zkMarketplaceの進化の連鎖を示しています。この体系は、ゼロ知識証明が単一のEthereum拡張ツールから、汎用的な信頼できる計算インフラストラクチャへと進化したことを示しています。この進化の連鎖の中で、RISC-VをzkVMのカーネルとして採用したRISC Zeroは、「オープン性、回路化効率、エコシステム適合性」の間で最適なバランスを取っています。それにより、低い開発体験を提供しつつ、Steel、Bonsai、Boundlessなどの拡張層を通じてzkVMをzk-coprocessorと分散型証明市場に進化させ、より広範なアプリケーションスペースを開くことができます。

四、RISC Zeroの技術パスとエコシステムの地図

RISC-Vはオープンでロイヤリティフリーの命令セットアーキテクチャであり、単一のベンダーによって制御されず、天然の分散型特性を持っています。RISC Zeroはこのオープンアーキテクチャに基づき、Rustなどの汎用言語に対応したzkVMを構築し、Ethereumエコシステム内の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がリアルタイム時代に入ったことを示しています：Ethereumブロックの証明時間が35分から44秒に短縮され、コストは最大5倍削減され、ユーザーのメモリは3GBに拡張され、より複雑なアプリケーションシーンをサポートします。同時に、BN254とBLS12-381の2つの重要なプリコンパイルが追加され、Ethereumの主流なニーズを全面的にカバーしています。さらに重要なのは、R0VM 2.0が安全性の面で形式的検証を導入し、大部分のRISC-V回路の決定的な検証が完了しており、2025年7月には最初のブロックレベルのリアルタイムzkVM（<12秒の証明）を実現することを目指しています。

zkCoprocessor Steel：オフチェーン計算の橋渡し

zkCoprocessorの核心的な理念は、複雑な計算タスクをオンチェーンからオフチェーンに卸し、ゼロ知識証明を通じて結果を返すことです。スマートコントラクトはProofを検証するだけで、全体のタスクを再計算する必要がなく、ガスコストを大幅に削減し、性能のボトルネックを突破します。例えば、RISC0のSteelは、Solidityに外部証明インターフェースを提供し、大規模な履歴状態のクエリやクロスブロックのバッチ計算をアウトソースすることができ、1つのProofで数十のEthereumブロックを検証することさえ可能です。

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は複数のチェーンで統一された検証インターフェースを提供し、一度の構築でクロスチェーン再利用を実現します。

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

エコシステムと応用：市場層プロトコルとして、BoundlessはRISC Zeroの他の製品と相補的です：

• Steel：EVMのZKコプロセッサで、Solidityの複雑な実行をオフチェーンに移行し、オンチェーンで検証します；
• OP Kailua：OP StackチェーンにZKのアップグレードパスを提供し、より高い安全性とより速い最終性を実現します。

Boundlessの目標は、Ethereumで12秒未満のリアルタイム証明を実現することであり、その道筋にはFRIの最適化、多項式の並列化、VPUハードウェアアクセラレーションが含まれます。ノードと需要が増加するにつれて、Boundlessは自己強化型の計算ネットワークを形成し、ガスコストを削減するだけでなく、オンチェーンでの検証可能なAI、クロスチェーン流動性、無限計算などの新しいアプリケーションシーンを開くことができます。

5.2 Boundless for Apps：ガス制限を突破

Boundless for Appsは、EthereumとL2アプリケーションに「無限の計算力」を提供し、複雑なロジックを去中心化証明ネットワークにオフロードし、ZK証明を通じてオンチェーンで検証します。その利点には、無限の実行、一定のガスコスト、Solidity/Vyperとの互換性、クロスチェーンのネイティブサポートが含まれます。

その中でSteelはEVMのZKコプロセッサとして、開発者がSolidity契約内で大規模な状態クエリ、クロスブロック計算、イベント駆動ロジックを実現できるようにし、R0-Helios軽量クライアントを通じてETHとOP Stackのクロスチェーンデータ検証を実現します。現在、EigenLayerを含むプロジェクトが統合の探索を行い、DeFiやマルチチェーン相互作用におけるその潜在能力を示しています。

Steel：EVMの拡張可能な計算層

Steelの核心的な目標は、Ethereumのガス上限、単一ブロック実行、履歴状態アクセスなどの制限を突破し、複雑なロジックをオフチェーンに移行し、ゼロ知識証明を通じてオンチェーンで検証することです。安全性を保証しつつ、一定の検証コストでほぼ無限の計算力を提供します。

Steel 2.0では、開発者は以下の3つの能力を利用して契約設計のスペースを拡張できます：

• イベント駆動ロジック：直接Event logsを入力として使用し、中央集権的なインデクサに依存しない；
• 履歴状態クエリ：Dencunアップグレード以降の任意のブロックのストレージスロットやアカウント残高にアクセス；
• クロスブロック計算：複数のブロックにわたる計算を実行（例：移動平均、累積指標）し、単一の証明でオンチェーンに提出。

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

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

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

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

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

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

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

• ハイブリッドモード（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合意クライアントです。これはEthereumのビーコンサインの最終性イベントを単一のゼロ知識証明に圧縮し、任意のチェーンや契約がこの証明を直接検証できるようにし、多署名やオラクルなしで信頼を最小化したクロスチェーン相互作用を実現します。その価値はEthereumの最終状態に「グローバルな可読性」を与え、クロスチェーン流動性と論理的相互作用の基盤を築き、冗長な計算とガスコストを大幅に削減します。

運用メカニズム

• Boost The Signal：ユーザーは証明リクエストを提出することで「信号を強化」でき、すべてのETHは新しい証明のリクエストに使用され、信号の持続時間を延ばし、すべてのチェーンとアプリケーションに利益をもたらします。
• Prove The Signal：誰でもBoundless Proverノードを運用し、EthereumブロックのZK証明を生成してブロードキャストでき、従来の多署名検証を置き換え、「数学で信頼を代替する」クロスチェーン合意層を形成します。
• 拡張パス：最初にEthereumの最終的なブロック生成の連続証明を形成し、「Ethereum信号」を作成します；次に他のパブリックチェーンに拡大し、マルチチェーンの統一信号を構築します；最終的に同じ暗号学的信号層で相互接続し、「共有波長」を形成し、包みのない資産、中央集権的な橋なしでクロスチェーン相互運用を実現します。

現在、30以上のチームがThe Signalの推進に参加しており、Boundless市場には1,500以上のプロバーのノードが集約され、0.5%のトークンインセンティブを競っています。GPUを持つユーザーは誰でも無許可で参加できます。The SignalはBoundlessメインネットBetaでオンラインになり、Baseに基づく生産レベルの証明リクエストをサポートしています。

六、Boundlessのロードマップ、メインネットの進展とエコシステム

Boundlessの発展は明確な段階的なパスに従っています：

• Phase I -- Developer Access：開発者向けに初期アクセスを開放し、無料の証明リソースを提供し、アプリケーションの探索を加速します；
• Phase II -- Public Testnet 1：公開テストネットを開始し、双方向市場メカニズムを導入し、開発者とプロバーのノードがリアルな環境で相互作用します；
• Phase III -- Public Testnet 2：市場インセンティブと完全な経済メカニズムを導入し、自己維持型の去中心化証明ネットワークをテストします；
• Phase IV -- Mainnet：全面的にメインネットをオンラインにし、すべてのチェーンに汎用ZK計算能力を提供します。

2025年7月15日、BoundlessメインネットBetaが正式にオンラインになり、最初にBaseで生産環境に入ります。ユーザーは実際の資金で証明をリクエストでき、プロバーのノードは無許可で接続し、単一のノードは最大100ブロックのGPUをサポートし、入札に参加します。デモンストレーションアプリケーションとして、チームはThe Signalを発表しました。このオープンソースのZK合意クライアントは、Ethereumビーコンサインの最終性イベントを単一のゼロ知識証明に圧縮し、任意のチェーンと契約が直接検証できるようにします。これにより、Ethereumの最終状態は「グローバルな可読性」を実現し、クロスチェーン相互運用と安全な決済の基盤を提供します。

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は一流のマイナーの積極的な参加を引き付けています。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）を通じて配分され、発行が実際の計算