Security·
Apple shipped formal proofs for its post-quantum crypto. 2.5 billion devices now run verified code.
Apple's SEAR team published formal verification proofs for corecrypto's ML-KEM and ML-DSA implementations. 50,000 proof steps cover 2.5 billion active devices.