Sam 與Outpog:聊聊AO 和人工智慧

來源:PermaDAO

本次AMA 是BeWater 舉辦的AI Crypto 黑客鬆的一個環節,由PermaDAO 社群支持。

本文為AMA內容的整理,分為正文與QA 環節。正文部分是主持人和Sam 的對話,QA 環節是社群用戶關於AO 的問題。

來賓:Sam,Arweave & AO 創辦人

主持人:outprog,PermaDAO & AO 發起人;lulu,BeWater

正文

Outprog:

感謝lulu 和BeWater 邀請。我是來自PermaDAO 的outprog,主持今天的活動。

Arweave 作為一個去中心化的儲存基礎設施,從2018 年至今已經穩定運作接近6 年了。 Arweave 的儲存的數據也像BTC 的幣價一樣,迎來了爆發性的成長。

我們都知道今年Arweave 生態發生了非常重要的事情,即AO 的發布,標誌著Arweave 生態從去中心化儲存轉變為支持去中心化運算的全端應用生態。

首先請Sam 簡要介紹以下自己,以及Arweave 和AO 的簡要介紹。

Sam:

感謝Outprog,感謝BeWater 邀請!

大約7 年前,我們開始建立Arweave 作為一個永久資料層,用於儲存人類所有最重要的知識和歷史。最初的想法基本上是創建「鏈上儲存」——就像人們從一開始就在比特幣上嘗試一樣,但是需要無限的擴容能力。直到今天,7 年過去了,Arweave 現在儲存了超過50 億條數據,並且是許多Web3 應用程式運行的「數據管道」。

在這個過程中我們發現,去中心化計算是「去中心化資料複製」加「驗證」。當你運行以太坊(甚至比特幣)節點時,你的電腦只是從對等網路下載區塊並驗證它們。

由於Arweave 可以永久儲存任意數量的資料(就像比特幣和以太坊的資料集合複製一樣),一個問題出現了:如果我們添加一個驗證層,這是否意味著我們可以實現無限擴容的智能合約?

事實證明答案是肯定的?。這個產品就是AO。它本質上是一個在Arweave 上運行的去中心化超級計算機,具有無限數量的平行線程。

我們希望透過Arweave+AO 的結合,建立一個新的、去中心化的網路空間。這個網路空間可以被證明是中立的,並且保證使用者的權利。

Outprog:

感謝Sam 的介紹。我們進入第一個問題。今天的主題是AI,我們就從AI 開始討論吧。

我們知道AO 採用了Actor 模型進行設計,非常有趣的是,在一篇論文【A Universal Modular Actor Formalism for Artificial Intelligence】中提到了Actor 模型和AI 的關係。我們是不是可以認為基於Actor 模型的AO 天然的適用於開發AI 應用?

Sam:

是的,Actor 模型是在一個(與今天相似的)AI 研究受到巨大關注的時代發明的。當時對人工智慧的探索最終花了60 年的研究才得以完善,但Actor 的程式設計模型卻被迅速廣泛地採用,並應用於許多非AI 裝置。現在我們已經接近AGI,這讓Actor 模型更加合理。

從本質上講,Actor 模型的核心思想是系統的每個元件都可以是獨立的、自主的代理,可以並行運算。這個模型和代理驅動的架構非常地契合,因為它模擬了現實世界:就像現在的AMA 聊天,我們每個人都是獨立且自主的,我們透過發送訊息來協調彼此。

AO 使用Actor 模型將這個想法引入了計算世界。系統中的每個服務都是自主的,可以獨立執行。當它們想要協調一致時,它們會透過發送訊息來實現。

Outprog:

是的,在Actor 模型中每個「演員」(Actor)就像是一個代理,讓我們聯想到AI Agent。 Sam 是否可以說一下Actor Model 和AI 的關聯性?

Sam:

沒錯!代理== 演員(Agent == Actor)。因此,以Actor 導向的方法作為其託管環境是非常合理的。

我們對AO 最令人興奮的一點是,它為我們提供了足夠可擴展的智能合約,可以託管完整的大型語言模型。我們的首席技術長湯姆和我在過去幾個星期的晚上和週末一直在Arweave 上進行大型語言模型的託管方面進行著研究和實踐:

https://GitHub.com/samcamwilliams/aos-llama

雖然還沒準備好進行公開宣布,但如果你想了解的話,這個倉庫可以作為一個預覽?。

Outprog:

