Google DeepMind 用 AlphaProof Code 证明 Signal 协议的安全性

Google DeepMind 研究人员使用 AlphaProof Code 框架在四个月内完成了对 Signal 协议若干关键加密保证的数学证明。该工作验证了 Signal 协议在保护全球通信中的安全性，并展示了 DeepMind 在形式化验证方面的能力。此次分析未发现 Signal 协议中被验证部分的新漏洞，但能正确识别旧版本中已知且已修复的漏洞，并表明形式化验证在 AI 协助下具备扩展潜力。