作者：Decent Land Labs

翻譯：Xiaosong HU @ Contributor of PermaDAO

審閱：John Khor @ Contributor of PermaDAO

動機

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

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

問題

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

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

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

那麼，VACP 是什麼？

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

  • 惰性評估，由 SmartWeave 協議和 3EM 首創。

  • 無許可可驗證計算（VC），使計算能夠在沒有集中控制的情況下獨立驗證和執行。

  • 利用防篡改數據可用性 (DA) 層，例如 Arweave，確保整個過程中數據的完整性和可用性。

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

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

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 驅動的數據證明

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

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

考慮這樣一種場景，應用程序用戶界面 (UI) 可以根據從以太坊網絡檢索的信息，提供有關其獲取的數據的證明，並假定這些數據是真實的（例如，檢查連接的錢包的餘額以用於令牌門控目的）。 該證明應包括必要的元數據：

  • FE 請求外部擁有賬戶 (EOA) 餘額的以太坊區塊。

  • 代幣合約地址。

  • 使用分子執行機 (MEM) 在永久數據可用性 (DA) 層上發出數據請求時的時間戳證明。

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

總結

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