DeepMind验证Signal部分密码学安全保证

Google DeepMind 团队使用智能体AI工具 AlphaProof Code，在4周内形式化验证了Signal协议的多项关键密码学安全保证；受检部分未发现新漏洞，并识别出旧版本中已知且已修复的漏洞。 此前报道将其概括为Signal加密协议按设计意图安全运作；后续报道明确限定了结论范围：分析未覆盖整个Signal移动应用。研究团队公开了协议规范和证明，并将该次分析作为免费研究项目开展；“验证全世界软件”仍是延伸目标，并非已完成成果。

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

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