# Google DeepMind 对 Signal 协议关键密码学保证完成数学验证

> 原标题：Google DeepMind just mathematically verified key parts of Signal

- 来源：Ars Technica · AI
- 发布时间：2026-11-11T14:08:57.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/u2yl03b036v2j8tinh5xqdi6b
- 原文：https://arstechnica.com/ai/2026/11/signals-encryption-just-passed-an-ai-powered-mathematical-checkup/

## 摘要

Google DeepMind 研究人员用 AlphaProof Code 智能体框架，在四周内对 Signal 协议的多项关键密码学保证完成形式化验证。研究未在所检查部分发现新漏洞，并在含有已知且早已修复漏洞的旧版本中正确识别问题，判定其无法通过形式化验证。验证范围不涵盖整个 Signal 移动应用，研究人员正公开此次分析的规范与证明，以支持其他形式化验证工作。