热点事件观察中
谷歌DeepMind用AI完成Signal协议形式化验证
1 篇报道1 个报道来源2 天前更新
先了解这件事
AI 综述
2026年11月10日，据IT之家报道，谷歌DeepMind团队宣布利用AI智能体对Signal加密协议完成形式化验证，即用数学方法证明其端到端加密在既定模型下满足安全要求。Signal协议同时被WhatsApp和谷歌信息采用。报道称，整个验证分析耗时约四周，过程中消耗了大量计算资源。需要说明的是，此次验证仅覆盖协议本身，而非Signal应用整体。在测试中，AI对含已知漏洞的旧版实现进行检验时成功识别出了这些问题。研究基于部分已有的验证成果展开，谷歌方面表示，将此方法推广的可行性尚不确定。目前无其他后续报道。
AI 根据报道生成 · 2 天前更新
最新进展11月10日 21:35
谷歌DeepMind宣布AI耗时约四周完成Signal协议形式化验证，推广可行性尚不确定。报道时间线
沿着报道，了解事件的不同侧面。
11月10日
- IT之家谷歌 DeepMind 用 AI 完成 Signal 协议形式化验证
谷歌 DeepMind 团队宣布利用 AI 智能体对 Signal 加密协议完成形式化验证，用数学方法证明其端到端加密在既定模型下满足安全要求，该协议也被 WhatsApp 和谷歌信息采用。分析耗时约四周，过程消耗大量计算资源，且仅验证协议本身而非 Signal 应用整体；测试含已知漏洞的旧版实现时 AI 成功识别问题。研究基于部分已有验证成果，谷歌表示推广可行性尚不确定。
本事件热度走势
当前热度 3·可比范围峰值 10（11月10日 22:00）·近 24 小时可比范围变化 -51%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。