【規範】代理式爭議解決:“Bob即服務”層和不可變執行日誌

本文為機器翻譯
展示原文

動機:證據悖論

在工業級去中心化自治組織(DAO)中,糾紛不可避免(例如,「伺服器宕機了,但服務提供者說沒宕機」)。在傳統系統中,解決此類糾紛需要人工裁決或依賴偏見的日誌檔案。為了實現經濟上的最終性,我們需要不可竄改的證據,並由人工智慧代理(「Bob」)接收這些證據以觸發自動結算。

不可變堆疊:Paralus + 沙盒

我們透過確保日誌的產生和儲存方式,使硬體擁有者無法在不留下加密痕蹟的情況下「篡改」日誌,從而解決了「硬體擁有者」問題。

  • Paralus(零信任存取):我們在 Federated Kubernetes 叢集中使用Paralus來管理所有kubectl存取。 Paralus 提供詳盡的使用者級稽核日誌,記錄每個已執行的指令。如果系統管理員嘗試手動修改容器,Paralus 會記錄下所有操作的「人、操作內容和時間」。
  • 沙盒運作時(Kata/gVisor):每個工業工作負載都在沙盒環境中運作。
    我們傾向於使用Kata Containers進行硬體級虛擬機器隔離,或使用gVisor進行系統呼叫攔截。
    如果某個進程試圖「突破」容器來修改主機的日誌文件,沙箱會偵測到系統呼叫異常,並立即在日誌樹中標記「防篡改」違規

「Bob即服務」(代理ADR)

Bob是一個具有專門的「法律技術」LLM核心的智能體人工智慧。 Bob充當自動爭議解決器(ADR)

  • 持續攝取: Bob 持續監控從 Paralus 稽核日誌和 Sandbox 心跳流出的日誌樹( log N log N
  • 衝突觸發:當 DAO 成員(個人或組織)提出索賠(例如,「SLA 違約」)時,Bob 會提取相關的日誌樹分支。
  • 自主裁決:
    Bob 驗證了不可篡改性證明:“Paralus 是否記錄了手動登入?沙箱是否偵測到了突破?”
    如果日誌經驗證為「乾淨」且顯示故障,Bob 會觸發與Zodiac 相容的Safe 呼叫來懲罰提供者。
    如果日誌顯示“Tinkering”,Bob 會自動宣布高嚴重性違規,並在 500 毫秒內撤銷提供者的 OIDC 存取權限。

技術工作流程:從貨櫃到結算

科技安全功能
執行Kata / gVisor防止主機級篡改。
使用權帕拉魯斯審核每一次人工管理操作。
貯存logtrees( log N log N 使日誌在加密方面不可篡改。
判斷智能體人工智慧(鮑伯)裁定證據並觸發O2A 啟動

閉合工業循環

透過結合Paralus沙箱機制,我們確保輸入到日誌樹中的資料真實可靠。這使得 DAO 能夠真正實現自主運作。 “Bob”層確保“產業摩擦”不會導致“治理停滯”,而是帶來即時的經濟調整。


來源
免責聲明:以上內容僅為作者觀點,不代表Followin的任何立場,不構成與Followin相關的任何投資建議。
喜歡
65
收藏
15
評論