ミナが o1 Labs と語る: ETHDenver に含まれる将来のトレンド

3 月 9 日、ミナは彼女のインキュベーターである o1 Labs のスティーブとフィル ケリーと話し合い、ETHDenver で見聞きしたことから始めて、このイベントに含まれる将来の傾向について説明しました。両者は、AIと暗号化業界の組み合わせ、ZKの検証可能性のユースケース、再帰的証明の実装ロジック、VM置き換えの実現可能性分析、将来の傾向分析などの側面から、業界トップの活動に関する最先端のニュースを明らかにした。

以下はOdailyがまとめてまとめたものです。

ミナ: 自己紹介と、このETHDenver イベントでのお気に入りのサイド アクティビティについて話してください。また、このイベントで最もパフォーマンスの高いプロジェクトは誰だと思いますか?

Steve：こんにちは、o1 Labs のプロダクトオーナーの Steve です。私は Web3 業界に非常に早く参入し、ZK 分野の方が得意です。 o1 Labs に入社する前、私は Cloudflare で 5 年間働いていました。 Cloudflare での経験から、生態学的構築についての洞察が得られました。

私の個人的なお気に入りの副業はミナのアクティビティです。ミナのイベントには、スーパープロの zk 暗号学者からプライバシー/リバタリアンのブロックチェーン愛好家まで、常にさまざまな人々が参加します。

ミナは別として、個人的には ZK Sync のキャンペーンに傾いています。彼らの著書「Explain ZK to Me in Five-year-old Language」では、ストーリーテリングを使用してプロトコル エンジンを生き生きと楽しく説明しています。私にとって、このスタイルのプレゼントはまさにぴったりです。皆さんと共有できることにとても興奮しています。

Phil：こんにちは、私は o1 Labs のビジネス開発担当の Phil Kelly です。私の能力は金融サービスからコンピューター技術まで多岐にわたり、ConsenSys のような企業で働いたり、イーサリアムにも手を出したりしました。イーサリアムから ZK の世界への移行は非常に急な学習曲線であり、私は興奮すると同時に充実感を感じました。

個人的な理由で、私は各イベントについて詳しく知りたいので、皆さんとコミュニケーションをとる過程で、各イベントは私にとって貴重な学習の機会となっています。ミナを除いて、私は Warm KX Mag に惹かれました。 ZK と新しい証明システムについて詳しく知るために、彼らのイベントに招待されました。今日はそれを皆さんと共有できることをとても楽しみにしています。

ミナ：今日のテクノロジー業界では、人工知能（AI）と暗号通貨（Crypto）の組み合わせが非常に注目を集めています。このトピックでは、人工知能と暗号通貨を組み合わせることで、多くの新しいアプリケーションやソリューションを生み出すことができる、2 つの非常に注目されている分野について触れます。たとえば、AI テクノロジーを使用して暗号通貨取引戦略を最適化し、投資収益を向上させたり、ブロックチェーン テクノロジーを使用して人工知能モデルのセキュリティと透明性を強化し、データのプライバシーとセキュリティを確保したりできます。それでは、人工知能と暗号通貨を組み合わせる最大の利点は何だと思いますか?それらはどのような新しいアプリケーションやソリューションをもたらすことができるでしょうか?

Steve：人工知能と暗号通貨の組み合わせは、確かにテクノロジー界で大きな注目を集めているテクノロジートレンドです。この組み合わせは、技術革新について考え、実行するためのまったく新しい方法を提供すると同時に、多くの投資家や愛好家の注目を集めています。

暗号通貨の特性により、人々はデジタル トークンを使用してさまざまな資産や実体を表し、投機的な取引を行うことができ、これにより市場活動と投資家の関心がある程度高まります。また、仮想通貨市場の特徴の一つとして、インターネット接続があればどこの国にいても参加できるボーダレス性があり、市場の規模と魅力はさらに拡大しています。

もちろん、投機や取引に加えて、人工知能と暗号通貨の組み合わせには多くの実用的な価値があります。たとえば、スマート コントラクトを使用して自動取引戦略を実行したり、ブロックチェーン テクノロジーを使用してデータのセキュリティと透明性を確保したりできます。これらのアプリケーションは金融分野に革命的な変化をもたらすだけでなく、他の業界にも大きな影響を与える可能性があります。

