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

谷歌 DeepMind 团队宣布利用 AI 智能体对 Signal 加密协议完成形式化验证，用数学方法证明其端到端加密在既定模型下满足安全要求，该协议也被 WhatsApp 和谷歌信息采用。分析耗时约四周，过程消耗大量计算资源，且仅验证协议本身而非 Signal 应用整体；测试含已知漏洞的旧版实现时 AI 成功识别问题。研究基于部分已有验证成果，谷歌表示推广可行性尚不确定。