この記事は、AMAの内容を本文とQAセッションに分けてまとめたものです。本文はモデレーターとサムの対談で、QAセッションはコミュニティユーザーからのAOに関する質問です。
招待してくれたluluとBeWaterに感謝します。本日のイベントを主催するPermaDAOのアウトプログです。分散型ストレージインフラであるArweaveは、2018年から約6年間安定的に稼働しており、Arweaveに保存されるデータはBTCの価格のように爆発的に増加しています。
今年、Arweaveのエコシステムに非常に重要なことが起こったこと、すなわちAOのリリースは、Arweaveのエコシステムが分散型ストレージから分散型コンピューティングをサポートするフルスタック・アプリケーション・エコシステムへと変貌を遂げたことを、私たちは皆知っています。
まず、サムに簡単な自己紹介と、ArweaveとAOの概要を説明してもらおう。
Sam:
ありがとうOutprog、そして招待してくれたBeWaterに感謝します!
約7年前、私たちは人類の最も重要な知識や歴史を保存するための恒久的なデータレイヤーとしてArweaveの構築を始めました。当初のアイデアは、基本的に「オンチェーン・ストレージ」を構築することでした。ビットコインが登場した当初から人々が試みてきたような、無制限のスケーラビリティを備えたストレージです。7年後の今日、Arweaveは50億以上のデータを保存し、多くのWeb3アプリケーションを実行する「データパイプライン」となっている。
その過程で私たちは、分散型コンピューティングとは「分散型データ複製」に「認証」を加えたものであることを発見しました。イーサリアム(あるいはビットコイン)ノードを実行するとき、あなたのコンピューターはピアネットワークからブロックをダウンロードし、それを検証するだけです。
Arweaveは(ビットコインやイーサの複製されたデータの集まりのように)どんな量のデータでも永久に保存できるため、疑問が生じます:検証レイヤーを追加すれば、無限にスケーラブルなスマートコントラクトを実装できるということでしょうか?
答えはイエスだと判明した。製品はAOです。これは本質的に、並列スレッド数が無制限のArweave上で動作する分散型スーパーコンピュータです。
Arweave+AOの組み合わせで、私たちは新しい分散型サイバースペースを構築したいと考えています。このサイバースペースは中立であることが証明され、ユーザーの権利を保証することができます。
アウトプログ:
サム、紹介ありがとう。最初の質問に移りましょう。今日のトピックはAIですので、AIから議論を始めましょう。
AOがアクターモデルを使って設計されていることは知っていますし、論文の1つである「A Universal Modular Actor Formalism for Artificial Intelligence」の中で、アクターモデルとAIの関係について言及されていることは非常に興味深いことです。論文[A Universal Modular Actor Formalism for Artificial Intelligence]の中で、アクターモデルとAIの関係について言及されているのは非常に興味深い。アクターモデルに基づくAOは、AIアプリケーションの開発に当然適していると考えていいのでしょうか?
Sam:
そう、Actorモデルが発明されたのは、(現在と同様に)AI研究が注目されていた時期でした。当時のAIの探求は、最終的に完成までに60年の研究を要したが、アクターのプログラミングモデルはすぐに広く採用され、多くの非AI機器に適用された。AGIに近づきつつある今、アクター・モデルはさらに理にかなったものとなっている。
要するに、アクター・モデルの核となる考え方は、システムの各コンポーネントが、並行して動作できる独立した自律エージェントであり得るということです。このモデルは、現実世界を模倣しているため、エージェント駆動アーキテクチャによく適合します。今日のAMAチャットのように、私たち一人ひとりは独立していて自律的であり、メッセージを送信することで互いに協調します。
AOはアクター・モデルを使って、このアイデアを計算の世界に持ち込みます。システム内の各サービスは自律的で、独立して実行することができます。協調したいときは、メッセージを送ることで行う。
Outprog:
はい、アクターモデルでは、各アクターはAIエージェントを彷彿とさせるエージェントのようなものです。サムさん、アクター・モデルとAIの関連性について教えてください。
サム
その通りです!エージェント==アクターです。したがって、Actor指向のメソッドをホスト環境として持つことは、完全に理にかなっています。
私たちがAOに最も期待していることの1つは、完全な大規模言語モデルをホストできるほどスケーラブルなスマートコントラクトを提供してくれることです。CTOのトムと私はここ数週間、夜と週末をArweave上で大規模な言語モデルをホストするための研究と練習に費やしてきました。
https://GitHub.com/
samcamwilliams/aos-llama
公開の準備はできていませんが、このリポジトリはプレビューの役割を果たしています。
Outprog:
お褒めの言葉です!サムのユースケースは、AIマクロモデルがAOでどのように実装できるかをすぐに示すと思います!
Sam:
考察:AOは、エージェントに適したサイバー空間の新しい形です。AOの中では、エージェントは自律的で、主権を持つ個々のユニットです。
私たちは、この技術の主な応用は金融分野で起こると考えています。
かつて、経済活動の多くは、決済だけでなく、まさに「スマートレイヤー」でした。これらの経済活動は、以前は「オフチェーン」で行われていましたが、今ではスマートコントラクト環境に持ち込むことができ、それらが提供する信頼性を得ることができます。
経済活動のすべてのスマートな振る舞い(決済だけではありません)が、信頼できないエージェントがスマートコントラクトとしてチェーン上でアクションを実行することで、オンチェーンで実行されると想像してみてください。スマートコントラクトとしてチェーン上でアクションを実行する信頼できないエージェントを介して、経済活動のすべてのスマートな振る舞いをチェーン上で実行することができるとします。これで、自律的な「アルゴリズム取引」ファンドをユーザーに提供するスマートコントラクトを構築できる。これは、これまで存在しなかった巨大なデザイン空間を切り開くものです。
長期的には、それ以上のものになると考えています。それは、タスクを実行するために信頼できる「生命体」の自律的な形態(それをどのように表現するかは問いません)になるでしょう。
Outprog:
Automated financeとAI agent financeは、AOで探求する価値のある方向性だ!期待して待ちましょう。
次の質問に移ります。AIとWeb3が連携した実例はまだなく、AOのテクノロジー・アーキテクチャは明らかにこの限界を突破している。EVMのようなオンチェーンモデルに加えて、開発者はAOを使って、これまで実装が難しかったアプリケーションを作ることができる。
技術的なブレークスルーの後、AOは今後どのようにAI開発を助けていくのでしょうか?また、AIの開発においてAOはどのような役割を果たすのでしょうか?
サム:
主なおすすめは、コラボレーションを積極的に探すことです!Arweaveのエコシステムには、AOでのプロジェクト開発を喜んで手伝ってくれるグループがたくさんあります。最近、Community Labsは、ネットワーク上で構築されるプロジェクトの開発を支援するために、3500万ドルの投資資金を持つインキュベーター、AO Venturesを立ち上げました。
フォワード・リサーチでは、エコシステムでプロジェクトを構築する人々に対して、1対1のサポートも喜んで提供します。ご連絡いただければ、技術的なサポートからプロモーション、資金的なサポートまで、できる限りのお手伝いをさせていただきます。
アウトプログ:
生態系をサポートする!最後の質問です。
BeWaterが主催したハッカソンは、aoの開発者エコシステムの開発に非常に役立ちました。また、PermaDAOはArweaveエコシステムの開発者コミュニティの構築に取り組んできた長い歴史があります。
今後アジアでは、ハッカソンやインキュベーター、ブートキャンプなど、オフラインのaoイベントが増えることでしょう。
フォワード・リサーチはこれらのイベントをサポートする計画やアイデアはありますか?BeWater AI Crypto Hackathonとどのように提携できますか?一緒にイノベーションと成長を推進しましょう。
サム
フォワード・リサーチの中核機能は、プロトコルとコミュニティの両方を構築することです。後者は通常、適切な人々を見つけ、彼らがそれを宣伝し、促進する手助けをすることを含みます。
Q&A
AMAでのコミュニティ・ユーザーからのQ&Aです
「POS」について
Adam Lee:
私は、「POS」での経験があります。align: left;">AOについていくつか質問があります。
1.AOはまだ集中システムとしてPoAを使用していることに気づきました。いつになったらPoSやもっと分散型のコンセンサスメカニズムにアップグレードするのでしょうか?
2.AOに関連するトークンエコノミーのコンテンツを見たことがありません。この部分はいつアップグレードされるのでしょうか?
3.AOのロードマップはありますか?
Sam:
私たちが進化を続けるにつれて、私たちの活動の大半を徐々に、そしてスムーズにPoSに移行していくでしょう。 今のところ、本当に「一元化」されているわけではありません!--開発者の中には自分のSU/CU/MUを運営している人もいるし、開発者としては、自分のメッセージをどの「組織」に託すかを選ぶことができる。AO自体はArweave上のデータ・プロトコルなので、その上にさまざまなセキュリティ・システムを重ねることができます。
一旦AOがPoSを実装すれば、人々がネットワーク内のプロセスの状態を計算する役割を担うCU(コンピュートユニット)を実行する、効率的なコンピューティングマーケットプレイスが存在することになります。
AOの大きな特徴の1つは、運用ネットワークの各サブネットが完全に弾力的であることです。各ネットワークにスケーラブルな制限はありません。興味深い事実:昨日、フォワード・リサーチが運営するテスト・ネットワークのコンピュート・ユニットの数を2倍に増やした。一部のプロセスの実行速度が速くなった以外は、誰もその変化に気づかなかった。将来的には、任意の数のコンピュート・ユニットに拡張することができます。
David Dot:
AOトークンは資金の借り換えを意味し、ARの価値を高めることを放棄したのでしょうか?
Sam:
ご質問の内容を正確に理解するのは難しいのですが、AOの資金調達は全く行われていません。私たちは、投資したいすべてのVCに、その上に構築されたプロジェクトのエコシステムに投資するよう働きかけています。
コンカレンシーについて
Siyuan Han
素晴らしいですね!AOはどのように任意の数の並列プロセスをサポートしているのか、また、AOはどのように読み取り/書き込みの競合のような従来の並列実行の問題を回避しているのか、説明していただけますか?
Outprog:
アクター・モデルは並行処理を扱うための非常に確立されたモデルであり、AOで使われているアーキテクチャです。このモデルは1973年に提案され、Erlangプログラミング言語で実装されています。
アクターモデルに関する詳しいドキュメントは
https://en.wikipedia.org/wiki/Actor_model
にあります。
PermaDAOによるAO仕様の翻訳もご覧ください:
https://permadao.com/permadao/ao-1353 cc109d434941 a6757560 ef35 dcc2
Sam:
私たちがAMAチャットに今使っているTelegramも、始めるには良い場所だと思います。これはAMAチャットのためのもので、内部ではアクターモデル・プログラミングも使っています!
シユアン・ハン:
AOはコンピュートレベルでの読み書きの衝突を避けることができます。AOが従来の高度な並行システムのようにトランザクションを処理する能力を持ち、数千から数万のスレッドを同時に実行するのであれば、ディスクIOレベルではどのようにワークロードを処理するのでしょうか?AOのストレージとデータエンジン技術について詳しく教えてください。
Outprog:
EtherのRollupテクノロジーに似たRollupテクノロジーを使用して、Arweaveにデータをバンドルします。
ロールアップ。
Sam:
そうです!各プロセスのデータは "ロール "され、Arweaveにバンドルされます。Arweaveは、ピアツーピアネットワークにおける大規模な情報の複製を調整するように設計されています。
だから、AOを構築するとき、ディスクI/Oオーケストレーションは「無料」だとなんとなく言える(6年もかけて構築したのだから?)
「ロードバランシング」について
Kevin Zhang:ロードバランシングについて話すのは初めてですね。Zhang:
今後、AIを扱うプロセスは多くなるのでしょうか?負荷分散はどのように維持するのですか?
Outprog:
私の考えでは、MU(AOのメッセンジャーユニット)は、Web2における従来のNginxに似ています。PoSの実装により、CUはすべての計算を共有する。これはk8sのエラスティック・スケーリングのようなものです。
Sam:
そうです!MUはユーザーのポータルであり、CUは「コンピュートクラウド」です。".AI:
AIビデオ生成など、AOでAIアプリケーションを行う場合、AOエコシステムはGPUコンピューティングパワー不足の問題を解決できますか?
AIのデモは見ていませんが、AOはGPUコンピューティング能力を持っているのでしょうか?
Sam:
GPUを直接使用することはできません。なぜならWASMはCPU上で動作し、決定論的な計算結果を提供してくれるからです。
ジェイソン・ウー(APUS):
私が知る限り、アプスネットワークはAOにGPU計算能力を提供していません。簡単なデモを行う予定です。画像生成は現在可能です。大規模な言語モデリングとビデオ生成はまだ利用できません。
コンセンサスと取引の順序について
。Miami Fish:
SUはどのようにリクエストを検証し、処理のためにCUに提出するのでしょうか?例えば、厳密にタイムスタンプが押されるのでしょうか、それとも経済的なインセンティブに基づく何らかの優先順位があるのでしょうか?
Outprog:
SUはnoncesを割り当てるために使用され、CUによって得られた計算はnoncesの正確な順序で実行されます。
これはao仕様にもあるmsg passingに関する論文です:
https://groups.csail.mit.edu/tds/papers/。Lampson/FORTE93.PDF
Sam:
@outprog が言うように、SU は各メッセージにを提供します。PoAテストネットワークでは、SUを信頼する必要がありますが、必要であれば自分で実行することもできます。完全なPoSネットワークでは、SUの正しさをステーキングし、問題が発生した場合はArweaveのコンセンサスメカニズムに「フォールバック」することができます(ロールアップの「L1にフォールバック」するようなものです)。
Miami Fish:
ありがとうございます。PoSでは、SUは自動的に割り当てられるのですか?私は、クリアイベントのような、異なる人々がほぼ同時にクリアリクエストを提出しようとするような、財務的なアプリケーションの観点からもっと考えていました。
Sam:
プロセスのデプロイ元はSUを選択できます。または、「子」プロセスとして生成された別のプロセス。
PoSの後、SUがメッセージの処理を停止した場合、AO-Sec Originプロセスでスロットの割り当てを「チャレンジ」することができます。もしそうしなければ、プロセスは「ホストできない」状態になり、SUが新しいホストになるために「入札」することで問題が解決されます。
そこには多くの詳細がありますが、これが全体像です。AOの各プロセスが、Arweaveの柔軟性と検閲耐性を継承しつつ、高速なSU 上で動作することを可能にする?
さて、そろそろ失礼します。プログラミングを楽しんでください!
。