NeFut Logo NeFut
EN 管理员登录

[AI学术] 长期运行 AI 代理的授权撤销:根作用域的安静化在委托与异步执行下

发布于:2026-09-22 22:00 最后更新:2026-09-24 00:40
#algorithm #AI #optimization

长期运行的 AI 代理会通过凭证、委托任务、队列、回调、预留以及提供方操作等方式超出发起进程的生命周期。取消、进程退出和凭证撤销既不能关闭所有已切割的载体,也无法区分独立授权的共享工作。我们提出 根作用域授权安静化 的概念:对每个已出现的接收点,证书记录在已退役根时期之前的所有切割相关接受,并在本地栅栏之后排除受保护的接受,同时允许精确重新绑定到当前独立且足够的支持。

根作用域安静化协议将根切割线性化,围栏旧根的扩展和受保护的接收点,将替代和合取的授权表示为最小足够根集合的反链,并将提供方前沿证书组合成已注册旧根路径上的切割集。精确的通道‑令牌会计能够调和转移;缺失或冲突的证据则保持不确定。

在上述假设下,我们证明了切割后发行者不再扩展、支持的投射保持可靠、在精确通道守恒下的组合可靠性、独立支持的保持、合并顺序的独立性以及崩溃/重放的稳定性。一个无提供方的后效测试套件在 17/17 条已注册结果上全部匹配。两种仅取消和一种仅切割的执行接受了同一类已调度的后效;两种切割‑加‑栅栏执行、一种重启以及一种陈旧进程执行则拒绝了它。另一个独立实现的检查器验证了 17/17 条轨迹并一致拒绝了 44/44 条重新哈希的语义回归。

该证书在其绑定的清单和配置范围内建立了根相对的授权安静化,而不是全局空闲、回滚或业务完成的状态。

点评

原文链接: https://arxiv.org/abs/2609.21284

[h] 返回首页