作者: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 可以支持許多并行流程,而不受傳統區塊鏈共識機制的典型約束。該模型允許更顯著的可擴展性,因為網絡可以處理更多事務和復雜計算,而不會成比例增加資源需求或降低性能。