新たに資金調達したModulusの概要：どのようにzkを利用して「不透明な」AIモデルを「信頼不要」のブロックチェーンに導入するか

原文タイトル：Introducing Modulus: Bring AI On-Chain

著者：Modulus Labs

編訳：ハイルスマン、ChainCatcher

昨晩、Modulus Labsは630万ドルのシードラウンドの資金調達を完了したと発表しました。Variantと1kxが主導し、Inflection、Bankless、Stanfordなどが参加し、エンジェル投資家にはEthereum Foundation、Worldcoin、Polygon、Celestia、Solanaなどが含まれています。

Modulus LabsはZKMLを利用し、AIモデルのZK証明を組み合わせて、人工知能モデルが正しく実行されていることを証明するためのdappを構築しています。その核心は、ユーザーがAIクエリが改ざんされないことを保証するのを助け、Web3アプリケーションにAIを統合する道を開くことです。サーバー上で動作する機械言語モデルの不透明性とブロックチェーンの透明性のギャップを埋めようとしています。

この記事はModulus Labsが最新に発表した「自己紹介」であり、読者が迅速に理解できるようにChainCatcherが原文を適切に編集・削減しました：

私たちはdApp開発者が世界で唯一のAI専用のZK証明器を使用して、大規模に改ざん防止のAIにアクセスできるように支援しています。これは、スマートコントラクトが信頼を損なうことなく、強力な人工知能機能を享受できることを意味します。

今後数ヶ月間、私たちの活動にご注目ください。私たちは：

• Upshot、Worldcoin、Ion Protocolなどと提携し、Ethereum上で史上最大の人工知能アプリケーションを初めて実現しました；
• AI専用に構築された世界唯一の専用ZK証明器「Remainder」をオープンソース化します；
• Modulus APIを立ち上げ、すべてのdAppがZK責任を通じて強力で表現力豊かなAIにアクセスできるようにします；
• 実際に、私たちは今日「オンチェーンAI」APIの候補者リストをオープンにしました。

TL;DR

• 問題： 現在、dAppが強力な人工知能機能を得るためには、分散型のセキュリティを放棄し、中央集権的なリスクを負う必要があります；
• 解決策： Modulusはゼロ知識証明を使用して、人工知能プロバイダーがチェーン上でアルゴリズムを操作していないことを効果的に確認します；
• 洞察： AI専用に設計された専門的なZK証明が、非常に低コストでdAppに極めて強力なAI機能を提供します；
• 結果： 改ざん防止のAIを強化したdAppは、ユーザー体験において同業他社を超え、同時にチェーンの不信の信条に反しません；
• ビジョン： 先進的な人工知能が私たちの法律、金融、医療、安全、教育の分野に導入されるにつれて、暗号責任が私たちの計算の未来の柱を守ります。

人工知能は人々に 「 ファウスト的 取引 」 を強いる

人工知能は私たちの社会を根本的に変える 。しかし、この「超能力」は、ブロックチェーン技術を使用している人にとってはほとんど役に立ちません。その理由は簡単です：人工知能の操作にかかる計算コストが高すぎて、直接チェーン上で実行できないからです。これは、人工知能機能をスマートコントラクトに導入するためには、人工知能が常に操作されずにモデルを実行できると信頼しなければならないことを意味します。

しかし、信頼を損なう暗号の文脈では、これは難しいことです。ロナルド・レーガンの名言のように：「доверяй, но проверяй（信じるが、確認せよ）。」

ZKは 重責を担うゲーム の終局者

分散型のセキュリティを放棄せずに人工知能の魔法をブロックチェーンにもたらすために、私たちはZKの検証可能な能力に依存することができます。

人工知能に適用されると、ゼロ知識暗号は、人工知能モデルが「正しく」実行されているかどうかを、モデルの背後にある秘密を明かさずに検証することを可能にします。言い換えれば、私たちは数学を使って人工知能の結果が秘密裏に操作されていないかを確認します。この「正しさの証明」をチェーン上で検証することにより、私たちはブロックチェーンと同等のセキュリティを得るために、わずかなコストしかかかりません。

数学のおかげで、私たちは今、暗号学の決定論的な方法で、あなたの人工知能の副操縦士が秘密の改ざんコードを提供していないこと、あなたの信用スコアが偏見のある銀行の影響を受けていないこと、あなたのソーシャルメディア情報が政治的偏見の影響を受けていないことを知ることができます。この「結婚」を私たちは「責任ある人工知能」 （Accountable AI）と呼んでいます。

しかし、最先端のZK暗号は無料ではありません。実際、ブロックチェーンの標準を通じて資金を節約しても、一般的なZK証明はAI計算に1000倍以上のコストを追加します。実際、世界初のZKMLアプリケーションを構築する過去1年間、私たちは同じコスト+パフォーマンスの限界に直面し続けました。この問題を解決する方法はありません：ZK + ML == 経済的暴力。

つまり、現代の人工知能が高度に並列処理されたプロセッサ（つまりGPU）の進歩に完全に依存していることに気づくまで、です。ZK証明に同じ変更を加えれば、スマートコントラクトの設計空間を大幅に開放することができます。

「Remainder」のサポートを受けて、私たちは次世代の人工知能強化型dAppの開発者とパートナーからなるコミュニティを構築し始めました。そして、強力な人工知能機能を具体的なユースケースに大規模に導入することに取り組んでいます。

このビジョンを実現するために、私たちは今後数ヶ月以内に複数のZKMLアプリケーションを発表します 。例えば、最初にNFT評価のリーダーであるUpshotと協力します。

UpshotはAIを使用して非常に正確でタイムリーなNFT価格を提供します（毎時1億回以上の評価、平均絶対パーセンテージ誤差MAPEは3-10%）、これはロングテール資産に新しい金融市場を開く可能性を提供します。しかし、現在Upshotを使用し、サブスクリプションを受けることは、Upshotが決して改ざんしないと信じる必要があることを意味します。

私たちの最終目標は、ブロックチェーンのセキュリティを放棄せずにUpshotの人工知能価格をチェーン上に伝えることです。これが、彼らの機械学習オラクルをModulus APIに統合することによって提供されるものです。その結果、人工知能の超能力とブロックチェーンのセキュリティが共にNFT価格を形成し、この組み合わせはModulusの専門的なZK証明によって実現されます。

Modulus チーム

The Blockによると、Modulusはスタンフォード大学で誕生しました。共同創設者のDaniel Shorrは、パンデミック中に多くの20代の若者と同様に、暗号の誘惑に抗えず、Modulusが誕生しました。

RootDataページによると、Modulus Labsの共同創設者兼CEOのDaniel Shorrはスタンフォード大学の学士号と修士号を持っています；Nicholas CosbyはModulus Labsの共同創設者です。彼は以前Coding Dojoでプログラミングを学びました；Ryan CaoはModulus LabsのCFO/CTOです。彼もスタンフォード大学の学士号と修士号を持っています。

Daniel Shorrは次のように書いています：私たちが1年以上前にRyan、Nickと共にModulusを設立したとき、私たちは非常に非常に困難なものを構築するという天才的な計画を持っていました。私たちの戦略の複雑さは驚くべきものでした！しかし、私たちの狂気には方法があります。人々がほぼ不可能だと思うことに取り組み、絶対的な誠意と真剣さで行動すれば、私たちは世界で最も才能があり、最も親切な人々を引き寄せて一緒に働くことができるのです。