arXiv · AI· Carlo Ciliberto, Alessandro Rudi, Enrico Tassi·· 4 小时前AI 评分35
证明携带契约（PC2）：AI 智能体无法违背的承诺框架
Proof-Carrying Contracts: Commitments AI Agents Cannot Break
AI 导读
PC2 框架要求 AI 智能体在执行操作前提供可机器验证的证明，以确保其在模型允许的所有情况下均维持约定约束。Airlock 执行系统负责检查证明并控制操作访问权限，无需预先设计复杂的独立权限策略即可保障安全性。 该机制通过可复用能力模块构建契约，确保即使面对对抗性智能体，约束也在执行全程有效，为代理经济中的可靠协议奠定基础。
来源：arXiv · AI · arxiv.org