AO 共識與全息態

作者:Kevin Primicerio, Cofounder of Pianity

譯:Xiaosong Hu

了解AO 的全像態(holographic state)如何徹底改變區塊鏈可擴展性,利用Arweave 的不可變日誌不折不扣達成共識。一個高效、可擴展的去中心化運算的新時代即將到來。

AO 計算機透過「全像態」達成共識,利用Arweave 不可變的訊息日誌來突破傳統的可擴展性限制。這種方法標誌著工作量證明和權益證明等現有系統的重大革新,為高效、可擴展的去中心化計算的新時代鋪平了道路

輸入了解傳統共識機制標題

比特幣和以太坊等區塊鏈採用共識機制讓網路參與者就帳本狀態達成一致,包括交易驗證、帳戶餘額或智慧合約執行結果。

比特幣透過工作量證明(PoW)開創了去中心化共識,礦工們透過解決難題來添加新的交易區塊。這種共識確保了交易歷史的一致性,在沒有強大算力的情況下幾乎不可能進行未經授權的篡改。

以太坊使用權益證明(PoS)透過抵押交易驗證和區塊創建來達成共識。這樣做的目的是減少PoW 的能源需求。

透過要求所有節點驗證並同意每筆交易或合約執行,這些機制通常會限制網路的速度和吞吐量,從而對可擴展性造成重大障礙。

L2 解決方案與前進道路

2 層(L2) 解決方案對於克服可擴展性和能耗障礙至關重要。雖然Rollup 和側鏈等L2 解決方案旨在減輕主區塊鏈的交易負擔,以實現更高的吞吐量和效率,但AO 的模型利用Arweave 的不可變存儲功能來確保可擴展性並減少計算開銷。這種與L2 原則的策略一致性,儘管在根本不同的架構層面上,強調了AO 對增強去中心化運算的承諾。

全像態:範式轉變

流程狀態通常不會在AO 系統中儲存或達成協議。相反,它們是「全息」隱含在Arweave 託管的訊息日誌的。這確保了計算時輸出的一致性,即使網路參與者尚未監控/計算它。

因此,全像態代表進程的狀態,是從Arweave 上不可變的訊息日誌推斷出來的,不需要即時計算或共識。

這意味著計算成本被委託給可以計算其狀態或透過計算單元(CU) 請求執行的使用者。使用確定性、資源計量的虛擬機器(metered VM)可確保:無論誰執行計算,給定相同的輸入(訊息日誌),其輸出(狀態)始終相同。

這個概念利用SmartWeave 和Celestia 的惰性評估架構原則,使流程中的使用和擴展資源不受限制。

為什麼這很重要?

這一轉變的影響是重大的。透過將共識機制與運算狀態解耦,AO 電腦解決了困擾傳統區塊鏈網路的可擴展性問題。這為去中心化應用程式開闢了新的可能性,使它們能夠在免受當前共識模型所限制的記憶體大小、形式和速度的情況下運行。

此外,全像態模型創造了更靈活和高效的運算環境。開發人員可以在AO 電腦上建立和部署流程,而無需擔心網路上的運算負載。反過來,由於Arweave 上不可變的訊息日誌,使用者可以與這些進程進行交互,並確信底層狀態是可驗證且安全的。

常被問到的問題

以下是我在Discord 和Twitter 上遇到的一些最常見問題的解答

AO 中的全息態機制是如何運作的?

網路中的節點不需要執行計算來就程式狀態轉換達成共識,而是從儲存在Arweave 上的互動(訊息)日誌中得出狀態。

此設計利用Arweave 網路的不可變儲存來確保訊息日誌永久可用,從而允許任何網路參與者計算狀態。

如何分散式管理和執行流程?

流程透過調度程序單元(SU)、計算單元(CU) 和信差單元(MU) 的組合來管理和執行。

這些元件協同工作,處理訊息到進程(SU) 的分配、基於訊息(CU) 計算狀態轉換以及在進程(MU) 之間中繼訊息。

這種架構允許進程在網路上獨立運作。有關深入解釋,請參閱我關於AO 架構的詳細文章。

文章連結:

https://thenextwave.blog/aos-modular-architecture-computing-model-part-ii/

進程的狀態可以直接觀察到,還是只是隱含的?

進程的狀態主要隱含在Arweave 上儲存的交互日誌。雖然狀態不被存儲,但任何參與者都可以確定性地計算它。這種方法確保進程的狀態雖然無法直接監測,但可以獨立驗證並且在整個網路中保持一致。

確定性、資源計量的虛擬機器如何對全像態做出貢獻?

計算單元是確定性的、資源計量的虛擬機器(VM)。它們確保給定相同的輸入(訊息日誌),輸出(狀態)始終保持一致,無論誰或在何處執行計算。這種一致性對於全像態模​​型至關重要,可以對狀態轉換進行無需信任的驗證。虛擬機器的資源計量功能可確保運算受到限制,防止進程失控並維持網路效率。

什麼是資源計量虛擬機器?

資源計量虛擬機旨在精確控制和追蹤運算資源(例如CPU 運行時間和記憶體)的使用情況。這種功能可確保公平地存取網路資源、防止濫用並可預測到營運成本,它對於維護網路效率和可擴展性以及為開發人員和用戶提供透明且可管理的經濟模型至關重要。

全像態模型的可擴展性影響是什麼?

全像態模型對可擴展性有顯著的正面影響。透過將共識機制與實際狀態計算解耦,並利用分散式的參與者網路來執行流程,AO 可以支援許多平行流程,而不受傳統區塊鏈共識機制的典型約束。該模型允許更顯著的可擴展性,因為網路可以處理更多事務和複雜計算,而不會成比例增加資源需求或降低效能。

Total
0
Shares
Related Posts