令人稱讚!我想Sam 的用例很快就會展示AI 大模型如何在AO 上實現!

Sam:

一個想法:AO 是一種全新的網路空間形態,非常適合代理商。在AO 內部,代理體是自治的、主權的個別單位。

我們認為,這種技術的首要應用將出現在金融領域。

過去,大部分經濟活動其實是「智慧層」——不只是結算。這些經濟活動過去都是「鏈下」完成的,但現在我們可以將它們帶入智能合約環境中,同時獲得它們提供的無需信任性。

想像一下,如果所有經濟活動的智能行為——不僅是結算——都可以透過無需信任的代理作為智能合約在鏈上執行動作。現在你就可以建立智能合約,為用戶提供一個自治的「演算法交易」基金。這打開了一個從未發跡的巨大設計空間。

從長遠來看,我們認為它將遠不止於此。這將是一種可以信任地執行任務的自治形式的「生命體」(無論你如何描述)。

Outprog:

自動化金融和AI 代理金融是AO 上值得探索的方向!讓我們拭目以待。

進入下一個問題。目前AI 和web3 還沒有真正可以結合的範例,AO 的技術架構顯然已經突破了這個限制。除了EVM 等鏈上模型之外,開發者可以使用AO 創建過去難以實現的應用。

在技​​術突破之後,未來AO 將如何協助AI 的發展?會對AI 計畫有扶持和資助嗎? AO 在AI 的發展中將取到什麼樣的作用?

Sam:

主要建議是積極尋求合作!在Arweave 生態系統中有大量團體非常樂意幫助在AO 上建立專案的發展。最近,Community Labs 推出了AO Ventures,這是一個擁有3500 萬美元投資資金的孵化器,旨在支持在網路上建立專案的發展。

在Forward Research,我們也非常樂意為在生態系統中建立專案的人提供一對一的支援。只需聯絡我們,我們將盡力提供各種幫助——從技術支援、推廣到資金支持,我們都會盡力而為。

Outprog:

給力的生態支持!最後一個問題。

本次由BeWater 主辦的黑客松非常有助於ao 的開發者生態發展。 PermaDAO 也長期致力於Arweave 生態的開發者社群建構。

我們相信未來會有更多在亞洲舉辦的離線ao 生態活動,可能是黑客松、孵化器或訓練營。

Forward Research 對於這些活動的支持是否有什麼樣的計劃和想法?如何與BeWater AI Crypto Hackathon 合作?共同推動創新和發展。

Sam:

在Forward Research,我們的核心職能是建構:無論是協議還是社群。後者通常涉及找到合適的人,然後幫助他們宣傳推廣。

Q & A

以下是AMA 中社群使用者的問答

關於“POS”

Adam Lee:

我有一些關於AO 的問題。

1. 我注意到AO 仍在使用PoA 的中心化系統。它何時會升級到PoS 或更分散的共識機制?

2. 我還沒看到與AO 相關的代幣經濟內容。這部分何時會升級?

3. AO 有路線圖嗎?

Sam:

隨著不斷發展,我們將逐步將大部分活動平穩地過渡到PoS。目前實際上並不是「中心化」的——一些開發者正在運行自己的SUs/CUs/MUs。身為開發者,你可以選擇信任哪些「機構」的訊息。比起中心化更“分散式”,但也不是去中心化——但我理解你的觀點。 AO 本身是Arweave 上的資料協議,因此你可以在其上疊加任意數量的不同安全系統。

一旦AO 實施PoS,就會出現一個高效率的計算市場,人們運行CUs(計算單元),這些單元負責計算網路中的進程狀態。

AO 的一個很棒的特點是,操作網路的每個子網路都是完全有彈性的。每個網路沒有可擴展的限制。有趣的事實是:昨天我們將Forward Research 運行的測試網中的運算單元數量增加了一倍。除了一些進程運行得更快之外,沒有人注意到這一變化?。在未來我們可以擴展到任意數量的計算單元。

David Dot:

AO 代幣是否意味著重新籌集資金,是否已經放棄讓AR 更有價值?

Sam:

很難準確理解你的問題,但AO 完全沒有進行任何籌資。我們正在推動所有想要投資的創投公司投資在其上建構的專案生態系統。

關於“並發”

Siyuan Han:

聽起來很不錯!謝謝Sam。可以介紹一下AO 如何支援任意數量的平行進程嗎? AO 如何避免傳統的平行執行問題,例如讀寫衝突?

