infrastructurefactbullishSymCrypt is releasing verified code, specs, properties, and proofs for SHA-3 and ML-KEM post-quantum cryptographyMicrosoft Research28 Jul 2026https://www.microsoft.com/en-us/research/blog/verifying-rust-cryptography-in-symcrypt-from-standards-to-code/