ERC：自主代理程式的形式化治理證明註冊表
本提案定義了一種在鏈上註冊自主代理程式形式化治理證明的標準接口，利用 Z3 驗證的數學不變量將代理程式的運行決策與行為合規性進行加密綁定，以確保其在定義的安全邊界內運作。
摘要
本提案定義了一個標準介面，用於在鏈上註冊自主代理（Autonomous Agents）的形式化治理證明（Formal Governance Proofs）。與現有追蹤身份與協調的代理註冊表（ERC-8122、ERC-8107、ERC-8160）不同，本標準追蹤的是行為合規性 —— 透過密碼學將代理的運行時決策，與存儲為不可篡改證明的 Z3 驗證數學不變量（Invariants）進行綁定。
合規的代理會為每個執行週期產生一個 GovernanceProof。這些證明錨定在鏈上，使任何協議都能驗證該自主代理是否在形式化定義的安全邊界內運行，而無需信任代理的所有者或運營者。
動機
自主代理正管理著日益增長的鏈上價值。目前的基礎設施解決了代理「是誰」（註冊表）以及「能做什麼」（能力聲明）的問題。但尚無標準能回答以下關鍵問題：
該代理的行為是否符合其形式化聲明的安全約束？這是否能被不可篡改地證明？
這一缺口為 DeFi 協議、DAO 以及任何將決策委託給自主代理的系統帶來了系統性風險。一個失控或配置錯誤的代理可能會耗盡資金、扭曲治理或產生連鎖故障，且鏈上缺乏約束違規的審計追蹤。
DOF-MESH（確定性監督框架 —— 多鏈執行安全樞紐）自 2026 年第一季以來已在 Avalanche C-Chain 上運行此模型，已索引超過 1,772 個代理，並有兩個代理處於正式生產環境。本提案將這些實踐經驗正式化為一個可重複使用的標準。
規範
核心不變量
每個合規的實作必須強制執行兩個數學不變量：
1 貼文 - 1 參與者
[閱讀完整主題](https://ethereum-magicians.org/t/erc-formal-governance-proof-registry-for-autonomous-agents/28152)