arXiv cs.AI· Zexun Wang·· 2 天前AI 评分18
Matoi：面向智能体授权的后果证据选择性重验证机制
Matoi: Selective Revalidation of Consequence Evidence for Agent Authorization
AI 导读
Matoi 将可复用的后果证据与当前执行权限、持久发生历史分离，用有限查询感知契约覆盖分支、有序集合与否定查询。在 1,440 单元匹配线研究中，输入字节相同时复用使 JS 完整生命周期成本降低 3.49%、Python 降低 1.79%；AgentDojo Banking 映射覆盖 5/16 用户计划与 7/9 攻击计划，两种治理策略均保留 5 笔正常转账并拒绝 35 次复用攻击计划/策略交叉。
正文 · AI 翻译
摘要：Matoi 将可复用的后果证据与当前执行权限和持久发生历史分离。其有限查询感知契约涵盖分支、有序集合和否定查找。消费者仅复用其自身经过检查、且观测仍然有效的证据；签名请求、实时授权、配额和不确定结果仍为独立义务。条件正确性论证区分了本地串行化声明与非事务性远程效果。两项研究强化了成本归因和领域评估。一项 1,440 单元匹配线研究重复了 144 个作者输入。在紧凑输入字节完全相同的情况下，复用使完整生命周期成本在 JS 中降低 3.49%，在 Python 中降低 1.79%。相对于完整证明，表示/复用合并降低分别为 10.87% 和 16.53%；匹配比较的十二个族区间中，每种语言各有五个跨过 1。一项前瞻性冻结的 AgentDojo Banking 映射覆盖 5/16 用户计划和 7/9 攻击计划。两种受治理策略均保留五笔完全相同的良性转账，并拒绝 35 个复用攻击计划/策略交叉。预先满足的效用谓词与已完成工作分开报告。这些是原始脚本化合成工具，不是自主代理或真实银行。早期研究保留了更廉价的受保护缓存替代方案、策略兼容的网络钓鱼、提供者重复和声明后撤销。独立的 JS/Python 消费者在同一项目内建立有限配置互操作性；持久恢复会重新检查证据并保留不确定预留。结果支持一个有界、可审计的复用与执行契约，而不是新的通用增量算法、任意工具闭包、原子第三方承诺或生产优越性。
| 评论： | 55 页，4 幅图。包含一份 18 页的技术手稿和一份 33 页的详细补充材料作为附件。研究预印本；未经同行评审 |
| 主题： | 密码学与安全（cs.CR）；人工智能（cs.AI） |
| 引用为： | arXiv:2610.21394 [cs.CR] |
| （或 arXiv:2610.21394v1 [cs.CR] 用于此版本） | |
| https://doi.org/10.48550/arXiv.2610.21394 arXiv 颁发的 DOI 通过 DataCite（待注册） |
提交历史
来自：Zexun Wang [查看电子邮件]
[v1]
2026 年 10 月 15 日星期四 07:13:17 UTC（735 KB）
来源：arXiv cs.AI · arxiv.org