AI spent four weeks giving Signal's encryption a 'math checkup' -- and proved key properties in the real code for the first time ↗
The Signal protocol protects billions of private conversations, but until now its security had mostly been proven on paper, at the design level, not in the code that actually runs on phones. Google DeepMind said on November 10 that its AI framework AlphaProof Code spent about four weeks formally proving key security properties of Signal's real implementation, work that has historically taken expert teams years. When two real, already-fixed bugs were put back into a test copy, the system proved those versions were insecure. The proofs cover specific expert-reviewed properties, not every part of the Signal app, and the results are DeepMind's own.