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

> 谷歌 DeepMind 团队利用 AI 智能体成功完成了对 Signal 加密协议的形式化验证，通过数学方法严格证明了该协议端到端加密的可靠性。这一成果被视为加密领域的里程碑，不仅确认了 Signal 的安全性，还成功识别出旧版协议实现中的已知漏洞。尽管目前受限于计算资源难以大规模推广，但这标志着 AI 在验证软件安全机制方面迈出了关键一步。

**来源信息**
- **来源**：IT之家（RSS）
- **分类**：ai-models
- **发布时间**：2026-11-10 21:35（北京时间）
- **原文**：[打开原文](https://www.ithome.com/1/025/161.htm)