libsignal

DeepMinds AlphaProof Code Verifies Signal in 4 Weeks

By Sutopo

8 Min Read

DeepMind's AlphaProof Code formally verified selected cryptographic guarantees in Signal's shipping libsignal library in roughly four weeks, using Lean 4.