谷歌 DeepMind 用 AI 完成 Signal 加密协议安全验证

Signal 加密协议长期被视为端到端加密消息传递的黄金标准，WhatsApp 和谷歌信息均采用该协议保护对话安全。谷歌 DeepMind 团队利用具备自主执行能力的 AI 智能体，对 Signal 加密协议完成了形式化验证，即通过数学方法严格证明协议在所有既定条件下满足安全承诺，成果被称为里程碑式进展。

整个分析耗时约四周，且消耗大量计算资源。研究人员还用该方法测试了包含已知安全漏洞的旧版 Signal 协议实现，AI 成功识别出相关问题，并判定这些版本未能通过验证。

研究人员强调，此次验证仅针对协议本身而非整个应用，将技术扩展到全球所有软件仍需时日。AI 有望通过严格的数学证明，验证软件安全机制是否真正可靠。