Google DeepMind Uses AI to Verify Signal's Encryption Protocol

The Signal encryption protocol has long been seen as the gold standard for end-to-end encrypted messaging. WhatsApp and Google Messages both use it to keep chats safe. Google's DeepMind team used AI agents to formally verify the Signal protocol, meaning they used math to strictly prove the protocol meets its security promises. The work is being called a milestone.

The analysis took about four weeks and used a lot of computing power. The team also tested an older version of the protocol with known security flaws. The AI found those problems and marked the old versions as failing the check.

Researchers stressed that the verification only covered the protocol itself, not the whole app, and scaling the technology to all software worldwide will take time. AI could help prove through strict math whether software security truly holds up.