協議
DecentraCompute 協議形成了計算資源網絡，並定義了無雲堆疊以執行計算任務。
DecentraCompute 網絡概述
DecentraCompute 網絡概述
無雲函數，Aqua
DecentraCompute 網絡完全運行在 Aqua 協議上，提供了安全的分佈式執行，無需集中協調。Aqua 名稱也用於一種特定領域的腳本語言，該語言編譯成 pi 演算操作，允許表達無死鎖的分佈式算法。Aqua 協議無需部署：Aqua 腳本打包成數據包，按腳本編程的方式在網絡上執行。此外，Aqua 保證腳本執行的加密安全：所有請求及其逐步執行都由參與的節點簽名，使得已執行的腳本可審計和可驗證。
使用 Aqua 創建的代碼我們稱之為無雲函數，因為它跨雲、跨服務器和跨地域運行。無雲函數為客戶應用程序和 DecentraCompute 協議本身提供動力。服務發現、路由、負載均衡、子網啟動和操作、擴展和容錯算法都是通過 Aqua 運行並作為無雲函數表達。
計算函數，Marine
當 Aqua 操作服務器和雲上的執行拓撲和流程時，DecentraCompute 使用 Marine 運行時在節點上運行計算，它是一個 WebAssembly 運行時，允許多模塊執行，結合接口類型和 WASI 以訪問效應器。
Marine 為計算函數提供動力，這些函數在單台機器上執行，類似於無服務器雲函數。Marine 支持 Rust 和 C++ 作為源語言，但隨著 WebAssembly 標準的發展，更多語言即將支持。
子網
網絡中的所有計算函數都通過複製部署以確保容錯：在節點因硬件故障或網絡中斷而不可用的情況下。複製部署稱為子網。子網操作通過無雲函數由開發者完全自定義，因此開發者可以啟用故障切換、負載均衡、共識或任何其他自定義算法。
子網在 DecentraCompute 上創建高度可用的數據存儲。可以將其視為熱緩存或數據索引，而存儲大量數據則外包給外部存儲網絡，無論是集中式（如 S3）還是去中心化（如 Filecoin/Arweave）。
計算證明
DecentraCompute 協議強制對網絡中的所有執行生成加密證明。提供者為他們的計算生成證明，客戶僅為附有證明的工作支付費用，以確保工作經過驗證且正確。
Aqua 安全性
當節點在 DecentraCompute 中操作時，它們不斷服務於傳入的無雲函數調用，而這些調用要求進一步轉發函數或在該節點上運行計算函數。對於每個傳入的無雲函數，節點驗證前面涉及節點的執行軌跡，以確保該流程的執行正確。由錯誤節點執行或被干擾拓撲的無雲函數將被丟棄。
如果無雲函數要求節點運行計算函數，節點會完成工作，擴展執行軌跡，並按請求進一步轉發請求。通過這種方式，協議確保正確操作並為所有執行生成審計記錄。
處理證明
協議在鏈上強制執行對 Aqua 執行的概率驗證。由於所有計算都包裝在 Aqua 中，這意味著平台上執行的所有內容都概率性地在鏈上驗證。提供者必須提交所需的執行才能獲得獎勵，否則將被罰款。
執行證明
Fluence 上特定代碼執行的加密證明。每個函數執行都伴隨著由 Fluence 的 Marine WebAssembly 運行時生成的證明。這些證明由參與後續執行的節點驗證，並包含在處理證明中。
市場
鏈上市場將計算提供者與支付其提供計算資源的客戶匹配。市場完全無需許可，任何提供者都可以參與並發布其可用容量。
市場托管在 DecentraCompute 自己的鏈上，由 IPC 驅動，由 DecentraCompute 計算提供者驗證，並錨定到 Filecoin L1。自有鏈允許廉價和快速交易，以便在任何規模上租用計算資源：從小負載到大規模。
計算提供者資源
計算提供者資源
容量證明
DecentraCompute 通過強制執行稱為容量證明的加密證明，確保提供者廣告的資源存在並可用。提供者將其硬件資源用於不斷生成容量證明，以確認這些資源已準備好為客戶服務。協議根據分配的功率獎勵這些資源 DecentraCompute 代幣。
每當客戶需要選定提供者的計算能力時，這些資源從生成證明切換到為客戶的應用服務。
資源定價
客戶可以根據廣告價格和其他參數選擇提供者，或者發布工作和所需的最高價格以供任何提供者接手。
在每次應用程序部署時，會在鏈上創建一項交易，記錄客戶和提供者列表之間的財務細節（價格、預付款和提供者所需的抵押品）、與所需服務相關的技術要求（訪問某些數據、二進制文件或 Web API）以及網絡中的代碼安裝鏈接。
匹配標準
選擇提供者的匹配標準
計費模型
最初的計費模型是預付費的，基於資源租賃時間，並按周期計算。最低資源租賃是單個計算單元，持續 2 個周期，其中一個周期定義為 1 天，計算單元為 1 個核心、4GB 內存、5GB 虛擬磁盤空間。客戶需要為最低期限預付款，以確保提供者的工作得到報酬。
基於請求的計費模型和彈性計算單元將在項目的下一階段引入。
網絡
DecentraCompute 網絡可以被視為一組全球互連的節點，每個節點都運行 AquaVM 和 Marine，能夠接收部署和在本地執行代碼的命令，並按照接收的無雲函數與其他節點協作。大多數節點不斷參與經濟活動：監控和參與交易，形成新子網或調整參與子網，按照交易指定安裝應用程序，協調執行並服務傳入請求。它們還生成執行證明，並按照證明算法提交以獲得獎勵。