可回放工具Agent审计的声明-证据-执行绑定契约

arXiv 论文提出一种以声明为锚点的执行契约，把智能体输出的声明、其精确来源片段、产生该声明的有序执行前缀，以及执行时观察到的来源版本与访问状态联合绑定，用于可回放的智能体审计。每条回执包含一个发射锚点，可在已提交答案或带声明的动作中确定性地定位该声明，并附带来源标识、偏移、哈希、引文和域分隔的执行承诺。确定性完整性验证器在接入语义或任务标签之前先重建这些绑定，作者将完整性平面与可插拔的支持平面分离，避免用结构有效性代替蕴含判断。另一篇论文追踪提出 AI Agent 声明的可审计性框架，主张先明确政策、范围、可据以判定的记录以及由谁记录，并在任何结论之前固定这些要素和决策规则，称为可审计声明，把此前 Auditable Agents 框架中的 Policy Checkability 维度从单一动作扩展到声明层面；论文指出 Agent 还带来由独立记录覆盖、授权绑定到每个动作的参数、以及完整性之外的完备性三项额外条件，并在显式模型下证明缺少任一条件时的后果。

Generated by AI from reports · Updated 4 days ago

1. Oct 6 06:11 · 1 reports
   可审计的 AI 智能体安全声明：政策、适用范围与日志义务
   论文追踪：论文提出 AI Agent 声明的可审计性框架
2. Sep 29 16:36 · 1 reports
   可回放工具Agent审计的声明-证据-执行绑定契约
   arXiv：Actions with Receipts：为工具智能体审计绑定声明、证据与执行

• Older than 72 hours · Not included in the 72-hour figures
• X@FSFG · Cryptography and Security Papers @FSFGOct 3 22:25
  Actions with Receipts: Jointly Binding Claims, Evidence, and Execution for Replayable Tool-Agent Auditing(opens the original post in a new tab)

  “Actions with Receipts: Jointly Binding Claims, Evidence, and Execution for Replayable Tool-Agent Auditing”

Hourly attention