devtake.dev — #cryptographyArticles tagged cryptography on devtake.dev.https://devtake.dev/en-usApple shipped formal proofs for its post-quantum crypto. 2.5 billion devices now run verified code.https://devtake.dev/article/apple-corecrypto-formal-verification/https://devtake.dev/article/apple-corecrypto-formal-verification/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.Sat, 23 May 2026 09:15:00 GMTsecurityapplecorecryptopost-quantumcryptographyformal-verificationsecurityml-kemluca-reinhardtGnuPG 2.5.19 lands ML-KEM in mainline. Post-quantum OpenPGP is no longer a side branch.https://devtake.dev/article/gnupg-post-quantum-mainline/https://devtake.dev/article/gnupg-post-quantum-mainline/Werner Koch shipped GnuPG 2.5.19 on April 24 with FIPS-203 ML-KEM, the first stable post-quantum encryption algorithm in OpenPGP. Here's what changed and what didn't.Sun, 26 Apr 2026 11:00:00 GMTsecuritygnupgopenpgppost-quantumml-kemcryptographysecuritykyberencryptionluca-reinhardtGoogle just moved 'Q-Day' to 2029. Here's what that changes for your crypto stackhttps://devtake.dev/article/google-q-day-2029-post-quantum-deadline/https://devtake.dev/article/google-q-day-2029-post-quantum-deadline/Google's security team says cryptographically-relevant quantum computers could arrive by 2029, six years before the NSA's 2031 deadline. What to migrate, and in what order.Wed, 15 Apr 2026 17:00:00 GMTwebquantum-computingcryptographypost-quantumgooglesecuritytlsluca-reinhardt