AI News HubLIVE
站內改寫1 分鐘閱讀

SP/1.0:為AI智慧體決策提供確定性、可復現的裁決

SHACKLE是一個針對自主AI智慧體的執行時斷路器協議,透過9個數學不變性、Ed25519簽名審計日誌和Redis分散式狀態引擎,提供確定性、可驗證的決策。

來源Hacker News AI作者: shacklepro

2026年6月,多個AI團隊獨立意識到一個關鍵問題:生成許可權並非執行許可權。大型語言模型驅動的自主智慧體在執行工具呼叫時,往往缺乏執行時監督,導致代價高昂的無限迴圈和重複呼叫。例如,有生產環境記錄顯示,代理在遞迴限制觸發前已消耗超過6,000美元的API費用。為了解決這一痛點,Dante Bullock和Sovereign Logic釋出了SHACKLE協議(SP/1.0),這是首個具有加密審計鏈的開源執行時斷路器。

SHACKLE的核心是一個純函式決策函式,它回答一個簡單問題:“此刻,該智慧體是否應被允許使用這些引數執行此工具?”該函式依託9個數學不變性、語言無關的訊息模式、Ed25519簽名的追加式審計日誌以及Redis支援的分散式狀態引擎。決策函式可在10分鐘內由人工審計,其演算法由8個堆疊層組成:斷路器、防重放(透過nonce)、預算保護、重複呼叫保護、時間視窗限制、全域性呼叫限制、機率性拒絕(在預算低於20%時引入隨機拒絕)、以及人工介入(HITL)觸發。特別地,錯誤訊號放大機制能檢測HTTP 401、超時等錯誤,自動降低重複呼叫閾值,防止“死亡迴圈”。

SHACKLE支援三種部署模型:庫模式(單程序)、側車守護程序模型(透過gRPC/Unix套接字通訊,用於生產環境)和分散式企業模型(多智慧體共享Redis狀態)。其設計原則包括確定性核心、守護程序作為唯一權威、追加式審計、數學驗證、優雅降級和故障關閉。所有裁決結果透過Protobuf訊息通訊,並記錄在Ed25519簽名的審計日誌中,實現加密級鏈式監管。SHACKLE的出現為自主AI系統提供了數學保障,使其能夠在生產環境中安全執行。參考實現已釋出在GitHub,採用AGPLv3和商業雙許可。未來版本將引入策略語言DSL,進一步簡化防護規則配置。