Arweave 永久儲存+ AO 超平行計算機:建構資料共識基礎設施

Web3 現在面臨的一個關鍵問題-海量資料資產的確權及交換方案無法解決!要產生數據資產經濟活動就必須要求數據確權,而數據只有產生共識才能得到確權! Arweave 永久儲存+ AO 超平行電腦的出現有望解決這個關鍵問題,進而加速Web3 價值互聯網的落地!

Web3 最重要的特徵之一是使用者自己控制數據,這與Web2 有著顯著的區別,Web2 是網路巨頭來控制使用者資料。現在由BTC 開創的區塊鏈技術使我們擺脫了傳統銀行或互聯網銀行等中介的控制,讓用戶自己可以控制並且點對點交易自己的電子現金;ETH 及其他智能合約公鏈使用戶自己控制並且可以點對點交易各種合約及衍生性商品資產。

然而除了金融資產之外,網路上還有其他類別資料資產,而這些資產現在還沒有更成熟的解決方案,能夠使用戶自己控制並且實現點對點交易。所以現在Web3 的使用者並不能完全控制自己的資料。之所以這樣是因為我們缺乏數據確權的基礎設施,要想使用者能夠掌握自己的數據,那就必須實現數據確權!要想使得資料能夠確權就必須使資料能夠達成共識,由於資料狀態分為動態和靜態,因此要想資料達成共識就必須在傳輸端和儲存端都達成共識這樣才能建立資料資產共識,進而使得數據得以確權。

資料只有達成共識才能確權,達成確權才能產生資料交換或交易,資料只有產生交換或交易才能體現價值,進而產生價值互聯網。 Web2 為什麼會產生如此嚴重的資料孤島現象,其中很重要的一個原因就是因為資料沒有確權。而Arweave 永久儲存+ AO 超平行電腦的出現有望能夠改變這一現狀進而幫助我們在資料儲存和傳輸兩端達成共識。如圖所示:

Arweave 永久儲存經過幾年的發展已經實現了資料儲存的共識,(備註:關於這方面的詳細資料在網路上已經很多了,在這裡就不詳細解說了),在這面我們重點說一下ao 超並行電腦是如何在傳輸端達成共識的(備註:許多研究ao 的文章中都提到了ao 將進程的全息態儲存到Arweave 中,但具體是怎樣實現的,我看了一下幾乎沒有文章把具體細節說清楚了,只是大概一句話就過去了,所以在這想把大致的實現路徑說清楚)。

要想在傳輸端達成共識就必須的保證資料的完整性、一致性、可驗證性和傳輸效率,在展開介紹之前介紹一下ao 經濟模型的設計原則,這樣能夠讓我們從頂層設計的角度去了解ao 是如何確保資料安全的。在ao 白皮書裡有這樣一段話,大意是:

比特幣、以太坊和Solana 等區塊鏈網路的典型經濟模式圍繞著購買稀缺區塊空間的概念,安全性作為副產品得到補貼。用戶支付交易費用,以激勵礦工或驗證者將他們的交易納入區塊鏈。然而,這種模式本質上依賴於塊空間的稀缺來推動費用收入,這反過來又為網路安全提供了資金。在比特幣的安全架構的背景下,它從根本上以區塊獎勵和交易費用為基礎,考慮一個假設的場景,其中區塊獎勵被消除,交易吞吐量被假設為無限可擴展。在這種情況下,區塊空間的稀缺性將被有效地抵消,從而產生最低的交易成本。因此,網路參與者維護安全的經濟動機將大大降低,從而增加交易面對潛在安全威脅的脆弱性。 Solana 在實務中舉例說明了這個理論模型,顯示隨著網路可擴展性的增加,費用收入相應減少。在沒有大量交易費用的情況下,安全資金的主要來源是區塊獎勵。這些獎勵本質上是對代幣持有者的徵稅,表現為那些選擇親自質押代幣的人的運營開銷,或者表現為那些放棄質押的人在網絡中的比例所有權的逐漸稀釋。早些時候,我們提出了需要$AO 代幣作為經濟價值的統一表示,以支持網路內的安全機制。

透過上述這段話讓我看到ao 的經濟模型和其他主流區塊鏈的經濟模型有著顯著的差異。 ao 經濟模型是以保護網路安全為主的,因為非金融類資料資產的特性要求必須確保底層基礎設施安全,同時也要確保效率。

非金融資產的資料類型多種多樣,每類資料的交易場景對系統的安全性、擴展性和時效性等需求都不一樣,這就要求ao 網路安全模型必須要靈活,不能像傳統區塊鏈那樣一刀切採取統一的共識機制來保證安全性,如果ao 還採取這樣的安全模型的話一方面會造成計算資源的大幅浪費,另外一方面就是嚴重影響ao 系統的擴展性。

