Nexus創設者Daniel：検証可能な計算でAI時代の信頼を再構築
Nexus創設者Daniel：検証可能な計算でAI時代の信頼を再構築 最近の詳細なインタビューで、Nexusの創設者Danielは、ゼロ知識仮想マシン（zkVM）を活用した検証可能な計算が、ますます不透明なAIシステムが支配する時代における信頼の基盤となり得るという大胆なビジョンを語った。会話では、Nexusの起源、技術ロードマップ、そしてzkVMと分散コンピューティング、信頼できるAI実行の間の深い連携について掘り下げられた。 アイデアからインフラへ Danielは、Nexusの始まりを単純だが不安を誘う観察に結び付けた：AIモデルがより強力になるにつれて、その意思決定はますます不透明になる。ローン承認、医療診断、自動取引アルゴリズムなど、ユーザーは正確性の検証可能な証明なしに出力を信頼するよう求められる。Nexusはそのパラダイムを覆すために設立された—計算自体を監査可能にすることだ。「私たちは結果を検証したいだけでなく、プロセスを検証したいのです」とDanielは強調した。 Nexusのアプローチの中核はzkVMであり、任意の計算に対してゼロ知識証明を生成する仮想マシンである。専用回路とは異なり、zkVMを使用すると、開発者は基盤となるデータを公開せずに証明・検証できる標準的なプログラムを書くことができる。この汎用性は、既存システムへの検証可能な計算の統合の障壁を低くするため、実世界での採用に重要である。 zkVM、分散コンピューティング、AIの融合 Danielは、zkVMと分散コンピューティングネットワークの相乗効果について特に明確に語った。zk証明と分散ノードインフラを組み合わせることで、Nexusは、特にAI推論などの計算タスクが信頼できない第三者によって実行されるが、結果は暗号学的に保証されるマーケットプレイスを提供できる。これは分散型AIにとってゲームチェンジャーであり、「ブラックボックス」問題が大きなハードルとなっていた。 AIにとって、その影響は深遠である。検証可能な推論により、モデルの重みや入力データを公開せずに、モデルの出力が特定のパラメータを持つ特定のモデルによって生成されたことを証明できる。これにより、監査可能な信用スコアリングから改ざん防止のサプライチェーン分析まで、新たなクラスのトラストレスAIサービスが可能になる。Danielは、「私たちは、AIが要求されたことを正確に実行したことを検証できる世界に向かっています。それ以上でも以下でもありません」と述べた。 課題と今後の道のり その期待にもかかわらず、Danielは課題について率直だった。zk証明の生成における計算オーバーヘッドは、特に大規模なAIモデルでは依然として無視できない。しかし、彼は証明システムとハードウェアアクセラレーションの急速な改善を指摘し、数年以内にオーバーヘッドがほとんどのユースケースで許容可能になると予測した。また、コミュニティとオープンスタンダードの重要性を強調した：「検証可能性は、広くアクセス可能であって初めて意味を持ちます」。 今後、Nexusは開発者に優しいエコシステムの構築と、AIおよびブロックチェーンプロジェクトとのパートナーシップ形成に注力している。Danielは、検証可能な計算が今日のHTTPSのように遍在する未来を思い描いている—デジタルインタラクションの基盤となる静かな信頼の層だ。「信頼は感情ではなく、証明できる特性です」と彼は締めくくった。
Jens Grothが語る、ユニバーサル検証可能な計算の未来構築
Jens Grothが語る、ユニバーサル検証可能な計算の未来構築 最近のインタビューで、2016年のGroth16プロトコルがゼロ知識（zk）証明の基礎となった暗号学者Jens Grothは、グローバルで検証可能なコンピューティング基盤に関する彼のビジョンを概説しました。現在NexusのリサーチサイエンティストであるGrothは、彼の基礎的な研究がどのように拡張され、zk証明を特殊なブロックチェーンタスクだけでなく、汎用計算に実用的なものにしているかについて議論しました。 Groth16からユニバーサル検証へ Groth16は、最も効率的なzk-SNARK構造の1つであり、Zcashや多くのLayer-2スケーリングソリューションなどのブロックチェーンシステムで広く使用されています。しかし、その設計は回路固有の検証に合わせられており、各アプリケーションに新しいトラストセットアップが必要です。Grothは、次のフロンティアはユニバーサルな検証可能性を達成することであると強調しました。つまり、AI推論からデータベースクエリまで、あらゆる計算を、アプリケーションごとのセレモニーや莫大なオーバーヘッドなしで検証できるようにすることです。 「重要なのは、証明システムをアプリケーションロジックから切り離すことです」とGrothはインタビューで説明しました。「開発者が通常通りコードを書き、それを自動的にzk証明にコンパイルできるようにしたいのです。そのためには、堅牢な中間表現と、動的な制御フローを処理できる証明システムが必要です。」 Nexusは、この抽象化レイヤーを提供することを目的としたzkVM（ゼロ知識仮想マシン）を構築しています。RISC-V命令セットアーキテクチャを活用することで、このプロジェクトは、その標準にコンパイルされた任意のプログラムの実行を証明できるユニバーサルバックエンドの作成を目指しています。このアプローチは、単純なトークン転送や特定のDeFi操作に限定されていた初期のzkロールアップとは対照的です。 業界への影響 ユニバーサルzk計算への移行には、深い影響があります： スケーラビリティ： スマートコントラクトやオフチェーン計算をチェーン上で簡潔に検証できれば、分散化を犠牲にすることなく、ブロックチェーンのスループットを水平方向にスケールできます。 相互運用性： ユニバーサルな証明レイヤーは、異なるチェーン間のブリッジとして機能し、あるネットワークの状態遷移を暗号学的に確実に別のネットワークで検証できるようにします。 プライバシー： 検証可能な計算により、入力は隠されたまま出力が正しいことが証明されるプライベートスマートコントラクトが可能になります。これは機関投資家の採用にとって重要な機能です。 コスト削減： Groth16は効率的な証明が可能であることをすでに証明しました。ユニバーサルシステムは、これらのコストをコンシューマーハードウェアまで引き下げ、モバイルやIoTの参加を可能にすることを目指しています。 今後の課題 有望性にもかかわらず、重大なハードルが残っています。汎用コードの証明は計算集約的であり、多くの場合、ネイティブ実行よりも何桁も多くのリソースを必要とします。Grothは、開発者エクスペリエンスももう一つのボトルネックであると認めました：「証明がユニットテストを書くのと同じくらい簡単になるように、より良いツールが必要です。」 さらに、これらのシステムのセキュリティは、厳密な形式検証と継続的な監査に依存しています。技術が成熟するにつれて、アプリケーション固有の回路から、共有され監査された証明フレームワークへの移行が見られるかもしれません。これは、エコシステム全体の信頼を標準化する動きです。 将来の展望 NexusでのGrothの研究は、暗号学と主流のソフトウェアエンジニアリングの収束という、より広いトレンドを示しています。今後数年で、zkVMはブロックチェーンネットワークだけでなく、従来のクラウドサービスも支え、機密情報を明かすことなくデータ処理に関する検証可能な主張を可能にすることが期待されます。 「私たちは変曲点にいます」とGrothは述べました。「次の10年で、検証可能な計算は今日の暗号化と同じくらい普及するかもしれません。」そのビジョンが実現すれば、インターネットの信頼レイヤーは根本的に再配線され、Grothの初期の貢献はその変革の種と見なされるでしょう。
RISC-V in Web3: A New Era for Blockchain Architecture or a Pipe Dream?
EVMからRISC-Vへ？RISC-Vの過去、現在、そしてWeb3の可能性を探る ブロックチェーン業界は、半導体の世界で注目を集めているオープンスタンダードの命令セットアーキテクチャ（ISA）であるRISC-Vについての議論で賑わっています。イーサリアム仮想マシン（EVM）がスケーラビリティと効率性の課題に直面する中、一部のプロジェクトはRISC-Vを潜在的な代替手段または補完手段として模索しています。しかし、RISC-Vとは正確には何であり、本当にWeb3に革命をもたらすことができるのでしょうか？ ニュース概要 最近の分析では、RISC-Vをブロックチェーンエコシステムに統合することへの関心の高まりが強調されています。ARMやx86などのプロプライエタリなISAとは異なり、RISC-Vはオープンソースでモジュール式であり、開発者が特定のワークロード向けに命令をカスタマイズできるようにします。暗号通貨の分野では、これはスマートコントラクトの実行の効率化、ガス代の削減、セキュリティの強化につながる可能性があります。しかし、EVMからRISC-Vへの移行には、既存の分散型アプリケーション（dApps）との互換性や堅牢なツールチェーンの必要性など、技術的なハードルがたくさんあります。 業界分析と影響 技術的利点：RISC-Vのオープンな性質により、ブロックチェーン操作に合わせた最適化が可能になり、計算オーバーヘッドを削減し、トランザクションスループットを向上させる可能性があります。たとえば、カスタム命令により、ブロックチェーンネットワークの一般的なボトルネックである暗号ハッシュや署名検証を高速化できます。 エコシステムの課題：EVMはスマートコントラクトの事実上の標準となっており、開発者、ツール、dAppsの広大なエコシステムがあります。RISC-Vへの移行には、スマートコントラクトの再コンパイルまたは書き直しが必要であり、これは困難な作業であり、コミュニティを分裂させる可能性があります。さらに、既存のセキュリティ監査や形式検証手法はEVM中心であり、新しいフレームワークが必要です。 ハイブリッドアプローチ：一部のプロジェクトは、ゼロ知識証明の生成などの特定のタスクをRISC-Vが処理し、一般的なスマートコントラクトにはEVM互換性を維持するハイブリッドモデルを模索しています。これにより、確立されたエコシステムを放棄することなくRISC-Vの強みを活用する、実用的な道が提供される可能性があります。 将来の展望 Web3でのRISC-Vの採用はまだ初期段階ですが、その可能性は否定できません。ブロックチェーンネットワークが規模と多様性を増すにつれて、専門のハードウェアと命令セットの必要性が高まるでしょう。RISC-Vは、より効率的なレイヤー2ソリューションを可能にし、プライバシー保護技術を強化し、ブロックチェーンとIoTデバイスの統合を促進する可能性があります。ただし、成功はコミュニティの協力、開発者教育、そしてEVMよりも具体的な利点を示すキラーアプリケーションの出現にかかっています。EVMからRISC-Vへの道のりはスプリントではなくマラソンであり、業界はまだスタートラインに立ったばかりです。
バーチャルラウンドテーブル：EVM、RISC-V、WASM、MoveVM、FuelVM — Web3 VM戦争が激化
バーチャルラウンドテーブル：EVM、RISC-V、WASM、MoveVM、FuelVM — Web3 VM戦争が激化 最近のトップ開発者による詳細な議論（Vitalik Buterinも参加）により、次世代のブロックチェーンインフラを支配する仮想マシン（VM）をめぐる論争が再燃しています。候補は、EVM（エコシステム互換性）、RISC-V（ハードウェア効率）、WASM（多言語サポート）、MoveVM（資産安全性）、FuelVM（パフォーマンス限界）です。それぞれがスマートコントラクトの実行方法について異なる哲学を表しています。 ニュース要約 バーチャルラウンドテーブルとして構成されたこの会話は、既存のEVMの巨大なネットワーク効果と、より優れた速度、安全性、柔軟性を約束する新興の代替案を対比させています。Vitalikの参加は、イーサリアムが業界標準であり続ける一方で、EVM以外の代替案を自ら模索していることを強調しています。 業界分析 EVMの堀は本物です。数千のdApps、数十億のTVL、成熟したツールチェーンを持つEVM互換性は、即時の流動性を求める新しいL1やL2にとってデフォルトの選択肢であり続けています。しかし、その逐次実行とガスモデルはボトルネックを生み出します。 RISC-Vはハードウェアの最前線をターゲットにしており、ブロックチェーンノードを標準チップ上でより効率的に実行することを目指しています。これはZK証明の生成やリソース制約のあるデバイスにとって重要です。WASMは開発者にRust、C++、Goでのコーディングの自由を提供し、Solidityを超えた人材プールを広げます。MoveVMは資産中心のセキュリティを優先し、設計上、二重支払いや再入場を防ぎます。これはDeFiや機関投資家の利用にとって魅力的です。FuelVMは並列実行を極限まで推し進め、ラップトップレベルのノード運用と前例のないスループットを目指します。 この戦いは単に技術的なものではありません。開発者のマインドシェア、流動性、そしてWeb3のアーキテクチャの魂をめぐる戦いです。Polkadot（WASM）、SuiやAptos（Move）、Fuel（FuelVM）などのプロジェクトは、パフォーマンスと安全性が最終的にエコシステムの慣性を凌駕すると賭けています。 将来展望 単一の勝者ではなく、マルチVMの未来が予想されます。相互運用性レイヤーとチェーン抽象化されたSDKにより、開発者はユースケースごとに最適な実行環境を選択できるようになるでしょう。イーサリアム自身のロードマップにはEVM効率を改善するEIP提案が含まれていますが、長期的にはWASMやZKフレンドリーなVMを採用する可能性もあります。VM戦争はイノベーションを加速させるでしょうが、真の勝者は、基盤となるエンジンに関係なく、より速く、より安く、より安全なdAppsを得るユーザーです。
まだ投稿はありません。