IT之家·· 1 小时前AI 评分64
谷歌 DeepMind 用 AI 智能体完成 Signal 协议形式化验证
谷歌 DeepMind 用 AI 完成 Signal 协议形式化验证，数学证明其端到端加密可靠性
AI 导读
谷歌 DeepMind 团队利用具备自主执行能力的 AI 智能体，对 Signal 端到端加密协议完成形式化验证，以数学方法证明其满足安全性承诺。该方法还用于测试包含已知漏洞的旧版 Signal 协议实现，AI 识别出相关问题并判定这些版本未通过验证。
推荐理由模型分析
DeepMind 用 AI 智能体对 Signal 协议做形式化验证，并在含已知漏洞的旧版实现上识别出问题、判定未通过验证，给出了该方法可检出真实缺陷的证据。原文说明分析耗时约四周、算力规模未公布，且只针对协议本身而非整个应用，可作为评估 AI 参与密码学证明可行性与成本边界的参考。
来源：IT之家 · ithome.com