arXiv· Carlo Ciliberto·· 10 天前推荐指数58
Proof-Carrying Contracts：让 AI Agent 无法违反的约束证明框架
Proof-Carrying Contracts: Commitments AI Agents Cannot Break
AI 导读
论文提出 Proof-Carrying Contracts（PC2）框架，要求 AI Agent 在执行请求操作前提交可机器校验的证明，证明其在模型允许的所有情形下都保持约定约束，由名为 Airlock 的执行系统校验证明并控制操作访问。
来源：arXiv · arxiv.org