谷歌DeepMind智能体完成Signal协议形式化验证，并识别旧版漏洞
11月10日，谷歌DeepMind团队利用具备自主执行能力的AI智能体，对Signal端到端加密协议完成形式化验证，以数学方法证明其安全性。该协议也被WhatsApp和Google Messages采用。
形式化验证旨在证明协议在所有符合既定模型的条件下满足安全要求，而不像传统测试那样只寻找已知漏洞。研究人员还用该方法测试了包含已知安全漏洞的旧版Signal协议实现，AI识别出相关问题，并判定这些版本未能通过形式化验证。
DeepMind强调，此次验证针对Signal加密协议本身，并非对Signal整个应用进行全面的安全审查。整个分析过程耗时约四周，研究基于此前已完成的部分形式化验证成果，其中一些工作未借助人工智能。谷歌未公布所需的具体计算资源规模。
谷歌向《连线》表示，目前还无法确定这项技术在更大范围推广应用的实际可行性。DeepMind研究科学家斯瓦拉特·乔杜里表示，这一结果令人兴奋，但要将技术扩展到全世界所有软件，还有很长的路要走。
- 2026-11-10 21:53 | 新浪：谷歌DeepMind用AI完成Signal协议形式化验证，数学证明其端到端加密可靠性阅读原文
IT之家 11 月 10 日消息，长期以来，Signal 加密协议一直被视为端到端加密消息传递的黄金标准。如今，谷歌 DeepMind 团队利用人工智能，对这一协议的安全性进行了正式验证（Formal Verification）。 据IT之家了解，除了 Signal 应用本身，这套加密协议也被 WhatsApp 和谷歌信息（Google Messages）采用，这项研究成果被描述为“一项具有里程碑意义的进展”。 所谓“形式化验证”，是指通过数学方法，严格证明或证伪某种加密算法或协议是否满足其安全性承诺。与传统测试不同，形式化验证旨在证明协议在所有符合既定模型的条件下都能满足安全要求，而不只...
- 2026-11-10 21:35 | IT之家：谷歌 DeepMind 用 AI 完成 Signal 协议形式化验证，数学证明其端到端加密可靠性阅读原文
IT之家 11 月 10 日消息，长期以来，Signal 加密协议一直被视为端到端加密消息传递的黄金标准。如今，谷歌 DeepMind 团队利用人工智能，对这一协议的安全性进行了正式验证（Formal Verification）。据IT之家了解，除了 Signal 应用本身，这套加密协议也被 WhatsApp 和谷歌信息（Google Messages）采用，这项研究成果被描述为“一项具有里程碑意义的进展”。所谓“形式化验证”，是指通过数学方法，严格证明或证伪某种加密算法或协议是否满足其安全性承诺。与传统测试不同，形式化验证旨在证明协议在所有符合既定模型的条件下都能满足安全要求，而不只是通过测...