VACP:基於Arweave的可驗證原子計算範式

! [VACP:基於Arweave的可驗證原子計算範式] (https://cdn-img.panewslab.com/panews/images/N28Q8G33p0.png)

作者:Decent Land Labs

翻譯:Xiaosong HU @ Contributor of PermaDAO

審閱:John Khor @ PermaDAO 貢獻者

動機

許多 Web3 的 dapp 應用、產品和協定最初都希望完全去中心化,只使用鏈上元件構建。 然而,當它們面臨擴展挑戰時,引入 Web2 元素就會成為增強可擴展性和用戶體驗(UX)的有力解決方案。

集中式的 Web2 架構對於可擴充性有顯著的好處,但同時可能會犧牲 Web3 的核心原則。

問題

當一個專案將 web2 元素納入其技術堆疊時,它本質上就開始損害一些核心的去中心化原則,包括透明度、去信任性和可驗證性。

為了應對這一挑戰,我們引入了可驗證原子計算範式 (VACP),以及實時實現的“分子執行機” (Molecular ution Machine:MEM)。

這種方法旨在在解決可擴展性和用戶體驗問題的同時,維護核心的去中心化原則的完整性。

那麼,VACP 是什麼?

可驗證原子計算範式 (VACP) 通過三個元件的協同作用而成為可能:

  • 惰性評估,由SmartWeave協定和3EM首創。
  • 無許可可驗證計算(VC),使計算能夠在沒有集中控制的情況下獨立驗證和執行。
  • 利用防篡改數據可用性 (DA) 層,例如 Arweave,確保整個過程中數據的完整性和可用性。

通過結合這三個基本元素,VACP 提供了一個強大的框架,用於維護去中心化、透明度和去信任性,同時為 web3 開發人員提供可擴展和可驗證的計算。

Arweave 作為跨區塊鏈 L0 層的基礎角色,它使 VACP 能夠與多鏈功能無縫運行。 VACP 結合使用 Arweave 的數據可用性驗證和 KYVE 協定,可以可靠地確保各個區塊鏈上的數據完整性,從而增強其多功能性和可靠性。

! [VACP:基於Arweave的可驗證原子計算範式] (https://cdn-img.panewslab.com/panews/images/nEDpIeOrEy.png)

VACP 可視化

1、數據計算規則及初始狀態上傳:

  • 一組規則(智慧合約 / 無伺服器功能代碼)和初始狀態上傳到數據可用性(DA)層。
  • 初始狀態記錄隨時間變化的所有狀態變化。

2. 用於使用者交互處理的可信第三方(TTP),又名原子節點:

  • 可信第三方(TTP)可以是高度可擴展的集中節點,負責管理系統內的使用者交互。
  • TTP 的可信性依賴於信任,信任是基於其對上傳到 DA 層的數據的忠實性(數據真實性有效性)而建立的。
  • TTP 的可信度取決於其通過最終用戶進行的可驗證計算檢查的能力,確保其行為的完整性和準確性。
  • TTP 處理諸如接收使用者事務、評估新狀態以及維護數據緩存等任務。

本質上,VACP 利用 DA 層上上傳的規則和數據以及可信實體 (TTP) 的組合來實現可驗證的計算,同時保持一定程度的可擴展性和對系統操作的信任。

MEM 是 VACP 實現

分子執行機 (MEM) 是可驗證原子計算範式 (VACP) 的合法實現,因為它遵守基本範式要求:

**原子性:**MEM 作為單一節點(可信第三方 - TTP)運行,能夠運行高效可擴展的 web2.5 網路。

**可驗證計算:**在 MEM 框架內,原子節點不斷受到最終使用者或任何相關方執行的嚴格誠實檢查。 該節點執行的每個操作都可以被複製和驗證,確保系統內的透明度和信任。

在 MEM 中,智慧合約和交互位於同一 DA 層中,通過惰性評估和可驗證計算原則促進最終狀態驗證,符合 VACP。

如果原子節點變成惡意行為者會發生什麼?

如果原子節點被識別為惡意行為者,VACP 系統會有適當的保護機制。 在任何給定時刻,如果確定原子節點有不誠實行為,任何相關方都可以訪問存儲在數據可用性 (DA) 層中的不可變 VACP 交互。 然後,他們可以執行惰性評估,重建交易歷史記錄,直到達到最後的誠實狀態。

隨後,系統可以從與最後已知的誠實狀態相對應的區塊高度發起網路的“硬分叉”,從而有效地忽略惡意原子節點採取的任何欺詐行為。 這種方法允許網路從可信點繼續運行,同時隔離和減輕不誠實行為者行為的影響,從而確保網路的完整性和可信性。

VACP 和 MEM 在智能合約領域有何不同?

MEM 堅持遵守 VACP 原則,通過提供增強的可擴充性、更好增加使用者和開發者的體驗感、多樣化的數據源、協定演進、原子節點效率、最佳的 Arweave DA 層利用率和可承受性,重新定義了數據驅動的智慧合約格局。 這種全面的方法使 MEM 成為該領域的先驅:

  • **可擴展性和輸送量:**MEM 實現了卓越的可擴展性和事務處理能力,在每秒事務數 (TPS) 和事務最終性以及延遲方面超越了其他平臺。 這使得網路能夠處理更多的交互。
  • **用戶體驗 (UX) 和開發人員體驗 (DX):**VACP 的實施會在 MEM 中形成一個更加使用者友好和開發人員友好的生態系統,從而使用戶和開發人員都更容易訪問和高效。 這種競爭優勢促進了採用和創新。
  • **數據源:**雖然 MEM 依賴於 DA 層 (Arweave L2) 的單個數據源,但它有效地利用了該數據源,從而為數據驅動的智慧合約創建了更快、更安全的排序器。
  • **SmartWeave 協定演進:**MEM 使用改進的 SmartWeave 協議實現 3EM,確保其處於協定進步的最前沿,融合了數據驅動合約技術的最新創新。
  • **原子節點概念:**MEM 採用原子節點概念,提供羽量級且高度可擴展的方法,在效率和回應能力方面優於競爭對手。
  • **Arweave DA 層的利用:**MEM 通過使用數據事務作為交互佔位符來避免與 Arweave 標籤相關的限制。 這項創新允許企業規模的合同數據計算請求,釋放數據驅動的智慧合同的新可能性。
  • **Web2.5 優化:**MEM 專注於提供Web2.5 UX和 DX,以滿足企業和消費者市場區隔的需求,創造增長和擴展的機會。
  • **成本低且高效的網路設置:**每個月花費不到 100 美元,任何人都可以使用開源 MEM 代碼庫部署自己的 web2.5 數據計算網路。 這種經濟高效的方法利用了 Web2 元件和軟體的正確組合,使 MEM 能夠實現快速可擴充性,消除了對傳統緩存設計的需求,並將責任轉移給合同部署人員。

在 VACP 協議基礎上 UI 驅動的數據證明

! [VACP:基於Arweave的可驗證原子計算範式] (https://cdn-img.panewslab.com/panews/images/KH026Vwo64.png)

ACP 具有 MEM 和鏈上數據 Token-Gating 示例

(注:Token-Gating: 是一種安全機制,它通過將訪問令牌分配給不同的資源或功能,限制了使用者或應用程式訪問和使用某些特定的內容或服務。 這種機制可用於保護個人數據、敏感資訊或數字資產免受未經授權的訪問和使用。 )

考慮這樣一種場景,應用程式用戶介面 (UI) 可以根據從乙太坊網路檢索的資訊,提供有關其獲取的數據的證明,並假定這些數據是真實的(例如,檢查連接的錢包的餘額以用於令牌門控目的)。 該證明應包括必要的元數據:

  • FE 請求外部擁有帳戶 (EOA) 餘額的乙太坊區塊。
  • 代幣合約位址。
  • 使用分子執行機 (MEM) 在永久資料可用性 (DA) 層上發出資料請求時的時間戳證明。

一旦收集到該證明元數據,就可以將其提交給 MEM 合約,該合約會將其存儲為永久證明。 任何使用者都可以通過實施可驗證原子計算範式 (VACP) 原則來驗證此證明和證明的有效性。

總結

總之,VACP 重新定義了 Web2.5 的概念,提供了一個結合了信任、可擴充性、成本效率、使用者體驗、數據完整性、互操作性和創新的模型,最終提供了一個實用且可擴展的框架,彌合了 Web2 和 Web3 之間的差距範式。

查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 讚賞
  • 留言
  • 轉發
  • 分享
留言
0/400
暫無留言
交易,隨時隨地
qrCode
掃碼下載 Gate App
社群列表
繁體中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)