RISC-EthereumのVizationが議題に:RISC Zeroは汎用zkVMを構築し、Boundlessは検証可能なコンピューティングの新しい展望を開きます

現在、検証可能な計算が産業の物語の中心に向かって進んでいる中で、RISC Zero はより汎用的でオープンな zk 計算アーキテクチャを用いて、ブロックチェーンの性能と信頼の境界を再構築しています。業界初の RISC-V ベースの汎用 zkVM とクロスチェーンの検証可能な計算層 Boundless により、このギークチームは、零知識証明をニッチなツールから大規模なクラウドコンピューティングへと推進し、分散型インターネットに検証可能な「スーパーコンピューティングエンジン」を搭載しようとしています。

最近、イーサリアムの共同創設者であるVitalik Buterinは、イーサリアムネットワークの実行層に対して重大な調整を計画していることを提案しました：現行のイーサリアム仮想マシン（Ethereum Virtual Machine、EVM）バイトコードをRISC-V命令セットに置き換えるというものです。この新しいプランは、アカウントやストレージなどのスマートコントラクトのコア機能を変更することはありませんが、契約コードのコンパイルと運用方法を根本的に変えることになります。ある意味で、Vitalikのこの提案は、イーサリアムの実行層の標準化とコンポーザビリティの再アップグレードであるだけでなく、かつては高価で実験的な技術と見なされていた「検証可能な計算」を産業の物語の中心に再び押し上げるものです。

RISC Zero:汎用zkVMのパイオニア**

検証可能な計算の進化の道筋において、アメリカのゼロ知識証明スタートアップ RISC Zero は最も初期であり、かつ最も代表的な実践者の一つです。彼らは同じ RISC-V アーキテクチャに基づいて業界初の汎用 zkVM を構築しただけでなく、さらに Boundless という検証可能な計算層を構築し、ゼロ知識証明を単一のツールからクロスチェーンで共有可能な、マーケット化された「クラウドコンピューティングパワー」へとアップグレードしようとしています。これは、将来的に開発者が高額なオンチェーン Gas や EVM 自体の制約に縛られることなく、任意のブロックチェーン上でほぼ無限の検証可能な計算リソースを呼び出すことができることを意味します。

現在、Boundlessのメインネットベータ版がオンラインになりました。CEOのShiv Shankarは、「Boundlessは、重複計算タスクを回避することで安全なクロスチェーン計算を実現し、ブロックチェーンのスケーラビリティを向上させています。これにより効率が向上し、安全性が強化され、開発者やマイナーがエコシステムを超えて参加できるようになります。」と述べました。イーサリアム財団の研究者Justin Drakeは、「Boundlessエコシステムを支えるRISC Zero zkVMは、イーサリアムのスケーリングに必要なすべての重要な要件を満たしています：リアルタイム証明能力、家庭用の複数GPU検証環境、緩やかなオープンソースライセンス、そしてゼロから構築された基盤実装。」と述べました。

Boundless のメインネットベータ版での短い数日間で、この最初のイーサリアムコンセンサスマーケットは、現在の最大検証（30 億）の 10 倍規模（500 億）に達しました。576 人の証明者が成功裏に証明を提出し、世界で最も分散化された証明者ネットワークとなりました。市場規模は 10 倍の成長を遂げ、日々の注文量は最高で 8000 件に達し、計算サイクルは 2.6 兆に達しました。ほぼダウンタイムなしで、毎日 99% 以上の注文が完了しています。1 人の外部証明者が新たな速度記録を更新し、5.63MHz に達しました。これは以前の 2.5MHz を大きく上回っています。注文はほぼ常に 0 のロックオーダーを維持しており、これにより、POWV（証明作業証明）がメインネットの初期段階で ZK 証明の採用に与える潜在的な影響を早期に見通すことができました。証明者間のオープンイノベーションが始まっており、そのハイライトの 1 つは、証明者が同じブロック内で 100 ミリ秒未満の速度でタスクをロックできることです。

