Arweave 團隊在預熱了很多天后,終於在發布會中宣布推出名為AO 的平行電腦方案,他們從構思到開發已有一年的時間,但它最早的歷史可以追溯到Arweave 在四年前提出的基於永久儲存的智慧合約方案SmartWeave。這些技術方案的選擇和以太坊或其他類以太坊網路差異很大:以太坊從圖靈完備的虛擬機器作為開始,逐漸擴展疆土;而Arweave 從提供永久儲存的網路起步,然後逐漸加上了計算能力。

這裡面有太多值得對比和深挖的技術主題,Arweave 團隊也不太可能在一個多小時的時間裡把所有技術亮點和思路解釋完整。在觀看發表會後,我整理了這些值得關注的問題和主題。
AO 是一種超平行計算機,它是一個去中心化的計算環境,允許同時並行運行任意數量的進程。與先前的去中心化計算系統相比,AO 既能實現大規模計算,也能實現可驗證計算。 AO 的核心在於它不僅增加了可驗證計算的數量,而且實現了任意量級的可驗證計算,透過構建三個不同的子網路以及以Arweave 為基礎層,實現了高度的並行處理能力和可擴展性。
取自於「Actor Oriented」(以執行體為導向)概念,縮寫即是AO。
電腦科學中有一種並發計算模型叫做Actor Model,用於設計和實作分散式系統,其中基本單位是「Actor」。 Actor Oriented 設計或程式設計是指採用Actor 模型為基礎的設計或程式設計方法。這種方法適合於建構高並發、分散式、容錯性強的系統。
Arweave 創辦人Sam Williams 認為AO 是與智慧合約系統完全不同的程式設計範式,而這基本上是目前世界上所有的分散式系統和Web2 時代的最佳方案。
GPT 4 給我的一個例子: 可以比喻成戲劇演出中的演員(Actor)。在戲劇中,每個演員都扮演著一個角色,他們各自獨立行動,透過對話(訊息)與其他演員互動,但他們不會共享彼此的內在狀態(私有狀態),每個演員都只能透過觀察其他演員的行為(接收到的訊息)來做出反應。
補充一個趣事: 1973 年提出Actor Model 的那篇論文的標題是《A Universal Modular Actor Formalism for Artificial Intelligence》,當時是為了研究人工智慧的。
AO 由三個子網路組成,分別是信使單元(Messenger Unit)、調度單元(Scheduler Unit)、計算單元(Compute Unit),縮寫分別是MU、SU、CU。 MU 負責接收處理資訊;SU 用來調度和給資訊排序;CU 用來處理計算。

「AO 實際上是一個開放和靈活的數據協議,用於在Arweave 的協議上存儲計算日誌。它不是一個永久的賬本,也不是一個網絡本身。」
AO 作為一個去中心化的運算環境,利用Arweave 的可擴展鏈上儲存作為其永久主機來儲存運行過程中的資料。 AO 可以允許任意數量的平行進程同時運行,並透過訊息傳遞相互協調,類似於資料中心和互聯網上的電腦透過發送資料包來共同工作。
簡而言之,AO 建構在Arweave 的基礎層之上,利用Arweave 提供的鏈上儲存功能來實現其去中心化運算環境的持久化儲存需求。
AO 是平行電腦的架構,而AOS 是基於這個平行電腦方案中的一台特定的作業系統。開發者可以用Lua 語言在AOS 中開發應用(寫智能合約)。
Lua 是一種容易上手的高階語言,非常簡潔易用。巧的是我差不多在4 年前用Lua 寫過一些腳本,的確是一種很容易上手的程式語言。當時我對Lua 零基礎,但需要使用自動化工具HammerSpoon 中實現一些獲取價格和資訊的功能,用了沒幾天就做出來了。如果有GPT 幫忙,那更不在話下。
目前已經組織社群開發了兩個應用,分別是去中心化交易所Bark 和去中心化穩定幣協議astro,可類比為Uniswap 和MakerDAO。 Bark 已經上網測試網,astro 要之後再公開。
EverVision 創辦人Outprog 也在發表會中露臉,也被Sam 頻繁提及,他們開發的去中心化交易平台Permaswap 遠早於AO 立項,之後也有機會在AO 的架構下進一步開發並擴展。
Sam 表示,預計未來只需要進行類似比特幣風格的更新(也就是很低頻率)。隨著時間的推移,用戶的核心功能和權利將保持不變的小幅升級。這裡沒有「相信我,兄弟」的路線圖。只有一個完整且透明的協議,你可以審計並決定是否自己使用。
還未公開這部分的資訊。