量子科技中心_量科网

该团队的计算生态系统正被两大新兴范式所重塑：自主AI系统的广泛部署与量子计算的技术突破。在自主AI系统方面，最关键的挑战之一是构建安全的治理架构，确保智能体遵循其所有者的通信与交互策略，并能对彼此交换的消息承担问责。在量子计算方面，现有系统必须进行改造，同时需设计新型密码机制以保障长期安全性与抗量子能力。事实上，NIST建议从2030年起逐步淘汰包括RSA、Diffie-Hellman (DH) 和椭圆曲线密码 (ECC) 在内的标准公钥加密算法，并于2035年后全面禁用。 本文提出MAGIQ框架，该框架利用新型高效且具备可证明安全性的抗量子密码协议，为多智能体AI系统提供策略定义与执行能力。MAGIQ具有以下特性：(i) 允许用户为智能体间的会话与任务定义丰富的通信及访问控制策略预算，包括一对多智能体会话的全局预算；(ii) 采用后量子密码原语执行此类策略；(iii) 支持基于会话的智能体间及一对多智能体会话策略执行；(iv) 通过消息溯源实现智能体对用户的可问责性。研究团队使用通用可组合 (UC) 框架对系统进行了形式化建模，并证明了其正确性与安全性。该团队还评估了框架的计算与通信开销，并与当前最先进的自主AI框架SAGA进行了对比。MAGIQ是为自主AI系统提供后量子安全解决方案的第一步探索。