谷歌 DeepMind 用 AI 智能体完成 Signal 协议形式化验证

谷歌 DeepMind 团队利用具备自主执行能力的 AI 智能体，对 Signal 加密协议完成形式化验证，用数学方法证明其满足安全性承诺。该协议也被 WhatsApp 和 Google Messages 采用，整个分析过程耗时约四周，谷歌尚未公布所需计算资源规模。研究人员还测试了含已知漏洞的旧版 Signal 协议实现，AI 识别出问题并判定其未通过验证；DeepMind 强调此次验证针对协议本身，并非对 Signal 应用做全面安全审查。