Google DeepMind's AlphaProof Code verifies Signal's cryptographic core in four weeks
AIGoogle DeepMind has unveiled AlphaProof Code, an AI system that mathematically proves software meets its security specifications. Researchers demonstrated it on the cryptographic core code running on Signal users' devices, work that typically takes years, in four weeks.
Loading source posts…
This story is featured in top picks: “Google DeepMind uses AI agents to formally verify Signal's cryptographic protocol code”
Source details
The Decoder · Manuel Uth · the-decoder.comPublished · added here
Original title: Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years