したがって、人工知能と暗号通貨の組み合わせは、注目のテクノロジートレンドであるだけでなく、徹底的な議論と研究に値する可能性に満ちた分野でもあります。

Phil：人工知能と暗号通貨に関する議論は、多くの異なる側面に関わる非常に広範なテーマであるため、曖昧なことが多いです。たとえ主題を突き止めることができたとしても、新たに出現した大規模な自然言語モデルによってもたらされる課題を解決できる暗号機械学習 (CKML) をどのくらい早く実装できるかなど、答えなければならない疑問はまだたくさんあります。これは間違いなく実現可能性の課題です。一方で、一部の人が話題にしているのは ZK Machine Learning (ZKML) のことかもしれないと思います。

彼らが話していることの詳細をいくつか掘り下げてみると、彼らが実際に話しているのは、機械学習モデルを実行した結果の出力であり、この時点では非常に複雑になる可能性がありますが、それは単なる一次方程式である可能性があります。 。現在のテクノロジーを使用すると、ゼロ知識証明システムでこれを実現できます。注目すべき点があると思います。 ZK と検証可能なコンピューティングにおける議論の焦点は常にプライバシーであるという私の主張を繰り返したいと思います。

Steve：Phil の議論を聞いて、ZK Machine Learning (ZKML) に対する私の態度がより楽観的になったことを付け加えておきたいと思います。当初、私も Phil と同じ意見で、ZK テクノロジーを使用すると多くのオーバーヘッドが追加されるだろうと考えていました。結局のところ、モデルのトレーニングと推論は安価なプロセスではありません。では、なぜこの 2 つを組み合わせたのでしょうか? ZK テクノロジーのパフォーマンスを 10 倍に向上させ、オーバーヘッドを削減できるからです。 ZK テクノロジーがより効率的になるにつれて、実行できる計算量がそれに応じて増加することは避けられないと思います。

製品担当者として、私は製品例を使って説明するのが好きです。解決策: カメラから取得した生の映像コンテンツには署名する必要があります。したがって、デバイス メーカーがそれを行う必要があり、全員が署名キーを持っています。ぼかし、シャープ化、トリミング、またはその他の操作を実行すると、このすでに署名されたコンテンツはゼロ知識証明で実行できます。そして、ミナのようにチェーンをたどることができるブラウザもあり、「これがこの画像です。本物のカメラからのものであることを証明する証明書があり、これらの操作が行われただけで、大まかにわかっています」と言うことができます。それはどのようなものか 。

ミナ: 暗号通貨の世界では、ZK について話すとき、ほとんどの人はまずスケーラビリティを考え、次にプライバシーを考えると思いますが、検証可能性はある程度無視されていると思いますが、どう思いますか?

Steve：私は常にスケーラビリティとプライバシーを重視して ZK について話します。私は他の人の意見もよくテストしますが、プライバシーが最も説明しやすいため、人々はプライバシーをデフォルトにすることが多いことがわかります。しかし、実際に市場を見てみると、すべての zk Rollups やMina と同様に、スケーラビリティへの投資がプライバシーをはるかに上回っています。しかし、検証可能性はこれら 2 つとは異なり、それらは関連しているものの、証明を生成して検証する場合にのみ何かを拡張することになるということをうまく指摘しています。ただし、検証可能性のためのこの使用例は主要です。先ほど説明したように、画像を見ている場合、スケーラビリティやプライバシーの側面ではなく、それが検証可能かどうか、そしてその検証可能性を信頼できるかどうかが気になります。

ミナ: ブロックチェーンの世界では、多くの場合、検証可能性は完全な開示と同一視されます。私たちが提供するのは、基礎となるデータを完全に開示しなくても検証可能性を実現できるということですが、これにはプライバシーの問題が伴います。しかし、私たちは誤った情報と混乱を招く情報源で満たされたインターネットに直面しているため、検証可能性が非常に重要であると考えています。ZK はプログラム可能な真実であると考えることができ、これは私たちが議論し探求してきたテーマです。 ZK と AI の間には多くの相乗効果があると感じています。誰もが暗号通貨と AI について話していますが、ZK が関与していなければ、暗号通貨と AI の融合がディストピアに陥ることを完全に回避することは不可能であると感じています。それでは、次の議題についてお話しさせていただきます。集計の証明に関して多くの議論が行われているのを目にします。まず、誰か全員に概要を説明してもらえますか?あまり知らない人のために説明すると、証明の集計とは何ですか?

