DeepMind's AlphaProof Code formally verifies Signal's core crypto
What happened
On November 10, 2026, Google DeepMind presented AlphaProof Code, a multi-LLM agent framework it says formally verified key security properties of Signal's core cryptographic code in four weeks. Ars Technica reported on November 11 that the checked portion held no new vulnerabilities. The framework correctly flagged a known, long-fixed bug in an older version as failing verification. The work does not cover the whole Signal mobile app, and the researchers are publishing the spec and proofs. The Decoder added on November 12 that such verification usually takes years. After experts defined the security requirements, agents built on Gemini Carbon wrote over 6 million lines of Lean proof code and flagged about 1% of the codebase for human review.
Written by AI from the coverage · updated 7 hours ago
Coverage
Follow the reports to see the story from different sides.
- The DecoderGoogle Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years
Google DeepMind 推出 AlphaProof Code，在 4 周内完成了通常需要数年的 Signal 密码核心代码形式化验证。专家定义安全要求后，基于 Gemini Carbon 的 AI 智能体编写了超过 6000000 行 Lean 证明代码，并将约 1% 的代码库标记为需要人工审查。
- Ars Technica · AIGoogle DeepMind just mathematically verified key parts of Signal
Google DeepMind 研究人员用 AlphaProof Code 智能体框架，在四周内对 Signal 协议的多项关键密码学保证完成形式化验证。研究未在所检查部分发现新漏洞，并在含有已知且早已修复漏洞的旧版本中正确识别问题，判定其无法通过形式化验证。验证范围不涵盖整个 Signal 移动应用，研究人员正公开此次分析的规范与证明，以支持其他形式化验证工作。
- Google DeepMindPickGoogle DeepMind unveils AlphaProof Code, formally verifying Signal's core crypto code
Google DeepMind published AlphaProof Code, a multi-LLM agent framework that formally verified key security properties of Signal's core cryptographic code in four weeks. The work moves formal verification from the protocol design to the actual implementation.
Heat over time
Heat now 19·Comparable peak 22（Nov 12 04:00）·Comparable change over 24 hours +176%
The trend only compares accounts observed without gaps, so its range may be smaller than the current heat. Hover or tap the chart for each hour; the left and right arrow keys step through it.