DeepMind’s AlphaProof Code Proves Signal’s Crypto Core in Four Weeks, Not Years
Google DeepMind has achieved a milestone in software security: its new AI system, AlphaProof Code, formally verified critical cryptographic guarantees of the Signal protocol in roughly four weeks—work that has traditionally consumed years of expert effort. The verification targeted libsignal, the open-source library at the heart of Signal, and extended down to the compiled 64-bit … Read more