M. Llambí-Morillas

该研究提出一个可证伪的假设：智能体授权可形式化为一个可密码学验证的关系 R_CVA，它把智能体主体、具体授权请求、执行上下文与适用策略的满足情况联合绑定，同时选择性保护私有授权属性的机密性；作者给出 CVA 的初步形式化抽象、一组候选安全属性（授权可靠性、主体绑定、请求绑定、策略绑定、抗重放），并在 Groth16 zk-SNARK 构造上实现了一个可执行的零知识概念验证，同时把身份绑定、授权请求绑定与运行时执行绑定之间的结构性分离正式化为安全智能体系统设计中的核心开放问题，并提出可证伪的研究议程。

该研究提出一个可证伪的假设：智能体授权可形式化为一个可密码学验证的关系 R_CVA，它把智能体主体、具体授权请求、执行上下文与适用策略的满足情况联合绑定，同时选择性保护私有授权属性的机密性；作者给出 CVA 的初步形式化抽象、一组候选安全属性（授权可靠性、主体绑定、请求绑定、策略绑定、抗重放），并在 Groth16 zk-SNARK 构造上实现了一个可执行的零知识概念验证，同时把身份绑定、授权请求绑定与运行时执行绑定之间的结构性分离正式化为安全智能体系统设计中的核心开放问题，并提出可证伪的研究议程。

作者提出可加密验证的智能体授权（CVA）假设，把授权形式化为同时绑定智能体主体、具体授权请求、执行上下文与策略满足性的关系 RCVA，并给出候选安全属性与一个基于 Groth16 zk-SNARK 的可执行零知识概念验证，该原型实现了主体绑定与计划级请求绑定，而上下文绑定与运行时执行绑定未实现。

作者提出可加密验证的智能体授权（CVA）假设，把授权形式化为同时绑定智能体主体、具体授权请求、执行上下文与策略满足性的关系 RCVA，并给出候选安全属性与一个基于 Groth16 zk-SNARK 的可执行零知识概念验证，该原型实现了主体绑定与计划级请求绑定，而上下文绑定与运行时执行绑定未实现。