重新思考無信任計算：AO 與 Arweave 的應用

引言：重構信任，一種新的計算範式

在Web3的語境中，「無需信任」（trustless）長期以來一直是系統設計的核心原則。去中心化、無需許可和抗審查構成了加密世界的信任架構。然而，現實世界中的區塊鏈系統並未完全消除信任。我們仍然需要信任節點的誠實執行、預言機數據的可靠性、代碼中沒有漏洞，以及Layer 2解決方案提供的有效性證明。

換句話說， Web3並沒有消除信任，而是重新配置了信任的對象 ：從個人轉向技術，從中心化機構轉向可驗證的計算路徑。在本報告中，CoinEx Research將分析「無需信任」的實際邏輯和路徑選擇，將注意力轉向Arweave及其新提出的AO。我們旨在從數據到執行的角度考慮，是否存在一種更簡單、更基本且更值得信賴的計算範式。

現有去中心化計算路徑的妥協邏輯

當前主流的去中心化計算路徑——無論是傳統的EVM、Layer 2解決方案，還是模塊化區塊鏈設計——都致力於克服「可擴展性瓶頸」。然而，它們不可避免地面臨 可擴展性、可驗證性和去中心化 之間的權衡。

EVM的效率與通用性困境

以太坊虛擬機（EVM）為去中心化計算奠定了基礎，為智能合約提供了圖靈完備的執行環境。然而，EVM的「複製執行」模型雖然增強了系統可驗證性，但嚴重限制了效率。在處理複雜邏輯或大規模數據時，EVM面臨高昂的gas費用和性能瓶頸，難以支持通用計算或高性能去中心化應用（DApps）。

Layer 2和Rollups的擴展方法

為了減輕Layer 1的計算負擔，Layer 2技術如Rollups應運而生。它們通過將大部分計算任務遷移到鏈下，並僅向Layer 1提交壓縮的交易數據和相應的證明，在不損害安全性的情況下顯著提高了吞吐量並降低了gas成本。然而，這些系統通常依賴於中心化的排序器和複雜的證明機制，在某種程度上仍然引入了信任假設。

模塊化區塊鏈的解構嘗試

模塊化區塊鏈代表了另一種新興解決方案，旨在提高可擴展性。像Celestia這樣的項目通過將執行、共識和數據可用性解耦為獨立模塊，實現了更靈活的系統架構。這種範式試圖打破單體區塊鏈的可擴展性限制，為多樣化的執行環境提供基礎設施支持。然而，在當前階段，大多數模塊化區塊鏈的執行層仍然依賴於相對中心化的運營模式，或面臨性能和生態系統成熟度的瓶頸，尚未完全實現「模塊化+去中心化」的理想平衡。

三難困境下的普遍權衡

總體而言，現有的去中心化計算路徑面臨一個核心挑戰： 無法同時優化可擴展性、去中心化和可驗證性。 在當前技術約束下，大多數解決方案必須在這三個維度中犧牲兩個以改善第三個。這意味著：

• 要擴大吞吐量，可能需要引入更多的鏈下邏輯或中心化組件。
• 要確保驗證透明度，系統複雜性或性能可能會受到限制。
• 要維持去中心化，某些提高效率的措施可能不得不被擱置。

如何在這三者之間取得動態平衡，將是未來去中心化計算路徑持續演進的關鍵問題。

Arweave + AO的新思路：無需信任的執行環境？

在傳統的鏈上計算模型中，無論是EVM、Rollups還是模塊化區塊鏈，總是依賴某種程度的「可信計算實體」。相比之下，Arweave及其AO正在探索一條結構上更靈活、依賴更少且無需信任的新路徑。

Arweave：鏈上記憶的計算基石

Arweave提供了一個「永久可用」的數據存儲層。其基於SPoRA（隨機訪問的簡潔證明）共識機制的設計，確保歷史數據不僅能長期存儲，還能被高效驗證。這一層為去中心化計算提供了罕見的特性組合： 數據持久性、抗審查性和可驗證性， 形成了「鏈上記憶」的基礎。

在傳統區塊鏈中，狀態通常是一個「當前快照」，而Arweave保存了 從開始到現在的完整事件軌跡 。這為事件驅動的計算模型鋪平了道路。

AO：基於Actor模型的去中心化嘗試

