DeepMind用AI形式化验证Signal协议代码
热点事件历史事件
DeepMind用AI形式化验证Signal协议代码
3 篇报道3 个报道来源首报4 天前更新
先了解这件事
AI 综述
Google DeepMind 发布并开源 AlphaProof Code 框架，研究人员用它引导 AI 智能体对 Signal 协议实际代码的多项关键密码学保证完成形式化验证。DeepMind 称这是软件安全领域长期被视为重大挑战的进展。 据 Ars Technica 报道，该项目以概念验证形式在四周内完成，范围有限，未验证整个 Signal 移动应用；DeepMind 研究人员称这只是更大进程中的一个里程碑。分析未在所检查的 Signal 协议代码部分发现新漏洞，但用于含已知且早已修复漏洞的旧版 Signal 时，AlphaProof Code 正确识别出这些漏洞，并显示该协议无法通过形式化验证。
AI 根据报道生成 · 4 天前更新
最新进展11月12日 02:18
Google DeepMind 的 AlphaProof Code 四周内验证 Signal 加密核心代码报道时间线
沿着报道，了解事件的不同侧面。
11月12日
- The Decoder精选Google DeepMind 的 AlphaProof Code 四周内验证 Signal 加密核心代码
Google DeepMind 公布 AlphaProof Code，这套 AI 系统在四周内完成了 Signal 加密协议核心代码的数学验证，而这类工作通常需要数年。
11月11日
- Ars Technica · AIGoogle DeepMind 用 AlphaProof Code 形式化验证 Signal 协议关键密码学保证
Google DeepMind 研究人员用智能体 AI 对 Signal 协议的多项关键密码学保证完成形式化验证，项目以概念验证形式在四周内完成，使用的是名为 AlphaProof Code 的新 AI 框架。
11月10日
- Google DeepMind精选Google DeepMind 发布 AlphaProof Code，用 AI 智能体形式化验证 Signal 协议代码
Google DeepMind 发布 AlphaProof Code，一个结合人类专家与多 LLM 智能体的形式化验证框架，首次用 AI 对广泛部署的 Signal 协议实际代码做深度形式化验证。