Signal 协议

谷歌 DeepMind 利用具备自主执行能力的 AI 智能体，对 Signal 端到端加密协议完成形式化验证，以数学方法证明其满足安全性承诺，并成功识别出含已知漏洞的旧版实现。该成果被视为密码学与 AI 交叉领域的里程碑，但耗时约四周、算力开销巨大，短期内难以大规模推广。

Google DeepMind 发布 AlphaProof Code，这是一个结合人类专家与 AI 智能体的形式化验证框架，首次对 Signal 加密协议的实际代码完成了关键安全属性的数学证明。该成果将智能体能力从代码生成推进到深度形式化验证，被视为软件安全领域的重大突破。