DeepMind 发布 AlphaProof Code，四周验证 Signal 协议代码安全

2026 年 11 月 10 日，Google DeepMind 通过官方博客发布 AlphaProof Code，介绍其为一个多模型智能体形式化验证框架。官方称，该框架用时四周，对 Signal 协议的实际实现代码完成了数学级安全验证；该协议用于保护 Signal 与 Google Messages 中的数十亿条私密对话。Google DeepMind 表示，这是首次有方法对广泛部署协议的实现层开展形式化验证，验证对象是协议的实际实现代码。同日晚些时候，IT之家刊文跟进报道称，DeepMind 团队利用具备自主执行能力的 AI 智能体，对被视为端到端加密黄金标准的 Signal 协议完成形式化验证，以数学方法严格验证其安全性，并将成果描述为一项具有里程碑意义的进展。两篇报道说法一致，未见矛盾。目前事件仍处于发布初期，信息来自官方一手博客及媒体转述，尚无第三方独立评估或后续进展披露。

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

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