Google DeepMind 用 AlphaProof Code 形式化验证 Signal 协议安全保证

Google DeepMind 研究人员用智能体 AI 形式化验证了 Signal 协议的多项关键密码学安全保证，项目在 4 周内完成。AlphaProof Code 在受检部分未发现新漏洞，并能识别 Signal 旧版本中已知且已修复的漏洞；研究团队同时公开了相关规范与证明，但分析未覆盖整个 Signal 移动应用。