DeepMind用AI智能体形式化验证Signal协议

2026年11月10日，IT之家报道，谷歌 DeepMind 团队利用具备自主执行能力的 AI 智能体，对 Signal 端到端加密协议完成形式化验证，以数学方法证明其满足安全性承诺。报道称，该方法还用于测试包含已知漏洞的旧版 Signal 协议实现，AI 识别出相关问题并判定这些版本未通过验证。报道同时列出多项限制：这一过程需要消耗大量计算资源；目前还无法确定该技术在更大范围推广应用的实际可行性；此次验证针对的是 Signal 加密协议本身，而不是对 Signal 整个应用程序进行全面安全审查；整个分析过程耗时约四周，谷歌尚未公布完成这项工作所需的具体计算资源规模。

AI 根据报道生成 · 53 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。