Outprog:

Actor Model 是處理並發的一種非常成熟的模型,也是AO 採用的架構。該模型在1973 年提出,並已在Erlang 程式語言中實現。

更多關於Actor Model 的文件可以查看:

https://en.wikipedia.org/wiki/Actor_model

也可以查看PermaDAO 翻譯的AO 規格文件:

https://permadao.com/permadao/ao-1353 cc109 d434941 a6757560 ef35 dcc2

Sam:

我很確定Telegram,我們現在正在使用它進行AMA 聊天,也在內部使用了Actor Model 程式設計!

Siyuan Han:

所以,AO 在計算層級避免了讀/寫衝突的問題。如果AO 具有像傳統的高並發系統一樣處理交易的能力,同時執行數千或數萬個線程,那麼它如何處理磁碟IO 層面的工作負載?能詳細介紹一下AO 的儲存和資料引擎技術嗎?

Outprog:

Rollup,使用類似以太坊的Rollup 技術將資料捆綁到Arweave 上。

Sam:

是的!每個進程的資料都「滾動」的捆綁到Arweave 上,Arweave 專門設計用於協調點對點網路中資訊的大規模複製。

因此,在建造AO 時,我們在某種程度上可以說磁碟I/O 協調是「免費的」(因為我們已經花了6 年時間建造它?)。

關於“負載平衡”

Kevin Zhang:

未來會有許多處理AI 的進程嗎?如何維護負載平衡?

Outprog:

我的觀點是,MUs(AO 的信差單元)類似於傳統的Web2 中的Nginx,負載平衡分佈在無數個MUs 中,而在PoS 實施後,CUs 將分擔所有的計算。就像k8 s 的彈性擴展。

Sam:

是的! MUs 是使用者的入口,而CUs 則是「運算雲」。

關於“GPU 運算能力”

AI:

如果我們在AO 中進行一些AI 應用,例如AI 視訊生成,AO 生態系統能解決GPU 運算能力不足的問題嗎?

我沒有看到AI 示範。 AO 是否具有GPU 運算能力?

Sam:

不能直接使用GPU,儘管Apus 團隊正在研究這個問題。目前只使用CPU,因為WASM 在CPU 上運行,為我們提供了確定性計算結果——如果想要智慧合約可驗證性,這是至關重要的。

Jason Wu(APUS):

據我所知目前還沒有。 Apus 網路正在為AO 提供GPU 運算能力。我們將進行一些簡單的演示。目前可以生成圖像。大型語言模型和視訊生成尚未開放。

關於“共識和交易順序”

Miami Fish:

SU 是如何驗證請求並提交給CU 處理的,例如嚴格按照時間戳還是基於經濟誘因的某種優先順序?

Outprog:

SUs 用於分配nonce,CUs 獲得的計算結果是按照nonce 的確切順序執行的。

這是一篇有關msg 傳遞的論文,也在ao 規範:

https://groups.csail.mit.edu/tds/papers/Lampson/FORTE93.PDF

Sam:

正如@outprog 所說,SUs 為每個訊息提供了一個Slot-Assignment(時隙插槽)。在PoA 測試網路中,您需要信任您的SU,但如果您願意,甚至可以自己運行它。在完整的PoS 網路中,您將對SU 的正確性進行Staking(質押),並且在有問題時可以「回退」到Arweave 的共識機制(就像在Rollup 中的「回到L1」一樣)。

Miami Fish:

謝謝。那麼在PoS 中,SU 是否會自動分配(就像誰先接收到我的請求)?我正在思考的是更多關於金融應用方面的問題,例如在清算事件中,不同的人嘗試在大致相同的時間提交清算請求,那麼誰的請求先被處理將影響其他人的結果。

Sam:

進程的部署者可以選擇SU-無論是開發者自己或將其作為「子」進程產生的另一個進程。

在PoS 之後,如果SU 停止處理訊息,您可以在AO-Sec Origin 進程上「挑戰」它們,要求提供插槽分配。如果他們沒有這麼做,該進程將變成「無法託管」狀態,然後透過SU「競標」成為其新主機來解決這個問題。

有很多細節在裡面,但這是一個宏觀的畫面。它讓AO 中的每個進程都繼承了Arweave 的靈活性和抗審查,同時進程又能運行在高速的SU 上 ?

好的,我現在需要離開了。祝大家程式愉快!

Total
0
Shares
Related Posts