Governing Dynamic Capabilities: Cryptographic Binding and Reproducibility Verification for AI Agent Tool Use
动态能力治理:用于AI代理工具使用的加密绑定与可重复性验证
专题命中 工具调用 :agent(title,abstract);AI agent(title,abstract);tool use(title);multi-agent(abstract)
AI总结 本文提出三种代理治理要求,通过加密绑定和可重复性验证解决AI代理动态能力验证问题,证明两个结构定理并验证两种加密方案,展示低开销和高安全性。
Comments 23 pages, 5 figures, 18 tables. Includes 11 experiments, 9 formal security properties, and appendix with proofs