次に、Boundlessの動作原理とデザインのブレークスルー

零知識証明を単一のツールから汎用計算層に進化させる過程で、Boundlessの重要なブレークスルーは、検証可能な計算を孤立した技術能力から市場化可能で組み合わせ可能なオンチェーンインフラストラクチャに変換することにあります。

具体的に見ると、Boundless のコアロジックは三つの主要要素から成り立っています：汎用 zkVM、クロスチェーン検証プロトコル、そして PoVW（証明可能な作業の証明）経済モデル。

汎用 zkVM： Boundless の基盤は RISC Zero 自社開発の zkVM（R0VM 2.0）に依存しており、オープン標準の RISC-V アーキテクチャに基づいて、任意の汎用プログラムを実行し、検証可能な zk-SNARKs を生成することができます。これは、EVM スマートコントラクト、Rollup 状態証明、またはオフチェーンの複雑な計算を含む全てが zkVM によって有効性証明を生成でき、その後、チェーン上のコントラクトによって迅速に検証されることを意味します。この全プロセスは、最終ユーザーとメインチェーンにとって透明です。

クロスチェーン検証プロトコル：Boundlessは特定のチェーンに制限されることなく、最初からネイティブのクロスチェーン設計に基づいています：それは複数のチェーン上に同時にBoundless Market契約を展開することで、許可なしの清算市場を構築し、開発者の証明要求を世界中のProverノードのコンピューティングパワー資源と自動的にマッチングします。さらに重要なことに、Boundless Marketはすべての主流チェーンにネイティブに展開されており、開発者は自分が慣れ親しんだエコシステムを離れる必要がなく、ローカル契約アドレスと対話するだけで、所在チェーンのネイティブトークンを使用して費用を支払い、即座に検証可能な計算証明を取得できます。このようなクロスチェーン分散型市場の設計は、接続のハードルを大幅に下げ、検証可能な計算が本当にクラウドサービスのように調整可能、決済可能、組み合わせ可能なオンチェーンの公共資源となることを可能にしました。

PoVW インセンティブメカニズム： 最も革新的な部分は PoVW インセンティブメカニズムにあります。PoW がハッシュ計算のみを報酬としているのとは異なり、PoS が遊休資本を報酬とするのに対し、PoVW は初めて零知識證明の実際の計算作業量を商品化し、オンチェーンでの計測と支払いを通じて閉ループを完成させました。Prover がどれだけの有効なサイクルを完了するかによって、作業量に応じたトークンインセンティブを得ることができ、計測データは全過程でオンチェーン化され、監査可能です。このメカニズムは、コンピューティングパワーの供給の柔軟性を保障するだけでなく、より多くのノードが証明効率を継続的に最適化し、コストを削減するように促進し、検証可能なコンピューティングパワーの需給市場を形成しました。

テクノロジー製品責任者のジェイコブ・エバリーは、今年の3月にメディアとのインタビューで、シンガポールの国際決済銀行（BIS）がRISC ZeroとBoundlessの技術を使用して、アジア太平洋地域のトレーダーがシンガポール取引所で取引できるかどうかを、完全な個人情報を提供することなく検証できるプロトタイプシステムを開発したことを明らかにしました。ユーザーはパスポートと携帯電話番号をアップロードするだけで、取引資格を証明する零知識証明（ZKP）を生成できます。現在、30以上のチームがBoundless上でアプリケーションを構築し展開する計画を立てています。ジェイコブ・エバリーは、「来年までに100の協力チームを達成し、Boundlessを業界標準にすることが目標です」と述べました。

3. RISC Zeroの多次元テクノロジーランドスケープ

Boundlessの他に、RISC Zeroはzk-SNARKsの有用性とスケーラビリティにおいて継続的にイテレーションを行い、複数の重要な製品を発表し、汎用検証可能計算プラットフォームとしての技術的な護城河をさらに強化しています。

