Google DeepMind researchers say they have formally verified that the Signal encryption protocol works as intended, using a new AI tool. The work is presented as a way to increase confidence in security-critical software, and DeepMind plans to open-source its AlphaProof Code for broader use.
Multiple outlets describe the protocol as a widely trusted end-to-end encryption standard. They note that the same underlying approach is used beyond Signal, including in WhatsApp and in Google Messages, and position the verification as a significant development for messaging security. Wired adds that DeepMind’s longer-term aspiration goes beyond messaging, with researchers looking toward verification of larger bodies of software.
While all three reports align on the core claim—formal verification of the Signal protocol—the emphasis differs. ZDNet foregrounds the idea that the new tool “proved” encryption works and links it to plans to open-source code, while 9to5Mac and Wired focus more directly on the nature of the verification and the protocol’s broader relevance across apps.
