Nexus特集｜Jens Grothが明かす、グローバルな検証可能計算の未来を構築する方法とは？

2025.06.04

共有先

TechFlow厳選深潮セレクト

Nexus特集｜Jens Grothが明かす、グローバルな検証可能計算の未来を構築する方法とは？

ゼロ知識証明分野の重要な創始者の一人であるJens Groth教授は、2016年に広く応用されているGroth16方式を提案した。彼の研究成果は、今日のzk計算の発展に堅固な基盤を築いた。

2025.06.04 - 07:27:09

可验证计算

Web3業界の深掘り報道に専念し潮流を洞察

取材：Jens Groth、Nexus 首席科学者

インタビュー・執筆：Alex、OpenBuild コンテンツチーム

AI、ビッグデータ、Web3が急速に融合する中で、大規模な計算の真実性をどう検証するかは、デジタル世界が直面する最も重要な技術的課題の一つとなっている。Nexusは、zk仮想マシン（zkVM）[1]と分散型proverネットワーク[2]を統合し、世界中で協調動作する検証可能な計算インフラを構築することで、「信頼できる『スーパーコンピュータ』」の実現を目指す先駆的な取り組みを進めている。

本特集では、OpenBuildがNexusの首席科学者であり暗号学の権威であるJens Groth[3]教授に深くインタビューを行い、zkVMの技術進化、分散コンピューティングアーキテクチャの設計、AIシナリオにおける信頼実行の道筋といった重要なテーマについて議論した。また、Nexusがいかにプライバシーを守りつつ性能とスケーラビリティのバランスを実現しているかについても語ってもらい、検証可能なデジタル文明の基盤を提供するそのビジョンを明らかにした。

ゼロ知識証明分野の重要な奠基者の一人であるJens Groth教授は、2016年に広く採用されているGroth16[4]方式を提案しており、その研究成果は今日のzk計算の発展に大きく貢献している。

検証可能世界の構築原理

OpenBuild：Nexusのビジョンとミッションを一言でまとめていただけますか？

Jens Groth：Nexusは「検証可能な世界」のための基盤インフラを構築するプラットフォームです。

我々は、データ生成やAIによる意思決定、チェーン上の取引など、今後すべての重要なデジタル活動には検証可能性が求められると信じており、Nexusはそのための技術的土台を築いています。

zkVM 3.0の技術進化

OpenBuild：以前の2つのバージョンと比べて、zkVM 3.0にはどのような重要な技術的進化がありますか？

Jens Groth：これは、基本的なアーキテクチャから実行パフォーマンスまで、全面的に再構築されたものです。

Nexus zkVM 3.0[5]はRISC-V[6]をターゲットとする命令セットアーキテクチャとしており、高いモジュール性と拡張性を持ち、形式的仕様によって安全性と標準化を確保しています。

さらに、再設計されたゲストランタイム、効率的なメモリチェック機構を導入し、StarkWare[7]のStwoプロバー[8]を利用してバックエンドの証明機能を提供しています。その結果、バージョン1.0および2.0に比べて最大1000倍高速になり、使いやすさも大幅に向上しました。

誰でも参加可能な分散型計算ネットワーク

OpenBuild：Nexusの分散型proverネットワークはどのように動作しますか？一般ユーザーも参加できますか？

Jens Groth：もちろん可能です。我々は計算資源の参入ハードルを下げており、ノートパソコンやスマートフォンからワンクリックでネットワークに接続し、空き時間の計算リソースを貢献できます。各デバイスの接続により、ネットワーク全体の計算能力が向上します。

我々は従来のブロックチェーンにおける「マイニングモデル」とは異なり、世界中のデバイスが持つ潜在能力を活性化しています。ユーザーが計算能力を提供することで、Nexusから報酬ポイント「NEX Points」[9]を得ることができます。

開発者に優しい検証可能計算ツールチェーン

OpenBuild：Nexusは、開発者がzkVM上で検証可能なアプリケーションを構築するのをどう支援していますか？

Jens Groth：SDK、CLIツールチェーン、詳細なドキュメント[10]を提供しており、開発者が容易にVerifiableプログラムの構築を始められるように支援しています。

API設計には誤用防止の仕組みを備え、パフォーマンス、検証可能性、セキュリティのバランスを取ることで、Verifiable Execution[11]を開発者の標準的なスキルの一部にしていくことを目指しています。

AIシナリオとの統合と実用化

OpenBuild：NexusはAIの利用シーンにどのように貢献できますか？代表的な応用例はありますか？

Jens Groth：AIの信頼性問題[12]は今や重要な課題となっています。Nexusの検証可能計算技術は、以下のような複数のシーンで活用できます：

・AIエージェントの検証：例えば、AIが許可された範囲と予算内でフライト予約を完了したかどうかを検証する。

・暗号資産取引アシスタント：AIツールが「幻覚的な取引」を生成しないことを保証する。

・検証可能なメディア：カメラが撮影した画像に自動で地理座標と時刻を署名し、deepfakeを防ぐ。

これらは汎用的なユースケースであり、NexusはこうしたAIアプリケーションの信頼性[13]を支える基盤的標準となることを目指しています。

プライバシーとパフォーマンスの設計哲学

OpenBuild：Nexusは、プライバシー保護とパフォーマンス最適化の間で、どのように技術的バランスを取っていますか？

Jens Groth：検証可能計算の主なコストはzk証明の生成にある。このプロセスは現在もまだ高価ですが、Nexusはproverネットワークを通じて計算を並列処理することで、遅延を大幅に削減しています。

ローカルでVerifiable Computationを実行すれば、zk証明自体が非常に小さく機密情報を露出しないため、事実上無料でプライバシー保護が得られます。一方、分散処理ではプライバシーリスクが生じる可能性があるため、分散アーキテクチャにおいてもプライバシーと効率の両立を維持する方法を積極的に研究しています。

ロードマップと将来計画

OpenBuild：Nexusの今後1〜2年の重点施策は何ですか？

Jens Groth：今年中にさらなるテストネットをリリースし、メインネットの正式稼働に備える予定です。また、最近「Verifiable AI Lab」[14]を設立し、AIと検証可能計算の深層的統合を探索しています。

市場展開においても大きな目標を持っており、将来的にはデジタル世界全体が検証可能になることを目指しています。すでに50を超えるプロジェクトと連携しており、「迅速な提供、継続的なイテレーション」という製品哲学を貫いています。

まとめ

今回のインタビューから分かる通り、Nexusは単に新しい「チェーン」を作るのではなく、デジタル世界における「信頼できる計算」のあり方を根本から再定義しようとしている。zkVMと分散型proverネットワークという基盤は、AI、Web3、さらには従来のインターネットにおいても、信頼あるコラボレーションの新たなパラダイムとなるだろう。