Google DeepMind 用 AlphaProof Code 形式化验证 Signal 协议的安全性
A New AI Tool From Google DeepMind Proved the Signal Protocol Is Secure
AI 导读
Google DeepMind 用智能体 AI 框架 AlphaProof Code 在四周内对 Signal 协议的多项核心密码学保证完成了数学形式化验证，未发现新漏洞，且能在含已知漏洞的旧版本上正确识别问题。
Google DeepMind 用 AlphaProof Code 形式化验证 Signal 协议的安全性