Steve：証明の集約の概念は、証明があり、それを検証できるというものですが、これにはある程度の時間がかかります。この処理を 1,000 回繰り返すと、この一定時間の 1,000 倍に相当します。したがって、時間コストは徐々に増加します。ガス料金またはそれに関連する何らかの料金が発生する場合は、追加で 1,000 円の料金を支払うことになります。証明の集約で何が起こるかというと、最初の証明を入力として 2 番目の証明に渡し、2 番目の証明を入力として 3 番目の証明に渡すことができ、これら 1,000 の証明を 1 つの証明に集計することができます。一度確認しました。暗号化の魔法のおかげで、1 つの証明が合格した場合、それらの 1,000 の証明はそれぞれ独立して合格するという、同じ暗号化保証が得られます。これは、規模をさらに拡大し、コストをさらに削減するための単なる方法です。後で説明しますが、これは Mena プロトコルを推進するコア テクノロジーの 1 つです。

Phil：証明を生成したり、他の追加の証明と結合したりするには、より多くの計算能力を費やす必要があるため、より多くの証明を行うには、いくつかのトレードオフが関係すると思います。これにより、計算コストは​​増加しますが、検証コストは削減されます。あるいは、単により多くのプルーフを検証環境に送信して、より多くの検証料金を支払うこともできます。実際、これは ZK の柔軟性を示す良い例です。市場ではアグリゲーションに関する議論が突然起こり、多くの人が ZK の実用性を検討し始めていることを意味します。集約は常に単なるアイデアにすぎませんでしたが、現在では人々が積極的に集約を構築し、送信し、認証にかかる煩わしいコストやコストについて考え始めています。これは非常に良い兆候だと思います。

ミナ: ETHDenver イベントで、皆が VM を置き換える方法について話し合っていたのですが、まず Steve が VM の基本的な概念を皆さんに紹介し、その後、VM を置き換えることの利点と障害は何かについて説明したいと思います。

Steve：VM について言えば、CPU の使用例から始めましょう。時間が経つにつれて、より多くのチップとより多くの CPU を搭載しているだけでなく、実際に CPU の上で仮想 CPU を実行できることに誰もが徐々に気づきました。仮想 CPU は、それが最初のものであったと言えます。 VM。 VM では、既存の命令セットを再利用でき、命令を定義して任意のハードウェア上で実行できます。私たちの業界で最も有名なバージョンは EVM で、これは後にイーサリアムの中核となり、大きな成功を収めました。

VM を置き換える方法はイベントでホットな話題であり、私はパネルの 1 つで講演しました。古い VM に投資を続けて VM を改善する必要がありますか?特に互換性がある場合は、高速化するようなものです。 VM で同じ命令を再実行するよりも合意に達するためのより良い方法は、すでに明らかです。より良いアプローチは、同じ計算が行われるという証明を生成することです。検証者が行う必要があるのは、その証拠を検証することだけです。これは ZK ロールアップと一致します。

Phil：私にとって、業界でのこうした議論は、テクノロジーの初期段階で見られるものに似ており、人々はこの業界がどれほど将来性があるのか​​、どれだけ多くの専門分野が出現するのかを十分に理解していません。

イーサリアムを除いて、すべての代替手段は大きな役割を担っており、特定のタスクを実行でき、Web3 のアーキテクチャにおいて重要な役割を果たしていると思います。これらのタスクの 1 つは、イーサリアムの仮想マシンの外部で、おそらく他の特殊な仮想マシンと共存して実行するのが最適であると私は信じています。

ミナ: ETHDenver イベントでは、誰もが EIP 4844 の重要なトピックについて言及しました。スティーブ、これが何なのか、そしてなぜそれが重大なことなのか簡単に説明してもらえますか?

