Google DeepMind unveils AlphaProof Code, formally verifying Signal's core crypto code

Introducing AlphaProof Code: a breakthrough in verifying complex software at depth

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.

Why it matters: DeepMind pushes Signal's formal verification from protocol design down to real code, covering the design-to-implementation gap where bugs tend to hide.