建立在Arweave之上，AO採用了類似Actor模型的去中心化執行架構。每個Unit都是一個獨立的Actor，通過異步消息進行通信和激活。與以太坊維護全局狀態的方法不同，AO採用 事件溯源（Event Sourcing） 模型，所有狀態都從歷史消息中動態演化。這種模型使狀態本身 可重構且可驗證 。

AO的執行架構具有以下關鍵特性：

高並行性： 異步消息驅動，進程之間不會相互阻塞，自然支持大規模並發。

模塊化和靈活性： 每個進程可以自定義其運行時環境，而不受單一虛擬機架構的束縛。

無需Layer 2 / zk擴展層： 消息排序和執行由底層調度器協調，無需依賴外部證明機制。

去中心化調度路徑： 調度器通過競爭機制管理任務排序，用戶可以基於聲譽系統選擇「信任路徑」，避免中心化瓶頸。

換句話說，AO的信任機制不是關於「證明我沒有作惡」，而是「每一步都是可重現的」。它將「無需信任」從密碼學證明轉變為「可驗證歷史+透明路徑」的執行模型。

重構驗證和共識：AO如何實現「驗證即信任」？

AO的根本創新在於將區塊鏈的核心共識邏輯從「全局狀態一致性」轉變為 「基於消息鏈的可驗證狀態演化」 。在這種架構中，共識不再依賴於所有節點必須同意的「單一真相」，而是賦予每個用戶 獨立驗證計算過程的能力 。

每個AO進程的所有狀態變化都可以通過其歷史消息記錄（由Arweave存儲）重放和驗證。任何人都可以基於進程自身的邏輯重新執行這些消息，以驗證其狀態的一致性。這類似於「懶惰計算」範式，系統本身不追求實時共識，而是追求 可驗證的最終性。

此外，AO支持「多調度器並行驗證」：用戶可以將同一消息提交給多個調度器，不同的執行路徑返回計算結果。可信輸出通過交叉驗證建立。這種機制不僅增強了系統的健壯性，還可以通過未來的「挑戰窗口」引入更精細的錯誤修正流程。任何用戶都可以在計算完成後的一定時間內提出挑戰，如果成功，計算將被回滾，執行者（CU）將受到懲罰。

這標誌著一種新的計算信任模型的誕生：信任不是通過就狀態達成共識來建立，而是通過路徑的可驗證性來建立。這正是AO定義的「驗證即信任」。

挑戰與前景：AO的開放性問題

儘管 AO 的設計原則令人信服，但其實施仍面臨各種挑戰。

性能問題： 異步架構是否能支持高頻場景，如交易撮合或實時反饋應用，仍需要實證驗證。

調度器機制： 如何防止垃圾訊息攻擊、維持公平性以及平衡激勵機制是去中心化調度的關鍵問題。

存儲帶寬： 高併發的訊息流可能會對 Arweave 的寫入容量造成壓力，影響系統穩定性。

開發生態系統： Actor 模型需要開發者採用不同的思維模式，而當前的工具鏈仍處於早期階段，缺乏足夠的框架和標準化接口。

跨鏈協作： 如何與 EVM 等主流生態系統互動，是建立跨鏈橋還是類似 Rollup 的路徑，對未來生態系統擴展至關重要。

共識安全： 調度器層對 Sybil 攻擊的抵抗能力、DoS 保護機制以及經濟激勵模型的設計都影響著系統的安全下限。

這些問題並非無法克服，但它們的解決將決定 AO 是停留在理論討論層面，還是能真正成為去中心化通用計算的突破。

結論：從「無需信任」到「信任重構」- 計算範式的轉變

Web3 世界從未真正實現「零信任」。所謂的無需信任更多是一種信任的重構——從對個人的信任轉向對代碼、路徑和驗證機制的信任。Arweave 和 AO 構建的新架構，表面上是一個「無需信任」的去中心化執行環境，本質上是 用戶驗證能力的全面覺醒。 它拋棄了傳統區塊鏈如以太坊對全局狀態的依賴，以 Actor 為基礎的架構 + 事件鏈追蹤取而代之，試圖打造一條新的技術路徑：輕量、可擴展、可驗證且無需許可。

CoinEx Research 認為，真正的「無需信任」不是消除信任，而是 使建立信任的過程更加自由、透明和去中介化。 AO 提供的潛力賦能每一位用戶，使他們不再依賴「後共識真相」，而是親自驗證「計算過程」。如果這條路徑成功，去中心化計算的未來將不再受制於共識的負擔，而是邁向一個真正自由且值得信賴的計算網絡。