Google DeepMind 对 Signal 协议关键密码学保证完成数学验证

Google DeepMind just mathematically verified key parts of Signal

Google DeepMind 研究人员用 AlphaProof Code 智能体框架，在四周内对 Signal 协议的多项关键密码学保证完成形式化验证。研究未在所检查部分发现新漏洞，并在含有已知且早已修复漏洞的旧版本中正确识别问题，判定其无法通过形式化验证。验证范围不涵盖整个 Signal 移动应用，研究人员正公开此次分析的规范与证明，以支持其他形式化验证工作。