Signal 协议
Widely used end-to-end encryption protocol securing private messaging in apps like Signal and Google Messages.
Google DeepMind used autonomous AI agents to formally verify the Signal end-to-end encryption protocol, mathematically proving it meets its security claims while also flagging older implementations with known vulnerabilities. Described as a landmark for both cryptography and AI, the effort took roughly four weeks and heavy compute, limiting near-term scalability.
Google DeepMind introduces AlphaProof Code, an agentic framework that combines human expertise with AI agents to formally verify the actual code of the Signal cryptographic protocol. The milestone extends agentic AI from code generation into deep formal verification, marking a major advance in software security.