R0VM 2.0：そのコアであるzkVMの新しいバージョンは、イーサリアムの単一ブロックの証明時間を35分から44秒に短縮し、OPチェーンの証明コストは5倍も低下しました。単一取引の最低コストはわずか0.0012ドルで、開発者がZKにアクセスするためのハードルが大幅に下がりました。同時に、R0VM 2.0バージョンはメモリとプリコンパイルのサポートを強化し、より大規模なEVM証明や検証可能なメディアコンテンツを処理できるようになり、今年中に12秒レベルのリアルタイム証明を実現する計画です。これにより、零知識証明が実験から量産へと進むことが期待されています。注目すべきは、R0VM 3.0バージョンも開発中であり、今年後半にリリースされる予定です。このバージョンでは、イーサリアムが最新に導入したBinius証明システムを採用し、その際には証明速度がさらに向上する見込みです。

ZK コプロセッサー Steel 2.0： EVM エコシステムの固有の制限に対処するため、RISC Zero は ZK コプロセッサー Steel 2.0 を発表しました。これにより、オフチェーンで複雑な計算、履歴状態のアクセス、クロスブロック計算を実行でき、27 万ガスという低コストで証明を行い、チェーン上の安全な検証を実現します。Solidity と R0-Helios の軽量クライアントに互換性があり、イーサリアムおよび OP スタックの展開を容易にします。

OP Kailua 有効性モデル： OP Rollup が ZK Rollup へのスムーズな移行を提供し、大幅な再構築なしで ZK がもたらす高い安全性と迅速な決済を実現します。Base、BOB などのプロジェクトはすでに統合されており、高スループットチェーンにコスト効率の良いアップグレードオプションを提供しています。

RISC Zeroの使命と野望**

RISC Zeroは、反骨精神と合理的な技術追求の両方を兼ね備えたチームです。2022年初頭、ETH Denver会議の現場で、RISC Zeroのメンバー数名は、地元の印刷所で購入した布と簡易工具を手に、会場に成功裏に潜入しました。そして、この「ハッカー突撃」の中で、彼らは最初の投資家と初期投資の意向を結びました。

この常識に囚われない冒険心と零知識証明技術への深い探求により、RISC Zero は資本市場からの継続的な賭けを勝ち取り続けています：2022年3月、彼らは200万ドルのエンジェルラウンドの資金調達を完了し、同年8月には1200万ドルのシードラウンドの資金調達を行いました；2023年7月には、さらに400万ドルの新たな資金を順調に獲得しました。

他のゼロ知識プロジェクトとは異なり、RISC Zeroはより汎用的な道を選びました：オープンソースのRISC-V命令セットを基盤に、世界初の任意の汎用コードを実行できるzkVMを構築し、ゼロ知識証明が真に普遍的な計算能力を持つようにし、開発の敷居を下げ、開発者がRustなどの現代的なプログラミングツールチェーンを引き続き使用できるようにします。ZKの効率性や使いやすいツールチェーンのために特別なものを必要としません。

現在、この極客と未来主義者からなる小さなチームは、zkVMの上にオープンでクロスチェーンかつ許可不要の検証可能な計算エコシステムを構築し、分散化されたインターネットに新しい信頼の基盤をもたらそうとしています——これこそがBoundlessの由来と野心です。

結論：

Boundlessは、RISC Zeroによるzk-SNARKs分野での技術的試みだけではなく、検証可能な計算がオープン市場、クロスチェーン協力、そしてスケーラブルなクラウドコンピューティングパワーへ向かう現実的な演習でもあります。Boundlessとその背後にあるzkVM、PoVWなどの要素が進化し続ける中で、「検証可能な分散化されたスーパーコンピューティングエンジン」を巡るこの実験は、ブロックチェーンの世界にとって、より汎用的で、より野心的な計算の道を切り開くかもしれません。