所以ao 可以做到根據不同的數據類型、數據價值、由客戶自主定制安全機制,這其中經濟模型起到了重要的調節作用,簡而言之就是高價值數據在傳輸的過程中可以定制高級別的安全機制,低價值的資料可以客製化安全成本較低的安全模型,這樣一方面能夠節省運算資源,另一方面則能夠適應不同資料類別的安全需求。當我們分析到這裡的時候就可以看到為什麼以太坊、比特幣、solana 等區塊鏈不太適合做Web3 資料傳輸的原因了吧。因為他們的安全模型是統一的,而不是靈活客製化的,這本身就不符合非金融類資料資產的傳輸特徵。以下我們深入分析ao 的經濟模型與安全模型相互調節的細節。

1、保持資料的一致性、完整性和可驗證性:

a、技術保障:在ao 超平行電腦中,訊息的傳遞機制是核心組成部分,它確保了不同計算單元(如CU、SU 等)之間的有效通訊和協作。以下是訊息傳遞的主要過程:

訊息產生:使用者或進程透過建立訊息來發起互動請求。這些訊息必須符合ao 協定規定的格式,以便在網路中正確傳輸和處理。

信差單元(MU)接收與轉送:信差單元(MU)負責接收使用者或流程產生的訊息,並將其中繼到網路內的適當SU 節點。 MU 會管理訊息的路由,確保它們能夠準確無誤地到達SU:在這個過程中MU 會對訊息進行數位簽名,以確保資料的完整性。

調度程序單元(SU)處理:當訊息到達SU 節點時,SU 會分配一個唯一的增量nonce 給訊息,以確保其在同一進程中的順序性,並將訊息和分配結果上傳到Arweave 資料層中進行永久存儲。

計算單元(CU)處理:計算單元(CU)接收到訊息後,會根據訊息內容執行對應的計算任務。計算完成後,CU 會產生一個帶有特定訊息結果的簽名證明,並將其傳回給SU。這個簽章證明確保了計算結果的正確性和可驗證性。具體工作流程如圖所示:

(備註:此圖片出自ao 白皮書)

另外ao 超平行電腦的核心原理是將計算和共識解耦,ao 本身不解決訊息驗證的問題,而是透過將所有process 全像狀態都儲存到Arweave 上進而保證所有訊息和狀態都是可驗證的,任何人都可以透過Arweave 驗證訊息的一致性,也就是任何人都可以質疑ao 訊息的正確性,任何人都可以透過Arweave 發起挑戰進而驗證訊息,這樣一方面使ao 擺脫了傳統區塊鏈的束縛:傳統區塊鏈所有節點的計算和驗證都是並行的,這樣雖然增強了系統安全性但也會極大的消耗計算資源,同時也無法呈現高擴展性,例如在以太坊系統裡面無論添加多少個節點都不會顯著提高系統處理的速度。然而正是因為ao 的這一特性,能夠具備高度擴展的特徵;另一方面也能保證所有的數據都是可驗證的,這就是ao 設計的巧妙性,將驗證成本轉移到鏈下同時保證可驗證性。

