谷歌 DeepMind 用 AI 完成 Signal 协议形式化验证，数学证明其端到端加密可靠性

谷歌 DeepMind 团队利用 AI 完成了 Signal 加密协议的形式化验证，通过数学方法证明其端到端加密的可靠性。该验证针对协议本身，非整个应用，耗时约四周，AI 成功识别出旧版协议中的已知漏洞。研究基于部分已有验证成果，未公布具体计算资源消耗，目前尚难推广至其他协议。