Google DeepMind says it formally verified the Signal protocol's production code in a month

Google DeepMind says it formally verified the machine code underlying the Signal messaging protocol, a first for widely deployed production code at this depth. The effort used AlphaProof Code, an agentic formal-verification framework running on LLMs including Gemini Carbon, and was completed in about a month, versus what the author says could take teams decades of combined effort. DeepMind is open-sourcing its formal specifications and verification artifacts. The author credits Signal's partnership and names team members including Swarat Chaudhuri and Jonathan Katz.

✨ AI summary of the linked source — not editorial content.

Explore the topic

• Google