b、經濟模型保障:上述過程是ao 超平行電腦訊息傳遞的大致流程。除此MU\SU\CU 等三類節點都需要質押$AO,並且針對這三種節點可能出現的各種意外情況都提供了相應的解決方案,例如:如果發現MU 沒有做數字簽名或者簽署了無效訊息,則係統會對MU 的質押資產進行削減。如果MU 發現CU 提供了無效證明,那麼系統也會對CU 質押資產進行削減。針對MU\SU\CU 等節點出現的各種問題在ao 白皮書中都設定了針對的基於經濟模型的解決方案,進而保證這三種節點都不會作惡。除此之外ao 超平行電腦也透過權益集合機制授權MU 可以集合多個CU 的證明進而確保訊息傳遞的完整性和可信度(具體過程可詳見ao 白皮書5.6 ao sec 起源過程和5.5.3權益集合。

另外SIV 子質押共識機制,讓使用者需要對結果達成共識或部分共識:客戶端可以自主設定參與者或驗證者的數量,從而控制共識對成本和延遲的影響。

綜上所述,ao 超平行計算機透過技術模型和經濟模型兩種方式結合來保證資料的完整性、一致性及可驗證性。並且因為各類資料的安全性不同,ao 提供靈活客製化的安全模型。

2、防止數據洩密:

ao 透過引入經濟質押模型鼓勵MU/SU/CU 節點提升安全保障措施,並且透過安全等級購買機制、股權排他期和股權時間價值等機制來保障資料的安全性和靈活性,大致情況是如此:客戶可以對所購買的消息進行投保,這種保險的價值跟消息的價值、質押者的預期收益率、消息的安全保障時間等因素有關,這樣一方面能夠保障數據傳輸安全,促使質押者能夠有動力提供更高的安全保證;另外一方面就是如果發生訊息洩密的情況也能夠保證訊息接收者的利益,進而使得訊息的買方和賣方都能達成共識,從而促進資料資產交易。

另外ao 與PADO 進行了合作,用戶可以透過PADO 的zkFHE 技術加密自己的數據,並且將其安全的儲存在Arweave 上,同時因Arweave 也是去中心化的,這樣能夠防止單點故障的發生。透過這些機制能夠保障資料在傳輸和儲存的過程中得到充分的保護。

3.保障資料傳輸效率:

與以太坊等網路不同,後者的基礎層和每個Rollup 實際上都作為單一進程運行,ao 支援任意數量的進程並行運行,同時確保計算的可驗證性保持完整。此外,這些網路在全球同步狀態下運行,而ao 進程保持自己的獨立狀態。這種獨立性使得ao 進程能夠處理更高數量的互動和保持運算的可擴展性,使其特別適合對高效能和可靠性有需求的應用程式。

此外由於ao 上的process 可以全息投影到Arweave 上,透過Arweave 上的訊息日誌可反向觸發執行ao 進程,一但發現單一process 出現中斷則可以透過Arweave 馬上重新起用process, 這樣一面可以防止單點故障發生,另一方面也可以在最短的時間內恢復「process」 狀態,進而保障訊息傳遞的效率。

本文深入淺出的闡述了ao 如何從傳輸端保證訊息傳輸的完整性、一致性、可驗證性、效率性和防洩密等面向。當這幾個方面都能夠得到保障的時候就可以在傳輸端達成資料共識。而在儲存端Arweave 已經運作了幾年了,實現了資料的永久儲存保證了資料在儲存端的共識。所以Arweave 永久儲存+ ao 超平行電腦這種方案有望解決大量資料在儲存和傳輸兩端的共識問題。

如果能夠解決這個問題,這將帶來革命性的變化:海量的非金融類數據資產能夠產生共識進而大大加速數據資產確權,進而能夠幫助解決web3 數據資產確權的問題。數據資產只有確權了之後才能產生大量的經濟活動,這樣才能實現真正的價值互聯網。

現在BTC 解決了電子現金確權及交易的問題,使得我們每個人能夠掌控電子現金,以太坊透過智慧合約和區塊鏈解決了各種金融資產的確權及交易問題;而Arweave 永久儲存+ ao超平行電腦可望協助解決資料資產的確權及交易問題,當然本文重點是從資料資產共識這個角度去闡述的,因為這是資料資產確權和交易的關鍵。個人認為Arweave 永久儲存+ ao 超平行電腦有望與BTC、以太坊並駕齊驅,形成良好的互補,共同解決Web3 的關鍵性問題,進而幫助我們邁進價值互聯網。如圖所示:

專案風險:

  • ao 與Arweave 的銜接性:ao 的超平行運算可能為Arweave 帶來巨大的吞吐量與挑戰,進而致使訊息無法實現全像投影或導致其他方面的系統不穩定。

  • MU/SU/CU 是ao 系統的關鍵節點,有可能出現中心化的特徵,進而產生腐敗並且導致項目的不穩定,希望ao 官網能夠建立去中心化的聲譽評估系統允許DAO 成員自行評估三種節點的優越性,進而對三種節點形成公平公開的評估機制與競爭機制。

  • Arweave 主打數據永久存儲,隨著規模的擴大,可能會面臨各國政府的審查,不知道官方有沒有相應的策略或解決方案,這些都有待觀察。

  • 經濟模型的設計有待驗證:ao 的安全模型對經濟模型的依賴權重比較高,雖然ao 也透過上述技術手段保證了一些資料的安全性,但如果經濟模型不能很好的發揮作用的話,那就會降低各質押環節的安全性,進而無法確保資料安全。 ao 的安全模型與傳統的區塊鏈安全模型是不一樣的:區塊鏈的核心原理是讓攻擊者付出慘痛的代價來保證安全性,具體是透過經濟模型、共識機制、最長鏈原則等結合透過數學原理來實現讓攻擊者的損失大於收入,因此具有強大的安全保證;而ao 安全模型的設計跟傳統的web2 的安全模型設計原則是一樣的:透過加強防禦措施來抵禦外部攻擊,而防禦措施的強弱更多是透過ao 經濟模型來調節,以便讓各個質押節點有更多的動力和壓力來提升安全性,因此如果經濟模型設計不合理的話對ao 項目的實施可以說是致命的。

當然以上只是從技術模型、經濟模型等角度分析的,如果要考慮一個專案的潛力還需要考慮專案團隊的技術實力、綜合背景,及專案的生態狀況、所屬賽道或方向的潛力等多種因素,關於這些方面後期也會逐步跟大家一起探討。

Total
0
Shares
Related Posts