GoKawiilDeepMind AI tool formally verifies key cryptographic guarantees in Signal protocol
Google DeepMind researchers used an agentic AI system called AlphaProof Code to mathematically prove several cryptographic guarantees underlying the Signal protocol, which secures messaging on Signal, Google Messages and WhatsApp. The four-week project found no new vulnerabilities but covered only part of the protocol, not the full Signal mobile app.