インタビュアー: イェンス・グロス、ネクサスのチーフサイエンティスト
インタビューと執筆：Alex、OpenBuild コンテンツチーム
AI、ビッグデータ、Web3の融合が加速する中、大規模コンピューティングの真正性をどのように検証するかは、デジタル世界の中核的な技術的課題になりつつあります。 Nexusは、ゼロ知識の仮想マシンzkVM[1]と分散型の証明者ネットワーク[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： zkVM 3.0は前の2つのバージョンと比べて、どのような重要な技術的進化がありますか？
Jens Groth氏: これは、基盤となるアーキテクチャから実行パフォーマンスまでを完全に書き直したものです。
Nexus zkVM 3.0[5]は、セキュリティと標準化を確保するための強力なモジュール性、スケーラビリティ、および正式な仕様を備えたRISC-V[6]を対象としています。
さらに、私たちは再設計されたゲストランタイム、高効率メモリチェックメカニズムを導入し、StarkWare[7]のStwo prover[8]を通じてバックエンドの証明能力を提供します。最終的な結果は、1.0および2.0バージョンよりも1000倍速く、かつ使いやすくなっています。
誰でも参加できる分散型計算力ネットワーク
OpenBuild：Nexusの分散型プロバーネットワークはどのように機能しますか？一般ユーザーは参加できますか？
イェンス・グロス:もちろんです。 コンピューティングパワーのしきい値を下げ、ユーザーはラップトップ、コンピューター、さらには携帯電話からワンクリックでネットワークにアクセスし、アイドル状態のコンピューティングリソースを提供できます。 各デバイスのアクセスにより、ネットワークの全体的な計算能力が向上します。
私たちは従来のブロックチェーンの「マイナーモデル」とは異なり、世界中のデバイスの潜在能力を活用します。ユーザーが計算能力を提供することで、Nexusが提供するインセンティブポイントNEX Points[9]を獲得できます。
開発者に優しい検証可能な計算ツールチェーン
OpenBuild：Nexus は、開発者が zkVM に基づく検証可能なアプリケーションを構築するのをどのようにサポートしますか？
Jens Groth：私たちは、開発者が簡単に Verifiable プログラムを構築できるように、充実した SDK、CLI ツールチェーン、および詳細なドキュメント[10]を提供しています。
私たちのAPI設計は誤用防止メカニズムを備えており、パフォーマンス、検証可能性、安全性のバランスを考慮しています。目標は、Verifiable Executio[11]nを開発の通常の能力の一部にすることです。
AIシーンの統合と実装
OpenBuild：NexusはAIシーンにどのようにサービスを提供しますか？典型的なアプリケーションにはどのようなものがありますか？
Jens Groth: AIの信頼性[12]重要な課題になりつつあります。 Nexusの検証可能なコンピューティングパワーは、さまざまなシナリオで使用できます。
• AIエージェントの検証：例えば、AIが権限と予算の範囲内でフライト予約を完了したかどうかを確認します。
• 暗号取引アシスタント：AIツールが「幻覚取引」を生成しないことを保証します。
• 検証可能なメディア：カメラで撮影した画像が自動的に地理座標と時間に署名され、ディープフェイクを防ぐ。
これらは一般的なシーンであり、NexusはこれらのAIアプリケーションの信頼性[13]を保証するための基盤標準になることを目指しています。
プライバシー vs パフォーマンスのデザイン哲学
OpenBuild：Nexusはプライバシー保護とパフォーマンス最適化の間でどのように技術的なバランスを取るのか？
Jens Groth：検証可能な計算の核心的なコストは、zk証明の生成であり、このプロセスは現在も比較的高価です。Nexusはプロバーネットワークを通じて計算を並列処理し、遅延を大幅に削減します。
Verifiable Computationをローカルで実行すると、zkプルーフ自体が小さく、機密データを公開しないため、ほぼ無料でプライバシー保護が提供されます。 分散処理はプライバシーリスクをもたらす可能性があるため、分散アーキテクチャでプライバシーと効率の両方を維持する方法について積極的に研究しています。
ロードマップと今後の計画
OpenBuild:今後1〜2年間、Nexusはどのようなことに注力していますか?
Jens Groth：私たちは今年、メインネットの正式リリースに向けて新しいテストネットを立ち上げる予定です。同時に、AIと検証可能な計算の深い結びつきを探求するために、Verifiable AI Lab[14]を設立しました。
市場の拡大に関しては、私たちは野心的な目標を持っています:私たちは、将来的にデジタル世界全体を検証可能にしたいと考えています。 50以上のプロジェクトとの協力関係を確立し、「短納期、連続反復」という製品哲学を堅持しています。
エピローグ
このインタビューを通じて、Nexusが別の「チェーン」を行っているのではなく、デジタル世界における「トラステッドコンピューティング」の方法を再定義していることがわかります。 zkVMとそれによって構築された分散型証明ネットワークは、AI、Web3、さらには従来のインターネットにおける信頼できるコラボレーションの新たなパラダイムとなるでしょう。
引用リンク
[1]zkVM:
[2]prover ネットワーク:
[3]イェンス・グロス:
[4]Groth16:
zkVM 3.0 [5]Nexus:
[6]RISC-V:
[7]スタークウェア:
[8]Stwo証明者:
[9]NEXポイント:
[10]ドキュメント:
[11]Verifiable Executio:
[12]AIの信頼性の問題:
[13]AIアプリケーションの信頼性:
[14]Verifiable AIラボ:
294k 投稿
263k 投稿
172k 投稿
83k 投稿
69k 投稿
68k 投稿
63k 投稿
62k 投稿
53k 投稿
51k 投稿
Nexus 特別インタビュー｜ジェンス・グロスが明かす、どのようにしてグローバルな検証可能な計算の未来を構築するのか？
インタビュアー: イェンス・グロス、ネクサスのチーフサイエンティスト
インタビューと執筆：Alex、OpenBuild コンテンツチーム
AI、ビッグデータ、Web3の融合が加速する中、大規模コンピューティングの真正性をどのように検証するかは、デジタル世界の中核的な技術的課題になりつつあります。 Nexusは、ゼロ知識の仮想マシンzkVM[1]と分散型の証明者ネットワーク[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： zkVM 3.0は前の2つのバージョンと比べて、どのような重要な技術的進化がありますか？
Jens Groth氏: これは、基盤となるアーキテクチャから実行パフォーマンスまでを完全に書き直したものです。
Nexus zkVM 3.0[5]は、セキュリティと標準化を確保するための強力なモジュール性、スケーラビリティ、および正式な仕様を備えたRISC-V[6]を対象としています。
さらに、私たちは再設計されたゲストランタイム、高効率メモリチェックメカニズムを導入し、StarkWare[7]のStwo prover[8]を通じてバックエンドの証明能力を提供します。最終的な結果は、1.0および2.0バージョンよりも1000倍速く、かつ使いやすくなっています。
誰でも参加できる分散型計算力ネットワーク
OpenBuild：Nexusの分散型プロバーネットワークはどのように機能しますか？一般ユーザーは参加できますか？
イェンス・グロス:もちろんです。 コンピューティングパワーのしきい値を下げ、ユーザーはラップトップ、コンピューター、さらには携帯電話からワンクリックでネットワークにアクセスし、アイドル状態のコンピューティングリソースを提供できます。 各デバイスのアクセスにより、ネットワークの全体的な計算能力が向上します。
私たちは従来のブロックチェーンの「マイナーモデル」とは異なり、世界中のデバイスの潜在能力を活用します。ユーザーが計算能力を提供することで、Nexusが提供するインセンティブポイントNEX Points[9]を獲得できます。
開発者に優しい検証可能な計算ツールチェーン
OpenBuild：Nexus は、開発者が zkVM に基づく検証可能なアプリケーションを構築するのをどのようにサポートしますか？
Jens Groth：私たちは、開発者が簡単に Verifiable プログラムを構築できるように、充実した SDK、CLI ツールチェーン、および詳細なドキュメント[10]を提供しています。
私たちのAPI設計は誤用防止メカニズムを備えており、パフォーマンス、検証可能性、安全性のバランスを考慮しています。目標は、Verifiable Executio[11]nを開発の通常の能力の一部にすることです。
AIシーンの統合と実装
OpenBuild：NexusはAIシーンにどのようにサービスを提供しますか？典型的なアプリケーションにはどのようなものがありますか？
Jens Groth: AIの信頼性[12]重要な課題になりつつあります。 Nexusの検証可能なコンピューティングパワーは、さまざまなシナリオで使用できます。
• AIエージェントの検証：例えば、AIが権限と予算の範囲内でフライト予約を完了したかどうかを確認します。
• 暗号取引アシスタント：AIツールが「幻覚取引」を生成しないことを保証します。
• 検証可能なメディア：カメラで撮影した画像が自動的に地理座標と時間に署名され、ディープフェイクを防ぐ。
これらは一般的なシーンであり、NexusはこれらのAIアプリケーションの信頼性[13]を保証するための基盤標準になることを目指しています。
プライバシー vs パフォーマンスのデザイン哲学
OpenBuild：Nexusはプライバシー保護とパフォーマンス最適化の間でどのように技術的なバランスを取るのか？
Jens Groth：検証可能な計算の核心的なコストは、zk証明の生成であり、このプロセスは現在も比較的高価です。Nexusはプロバーネットワークを通じて計算を並列処理し、遅延を大幅に削減します。
Verifiable Computationをローカルで実行すると、zkプルーフ自体が小さく、機密データを公開しないため、ほぼ無料でプライバシー保護が提供されます。 分散処理はプライバシーリスクをもたらす可能性があるため、分散アーキテクチャでプライバシーと効率の両方を維持する方法について積極的に研究しています。
ロードマップと今後の計画
OpenBuild:今後1〜2年間、Nexusはどのようなことに注力していますか?
Jens Groth：私たちは今年、メインネットの正式リリースに向けて新しいテストネットを立ち上げる予定です。同時に、AIと検証可能な計算の深い結びつきを探求するために、Verifiable AI Lab[14]を設立しました。
市場の拡大に関しては、私たちは野心的な目標を持っています:私たちは、将来的にデジタル世界全体を検証可能にしたいと考えています。 50以上のプロジェクトとの協力関係を確立し、「短納期、連続反復」という製品哲学を堅持しています。
エピローグ
このインタビューを通じて、Nexusが別の「チェーン」を行っているのではなく、デジタル世界における「トラステッドコンピューティング」の方法を再定義していることがわかります。 zkVMとそれによって構築された分散型証明ネットワークは、AI、Web3、さらには従来のインターネットにおける信頼できるコラボレーションの新たなパラダイムとなるでしょう。
引用リンク
[1]zkVM:
[2]prover ネットワーク:
[3]イェンス・グロス:
[4]Groth16:
zkVM 3.0 [5]Nexus:
[6]RISC-V:
[7]スタークウェア:
[8]Stwo証明者:
[9]NEXポイント:
[10]ドキュメント:
[11]Verifiable Executio:
[12]AIの信頼性の問題:
[13]AIアプリケーションの信頼性:
[14]Verifiable AIラボ: