作者:PermaDAO
「敘事」這個詞彙在加密產業很流行。它源自於法國哲學家讓- 弗朗索瓦・利奧塔提出的一個社會學概念「宏大敘事」(Metanarrative),用於描述在政治宣傳中那些作為普遍理想、具備基礎正當性的故事。
然而,加密產業越來越被一種觀念誤導,認為似乎是「敘事」決定了一個專案的價值,而不是專案本身能提供的生產效率提升或生產關係改善。自從 2 月28 日,超平行計算網AO 被發布以來,它已在大多情況下被解讀為Arweave 的敘事升級。它讓Arweave 從單純的去中心化存儲進化為“存儲+ 計算”,並成為以太坊殺手陣容中的一員。
如果對AO 的理解只停留在「敘事」層面上,那將是一種深深的遺憾。當你試圖靠近了解AO,你會發現它具有巨大的潛力,有機會為加密產業帶來深遠的改變。與我們印像中的區塊鏈網路不同,AO 似乎是沒有邊界、沒有限制,一切皆有可能。我們注意到,短短不到一個月的時間,已經湧現出一系列令人興奮的基於AO 開發的應用,包括即時通訊軟體、社交平台、遊戲等。也許若干年後,整個加密產業會意識到,我們當下所處的位置,並非只是某種敘事升級的路口,而是真正範式轉移的開始!
為了讓加密產業的開發者、研究者甚至投資者更加深入的了解AO,PermaDAO 邀請到了兩位AO 的奠基者,針對AO 的緣起、演進和未來願景進行了一場關於AO 的深度對話。他們分別是Arweave 創辦人兼Forward Research CEO Sam Williams 和EverVision 創辦人、SCP 範式提出者,早期AO 概念設計者Outprog。
AO 的發展史
首先Sam 向我們回憶了他記憶中AO 的發展。在2020 年新冠疫情初期的封鎖期間,Arweave 團隊透過Zoom 會議討論並形成了一個概念:創建一個中立的去中心化計算日誌系統,能夠推斷出任何程式的狀態。基於這個理念,他們迅速開發了一個基礎的智慧合約系統SmartWeave,並作為概念驗證發布。 SmartWeave 很快就獲得了成功,吸引了眾多團隊在2020 年夏天加入Arweave 生態系統,建立基於SmartWeave 的項目,這些項目成為了Arweave 生態系統的核心。隨後,Outprog 提出了儲存運算範式(SCP),將計算日誌的概念擴展到所有類型的資料日誌,並撰寫了一系列文章,為理解AO 的核心理論奠定了基礎。
AO 的構想進一步提出了在bundled interactions 內部實作SmartWeave,這些資料條目可以擁有自己的標籤,不受可擴展性限制,但具有不同的資料可用性屬性,預示著一個任意可擴展的計算系統的可能性。 AO 的核心設計是訊息傳遞,它摒棄了傳統SmartWeave 中的互動鎖,採用了訊息日誌,這些訊息可以來自使用者或其他進程。這項設計在2021 年夏天由Forward Research 團隊開始投入開發。到了2022 年末,AO 的架構被證明是可行的,並且能夠水平擴展。內部測試網在2023 年1 月推出,很快就有30 位活躍開發者加入。隨後在2 月底公開發布測試網,短短三週半時間內,吸引了約3000 名開發者加入並建立項目,顯示出社區對AO 的廣泛接受和興趣。
Outprog 也基於他和Arweave 結緣的經驗描述了AO 的誕生歷史。自2020 年7 月起,他加入了Arweave 生態系統並開始研究,並被其作為共識資料儲存的潛力所吸引,認為這為計算開闢了無限可能。
Outprog 創辦的everVision Labs 是Arweave 生態的積極建設者,其目標是推動Web3 的大規模採用。 everVision Labs 開發了everPay,這是Arweave 上的第一個多鏈支付網絡,也是Arweave 生態與其他區塊鏈之間的橋樑,該項目在2023 年5 月獲得了Arweave 的投資。 everPay 完全0 gas,且無需等待,所有資料會上傳到Arweave 以保障可驗證性。 everPay 內建的去中心化交易平台Permaswap,則為everPay 內的資產提供即時、零費用、無滑點的交易體驗,這是Arweave 生態第一個,也是目前最成熟的DEX 產品。
2022 年新加坡Token2049 活動中,EverVision 舉辦了Arweave Day in Asia,Sam 因此來到了新加坡。在晚間,由知名代理商SevenX 組織的飯局上,Outprog 與Sam 談及了基於共識資料的平行計算的可能性。隨著交談的深入,兩人逐漸放下了碗筷,拿起了白板筆,本來是一場覬籌交錯的聯誼會,硬生生變成了技術研討會。 2023 年6 月,在柏林的Arweave 生態聚會上,Outprog 在與Sam 的交流中產生靈感,並設計了用於SCP 應用間可信通訊的訊息協議(Message Protocol),可視為是AO 的前身。
AO 設計和改進的過程
Sam 提到,在專案的早期階段,團隊設想將AO 建構成Warp 之上的擴充層,但很快他們意識到這種方法需要對SmartWeave 架構進行根本性的改變,這在實際操作中是不切實際的。隨著去年後期團隊對AO 的持續專注開發,到了年末,他們迎來了一個突破性的「幾乎發現」時刻,確認了所設計的架構不僅合理可行,而且能夠實現水平擴展。在首次使用AOS 時,團隊體驗到了一種全新的操作方式:他們能夠登入並啟動系統內部的任意數量的進程,所有這些進程都運行在一個無界限的平面空間中。使用者可以輕鬆地登入進程、發出命令,並與其他用戶的進程進行無縫交流,這種交流方式不僅極具可組合性,而且具備了強大的可擴展性。
為什麼 AO 被叫做世界平行電腦(global parallel computer)
Sam 說,AO 提供了一個單一系統映像,使用戶能夠在一個統一和單一的運算環境中體驗到由眾多不同電腦組成的底層結構。這個系統支援在去中心化環境中並行運行無限數量的進程,實現了真正的平行計算,彷彿創造了一個強大的去中心化超級電腦。其設計靈感源自於分散式作業系統的理念,該理念旨在透過在家中、辦公室或工作場所添加更多電腦來增強其能力,同時用戶卻感覺自己像是在登入使用單一的電腦。 AO 的測試網路在超過220,250 個不同的節點上運行,任何人都可以將自己的計算單元連接到這個系統中,從而提升整體的計算能力,使得AO 成為一個民主化的超級計算機,用戶可以通過各種設備,如筆記型電腦或手機,登入並執行計算任務。這種設計不僅促進了廣泛的用戶參與,還提高了去中心化計算的可訪問性,無論是透過運行節點還是使用服務進行計算。
Outprog 回憶道,起初AO 的構想是一個全能狀態機,一個類似於全能可信賴的計算平台,用戶手中的客戶端、作業系統以及所有運行中的程式都源自Arweave。 AO 本身不解決可驗證性的問題,藉由SCP 範式,可驗證性是由Arweave 上的共識資料來提供的。
AO 的角色實際上是透過Message Protocol 來取代傳統的HTTP 通訊協議,為SCP 應用提供一種去中心化的訊息傳遞方式,從而促進去中心化應用間的通訊。按照2020 年7 月的願景,如果用戶的請求和伺服器的回應都透過AO 進行,那麼就有可能重新建構一個真正去中心化的互聯網,將整個互聯網遷移到Arweave 上。 AO 的價值不止於存儲,它還能夠記錄當下的故事,並通過去中心化的方式分發未來價值,使得Arweave 的“亞歷山大圖書館”轉變成一個記錄和分發價值的平台。
AO 與傳統區塊鏈如Ethereum、Solana, 還有也要做世界電腦的ICP 的差別
Sam
1. 與Ethereum 的對比
Ethereum 被描述為“世界電腦”,但實際上更像是一個“世界計算器“,它雖然啟用了許多創新應用,但並沒有達到最初的全球電腦的願景。 AO 則採用了不同的架構,不去優化全域共享位址或記憶體空間,而是讓每個合約擁有本地私有記憶體並透過訊息回應進行交互,這與Ethereum 的模型有本質區別。
2. 與Solana 等其他區塊鏈的對比
Solana 和其他一些區塊鏈(如Sui、Aptos)採用了廣泛的不同架構,但AO 的關鍵區別在於其訊息傳遞方法。 AO 認為,為了達到規模,不應該採用全域共享記憶體空間的最佳化,這是基於分散式系統和傳統網路世界以外的實務經驗。
3. 與ICP 的對比
ICP 透過共識來處理計算本身和共識的達成,而AO 則採用了懶惰評估(lazy evaluation)計算的方法。 AO 有一個專門的子網,即計算單元,用於執行這些計算。這種方法與ICP 在計算和共識達成方面的處理方式有所不同。 ICP 社群似乎在即時形成共識方面存在挑戰,而AO 透過其計算單元子網和質押機制,能夠提供更加可靠和經濟上有一定保證的計算輸出。
4. AO 的獨特之處
AO 的設計靈感來自分散式作業系統的歷史教訓,特別是在1980 年代和1990 年代學到的共享記憶體方法在分散式作業系統中的限制。 AO 採用了訊息傳遞的方法,這是互聯網構建的基礎,透過TCP/IP 傳遞訊息並在廣泛的網路中進行計算。 AO 將這一概念帶入了區塊鏈,實現了鏈上與鏈外同樣良好的擴展性。 AO 不直接對交互的結果(即計算輸出)形成共識,而是對交互的輸入和這些輸入的順序形成共識。這意味著AO 關注的是資料的順序和可用性,而不是直接對計算結果進行共識。儘管AO 的共識並非直接針對計算結果,但計算的輸出仍然是可信賴且可驗證的。這是因為AO 擁有一個專門的計算單元子網,即使在測試網上,也有大量的計算節點等待執行計算並提供經過質押的、可驗證的響應。由於AO 使用了確定性虛擬機,並且對互動的順序有共識,因此對計算結果也有共識。這確保了即使不是即時的,計算結果也是一致且可預測的。
Outprog
1. AO 是一個全新交互層
傳統區塊鏈如比特幣和以太坊主要解決拜占庭將軍問題,即在分散式網路中達成單一事件的共識。 AO 和SCP (Storage Consensus Paradigm) 不再專注於區塊鏈和客觀真理的問題,因為在區塊鏈系統中,這些問題已經透過工作量證明(PoW)或權益證明(PoS)得到了很好的解決,而AO 是在原來的區塊鏈基礎設施上建立一個全新的交互層。
2. 共識與計算分離
SCP 強調共識發生在儲存層,使用Arweave 進行不可變的存儲,確保安全性和可驗證性。在Arweave 上,有默克爾樹和對資料順序的共識,而不是對資料計算的狀態。本質上AO 不解決可驗證性的問題,AO 和AR 的職能是完全分開的。
3. AO 的計算處理
AO 負責計算在Arweave 上順序地組織資料以產生狀態。由於AO 不能改變在Arweave 上的資料順序,因此也不能改變共識。以太坊、比特幣、Solana 和ICP 等都採用鏈上計算,這與SCP 的設計理念有明顯差異。 SCP 透過將運算和儲存分離,允許AO 在Arweave 的儲存層之上進行運算,而儲存層則負責保持資料的不可變性和安全性。
開發者有哪些use case 從前在傳統區塊鏈做不到,在AO 可以實現的?
Sam 為開發者提供了一些參考方向
1. 去中心化的運算基礎設施
AO 提供了一種新的網路空間形式,有潛力將全球的運算基礎設施去中心化,使得運行運算的成本與在雲端服務(如Amazon EC2)上運作相當,同時也提供了智慧合約的可驗證性。
2. 大規模計算作為智慧合約
AO 允許開發者建立大規模的計算智慧合約,這在其他現有的智慧合約系統中是不可能實現的。這些智能合約可以執行金融交互,如自動演算法基金,它們可以根據市場數據和新聞自動調整買賣訂單。
3. 信任最小化的金融服務
開發者可以創建信任最小化的金融服務,如去中心化的演算法基金,用戶可以存入代幣,而無需信任基金經理,所有操作都在鏈上自動執行。
4. 去中心化的資料和資訊處理
透過使用如0 rbit 這樣的Oracle 服務,開發者可以在AO 上處理和驗證大量來自互聯網的數據,而無需信任中心化的Oracle 提供者。這種服務可以信任最小化地存取和處理HTTPS 加密的整個互聯網資料。
5. 自主AI 代理
在AO 上,長期來看,可以設想一個由自主AI 代理組成的網路空間,這些代理在它們自己的虛擬宇宙中生活和互動,不受現實世界物理定律的限制。
6. 全新的金融系統
AO 使得開發者可以建立一個全新的金融系統,其中包含自主的金融代理,它們可以基於市場資訊自主做出決策,並允許用戶隨時存入或取出資金。
AO 接下去的發展和路線圖是怎麼樣的?主網路何時上線?
Sam 闡述了AO 的未來路線圖
目前發展階段
建置了主網V1.0 版本,目前作為測試網運行。核心的數據協定已經完成,且不預期會有大的變動。資料協定本身不提供安全性,但已經構成了AO 的基礎。
第二階段目標
將使用一組節點和三個不同的子網路運作的質押機制,每個子網路負責執行特定的任務,需要透過質押來確保這些節點和子網路能如預期運作並增強系統安全性。質押機制不僅保障了節點的正常運作,也為運算、訊息傳遞和進程調度提供了安全保障。儘管相關的智慧合約設計應保持簡單,但它們必須經過充分的測試來驗證其可靠性。節點還將承擔「守門人」的角色,負責監控進程、子節點,並在偵測到違反安全政策的行為時進行網路投票。 AO 的核心協定基礎設施由底層資料協定、節點的鏈下實現和智慧合約層疊加而成,後者允許進行質押和懲罰,從而建構了一個去中心化且可信賴的運算環境。
第三階段目標
AO 的長期發展目標是透過結合混合權威證明系統和質押證明機制,逐步實現計算單元、訊息傳遞單元和調度單元的嚴格安全協議執行。這個過程將涉及創建軟體以強制執行安全規則,並在運行一段時間後平滑升級系統,允許調度單元質押和用戶自主運行調度程序。 AO 旨在逐步提高去中心化程度,最終成為一個無需許可的去中心化質押證明系統。預期將透過一系列測試網版本過渡到主網預覽和候選版本,這可能需要數年時間,直到資料協定和智慧合約層達到99.5% 的穩定性,屆時系統將正式成為主網。
AO 未來如何發展
AO 團隊希望在早期採取類似Solana 的「主網beta」這樣的方法,直到達到2.6 版本。隨著時間的推移,團隊在這方面可以做得更好。目前幾乎可以確定已經有了堅實的基礎,可以向世界提供協議化的保證,意味著系統的核心架構不會發生大規模變化。雖然已經花了大約六年半的時間來發展AO,但希望未來的開發過程可以更短、更成熟。團隊在開始建立AO 之前,確保了從可擴展性角度來看幾乎是最優的架構,並認識到在早期的命名和版本控制方面可以做得更好。相信團隊在AO 上會採取更成熟的方法,以優化開發流程和時間軸。
接下去 EverVision 有什麼樣的動作? EverVision 有哪些在 AO生態的貢獻以及未來如何參與AO 建設?
Outprog
everVision 是一個實驗室,目標是探索區塊鏈大規模應用。 AO 可能是目前區塊鏈大規模應用的一個最佳實踐。團隊會把過去幾年的工作成果依照AO 的規範進行重構,這意味著EverID 可以成為AO 上的一個通用身分標準,讓一般使用者可以更容易使用這些應用程式。同時everPay 的跨鏈能力也將轉變為AO 上的原生跨鏈能力。 AO 的」子帳本「可以很大的解決支付的擴容問題,這些都是我們在技術上需要整合的要點。
Permaswap 已經上線了AO 測試代幣CRED,現在你可以為CRED/AR 建立流動性,你也可以很方便的在Permaswap 上交易CRED,或者提供流動性以賺取手續費。 Permaswap 是一個已經非常成熟的DEX 產品,可以被視為AO 生態的Uniswap。接下來Permaswap 也將高度的整合AO,AO 上的代幣將可以在Permaswap 上輕鬆創建交易對,並支援多種做市曲線。
everPay 也將深度整合AO,成為AO 生態與其他生態連結的橋樑。 EverID 則致力於成為AO 生態的通用身分層,致力於解決高門檻的公私鑰帳戶體系為使用者進入Web3 帶來的挑戰。
Sam 稱在其他區塊鏈上發生的協議變更損失不會在AO 重演
以太坊上的變化曾經導致Aragon 等專案受損,協議變更可能為用戶帶來的風險。人們對於在AO 上建立應用程式持有擔憂,尤其是當系統被標記為測試網時,他們關心的是系統的穩定性和完整性。儘管這可能帶來溝通上的挑戰,團隊還是選擇明確表達系統的現狀以及未來可能的變化。在建構協議時,團隊重視為使用者提供不可變和有保障的權利的重要性,這些權利不應該受到任何個人或組織的控制。為了更好地管理使用者的期望,團隊使用「主網預覽」和「主網候選版本」這樣的術語來描述系統的當前狀態,並對未來可能的變更做出預期。當系統達到幾乎完全確定的狀態時,它將被稱為主網,屆時將具備適當的無許可升級和分叉能力,確保了系統的長期穩定和用戶權利的保護。
如何理解AO 中子帳本(sub Ledger)的概念及其作用?
Sam
子帳本提供了一種機制,允許系統在單一進程的單線程運算能力達到飽和時,透過建立新的進程(即子帳本)來增加額外的計算線程。這種方式類似於在傳統資料庫中建立新的表或分片,以分散負載並提高整體的處理能力。子帳本允許運算能力在去中心化網路中自然分散,這意味著可以根據網路中可用的運算資源動態調整和擴展運算能力。
子帳本之間的互動和資料傳遞設計得足夠靈活,使得使用者和應用程式開發者不需要意識到背後的複雜性。使用者可以像在一個統一的帳本上操作一樣,無縫地在不同的子帳本之間進行交易和互動。子帳本之間的代幣可以是互通的,即在一個子帳本上的代幣可以被無縫地轉移到另一個子帳本上,並且兩者可以合併為一個統一的餘額。這種設計提高了代幣的流動性,並簡化了用戶管理多個帳戶的複雜性。
子帳本的概念使得在AO 上建立支付網路變得更加可行和有效率。理論上,這可以支援創建一個全球性的支付系統,用戶可以透過手機輕鬆地在任何地方使用任何貨幣進行支付。透過子帳本的設計,AO 實現了無限制的可擴展性,這意味著系統可以隨著需求的增長而無限擴展,而不會遇到傳統區塊鏈系統中常見的可擴展性瓶頸。
總結
透過這次有關於AO 的深度對話,我們了解到SCP 理論是AO 的理論基礎之一,SCP 應用具有無限的可擴展性,但缺乏互通性,而AO 則起源於解決不同SCP 應用之間互操作性的努力。後來,AO 被設計為單一映像的平行計算網絡,透過多執行緒的平行計算,實現幾乎無限制的可擴展性,與此同時,AO 採用單一系統映像,隱藏背後的複雜性,用戶和開發者感受到的依舊是和一個單一的網路進行互動。未來,AO 將透過不同的主網版本的迭代,穩紮穩打,在迭代速度與系統穩定性之間尋找平衡。