Google DeepMind

AlphaProof Code verifies Signal all the way down to machine code

AlphaProof Code verified key security properties in Signal's compiled code with 6.5 million lines of Lean proofs. Here is what the breakthrough proves -…