時空證明
本文中的“時空證明”指 xmuse 擬採用的資源持續可用性與服務質量核驗機制。它用於計算獎勵權重；當前頁面是設計說明，不代表已經實現通用計算正確性的密碼學證明。
權重計算與證明分開理解
「權重計算與證明分開理解」章節連結有效權重 = 基準分 × 在線率 × 網絡環境係數 × 質量係數 × 週期早期係數| 項 | 建議範圍或口徑 | 實施前必須發佈 |
|---|---|---|
| 基準分 | GPU、CPU、記憶體、NVMe、頻寬的資源折算 | 測試負載、資源綁定方式、計時單位和基準版本 |
| 在線率 | 0 至 1 | 心跳/挑戰頻率、超時容忍、有效時長與清零閾值 |
| 網絡環境係數 | 0.5 至 1.2，設計建議 | 測量位置、頻寬/時延/丟包映射及地區差異處理 |
| 質量係數 | 0 至 1.2，設計建議 | 成功定義、樣本量、置信要求和異常處理 |
| 週期早期係數 | 待確認 | 起算日、衰減規則及是否與發行早期補貼重複 |
公式說明如何分配份額，並不證明輸入數據真實。參數、證據和評分程序須使用同一版本，才具備可復算性。
四類核驗及其邊界
「四類核驗及其邊界」章節連結| 核驗對象 | 需要的證據 | 不能由該證據單獨推出的結論 |
|---|---|---|
| 資源真實性 | 不可預知的基準挑戰、設備與節點綁定、資源佔用記錄 | 一次跑分不能證明整週期獨佔或持續可調度 |
| 持續可用性 | 週期內隨機挑戰、心跳與調度日誌 | 自報在線時長不能排除代理轉發或臨時借用資源 |
| 網絡環境 | 來自多個位置的簽名測量記錄 | 單次測速不能代表用戶全程訪問質量 |
| 任務質量 | 任務回執、可重放測試、抽檢與爭議結果 | 任務完成回執不能自動證明所有外部操作正確 |
核驗通過率與可罰沒事件應分別定義。網絡波動、平台故障和已證實作惡不能不加區分地使用同一懲罰。
從證據到獎勵的建議流程
「從證據到獎勵的建議流程」章節連結- 登記節點身份、資源與客戶端版本，約定資源可調度範圍。
- 分配不可預知的挑戰；記錄挑戰標識、時間、隨機來源、響應摘要和簽名。
- 由驗證節點採樣，記錄原始證據的索引及評分版本；異常進入複核。
- 形成周期權重與獎勵明細，開放復算所需的數據或合規訪問方式。
- 按正式規則處理異議，再確認最終承諾並允許領取。
以上是協議應具備的流程要求。挑戰格式、隨機性來源、採樣頻率、驗證節點選擇、防串謀、爭議窗口、證據保留期和誤罰申訴均待協議規格與實現驗證確認；本站不為這些項目編造生效參數。
與 Filecoin PoSt 的區別
「與 Filecoin PoSt 的區別」章節連結Filecoin 的 PoSt 圍繞封裝數據在時間內持續儲存設計。官方 PoSt 規格可作為持續核驗的參考，但不能直接套用為 GPU、CPU 或任意 Agent 任務執行正確性的證明。
xmuse 的網絡環境與任務質量核驗還包含測量、服務回執和爭議處理，需要獨立說明信任假設。涉及外部 API、非確定性模型結果或資金操作時，按任務調度與驗證定義可重放與冪等邊界。
Merkle 承諾能證明甚麼
「Merkle 承諾能證明甚麼」章節連結Merkle 包含性證明可驗證某條獎勵明細屬於已提交的承諾集合；結合領取狀態，可校驗領取資格和防止重複領取。它不能單獨證明硬件、在線率或任務回執真實。
每週期提交根哈希可減少批量承諾交易，但領取交易、證明生成與分發、證據儲存仍有成本。權重、明細、評分版本和必要證據可得，才支援第三方復算。詳見獎勵資產。