Steve：具体的なデータを挙げて説明しましょう。理論的には、EIP 4844 の開始後、イーサリアム エコシステムの人気はさらに高まりますが、送金やスマート コントラクトの実行にかかる手数料は米ドルになり始めるでしょう。 2022 年には、導入契約を例に挙げると、この料金は 50 ドル、さらには 100 ドル以上に上昇しましたが、これは明らかに持続不可能です。

エコシステムは、成長し、多くのアクティビティを引き付け、より安価な 2 番目および 2 層目のソリューションで対応しました。料金は 15 セントから約 1 ドルまでです。基本的なトークンスワップ手数料は 50 セントから、3 ドルもする場合もあります。

拡張計画もこの活動の影響を受けましたが。イーサリアムは変更を加えており、特に、トランザクションを表すデータが大量に存在するレイヤー 2 からのトランザクションは、異なる方法で処理され、ガス消費量が少なくなることを認識しています。したがって、先ほど引用したイーサリアムの取引手数料は、最低 0.14 ドルから最高 1 ドルまで大幅に下がることになります。したがって、正確な数字はわかりませんが、2番目の層ではすべてが安くなります。これは市場にとって良いことです。ただし、高速道路の例え話もあることも指摘しておきたいと思います。高速道路が渋滞して車線をいくつか追加すると、何が起こるでしょうか?交通量も少なくなるでしょうか？もちろんそうではありません。より多くの車両が道路を走行することになりますが、問題は変わりません。

これは、モデルがコンセンサスに達したノードのコンセンサス ネットワークである場合に起こることです。イーサリアムには約 150 万のノードがあり、すべてがコンセンサスに達するために同じトランザクションを再実行します。これにより、時間の経過とともに状況が改善されます。彼らはさらに改善するために他のことを行っています。しかし、最終的には、真のスケーラビリティを実現する方法は、ゼロ知識証明を使用することです。私たちはこれを、クライアント側で証明を生成するクライアント側のゼロ知識証明として考えています。検証コストは低く、一定時間です。ユーザーにとって良いことをし、コストを削減します。

ミナ：上記のような今回のイベントの熱い出来事以外にも、イベント中に皆さんと共有できる新たな発見はありますか？

Phil：DePIN は、私が未来だと考えるトレンドの 1 つです。知らない人のために説明すると、DePIN は分散型物理インフラストラクチャを指します。ヘリウムは最後の大きなサイクルの最良の例であり、強気相場が到来する前に最も成功したプロジェクトの 1 つだったと思います。しかし、さらに同様のプロジェクトが進行中です。たとえば、車内のデバイスを使用してチェーンと対話できるデモについて知っている人もいるでしょう。カスタム物理デバイスを含む多くのプロジェクトが出現しており、これらのネットワークが関与していることがわかります。導入中です。また、市民が気象データを収集し、気象データの分散収集を実現できる WeatherXm もあります。従来の通信サービス プロバイダーの機能を強化できる代替手段も利用できます。

したがって、DePIN は間違いなく新興分野です。そして、私が気に入っているのは、ネットワークのエッジで大量のデータを処理するときに、すべてのデータを送信するのではなく、データに対して計算を行って送り返すことができるようにしたいことです。実際、DePIN のイベントでは、誰かがネットワークのエッジで温度計のデモンストレーションを行っていました。明らかに、温度を常に測定していますが、毎回測定値を送信する代わりに、温度範囲を監視し、「ここの温度は 10 度から 20 度の範囲にあります」のようなメッセージを定期的に送信するようにプログラムすることもできます。

ここでは、膨大な量のデータを送信する代わりに、多数のデータ ポイントを要約する簡潔な式が得られます。たとえば、貴重な貨物が世界中で輸送される場合、温度測定は非常に重要な要素となることが多いため、この特定の例は非常に良い例です。現在、このデータを測定する従来の方法がいくつかあります。たとえば、デバイスが範囲外に出たときに記録するデバイスを使用して、薬剤が正しく送達されていることを確認します。しかし、旅行中または旅行終了時に温度範囲を簡潔に知らせるセンサーを使用できれば非常に便利です。