Google DeepMind 的 AlphaProof Code 四周验证 Signal 加密核心
Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years
Google DeepMind 发布 AlphaProof Code，用 AI 对软件是否满足安全规格做数学证明，并在 Signal 加密协议上完成验证，耗时四周，而这类工作通常需要数年。
同一新闻，精选展示《Google DeepMind 用 AlphaProof Code 对 Signal 协议机器码完成形式化安全验证》
2026年11月11日
Google Deepmind 推出了 AlphaProof Code，这是一个能够以数学方式证明软件无错误地满足其安全规范的 AI 系统。研究人员在 Signal 的加密协议上演示了这项技术，仅用四周就完成了通常需要数年才能完成的工作。据 DeepMind 研究人员 Pushmeet Kohli 和 Swarat Chaudhuri 的博客文章称，此前的验证工作止步于理论设计阶段。AlphaProof Code 验证了运行在用户设备上的实际加密核心代码。在专家定义了正式的安全要求后，基于 Gemini Carbon 构建的 AI 智能体用 Lean 证明语言编写了超过六百万行代码，并标记出约百分之一的代码库供人工审查。为测试而故意植入的两个漏洞被立即发现。
Signal 首席技术官 Ehren Kret 表示，随着 AI 威胁日益增长，这种方法增强了对数据隐私的信任。DeepMind 计划通过 CodeMender 等系统将该方法扩展到电网和医疗设备领域。
无炒作 AI 新闻——由人工精选
订阅 THE DECODER，享受无广告阅读、每周 AI 新闻通讯、每年六期独家“AI Radar”前沿报告、完整档案访问权限以及评论区访问权限。
来源：The Decoder · the-decoder.com