DeepMind 用智能体 AI 形式化验证 Signal 加密协议，被称里程碑

jdluk87 · x · 2026-11-11

Google DeepMind 的分析对 Signal 端到端加密协议完成了「形式化验证」——即用数学方法证明协议在所有条件下都满足其安全声明，这远高于传统渗透测试的标准。同一协议也被 WhatsApp 和 Google Messages 使用，该工作被称为「里程碑式进展」。

需要说明的是，验证针对的是协议本身而非 Signal 应用整体；在针对含已知漏洞的旧版 Signal 测试时，系统也成功识别出了这些漏洞。用 agentic AI 做形式化验证对密码学和 AI 都是重大突破，但计算开销极大，DeepMind 研究员 Swarat Chaudhuri 对 Wired 表示，距离扩展到「世界上所有软件」还有很长的路。