Google DeepMind says its AlphaProof Code framework has formally verified the Signal protocol's implementation at machine-code level, generating over six million lines of mathematical proof in. Google DeepMind’s use of AlphaProof Code to formally verify parts of the Signal encryption protocol marks a milestone in the fields of cryptography and AI as well. Google DeepMind's AlphaProof Code formally verified the Signal protocol down to machine code.