My thoughts on PQ migration:
amongbytes.com/posts/202509...

The FIPS 140-3 Go Cryptographic Module Go now has a built-in, native FIPS 140-3 compliant mode.

We announced the new native Go FIPS 140-3 mode today!

FIPS 140, like it or not, is often a requirement, and I was increasingly sad about large deployments replacing the Go crypto packages with non-memory safe cgo bindings.

Go is now one of the easiest and most secure ways to build under FIPS 140.

Three white icons on a gradient background that transitions from blue on the left to pink on the right. The first icon, on the left, is a microchip with a padlock in the center. The middle icon is a flowchart diagram with connected shapes. The third icon, on the right, consists of two angle brackets facing each other.

We're rewriting parts of Microsoft's SymCrypt cryptographic library in Rust to improve memory safety and defend against side-channel attacks, enabling formal verification while maintaining backward compatibility via a Rust-to-C compiler: msft.it/6011SU7Fc

Get ahead with quantum-secure cryptography - WWDC25 - Videos - Apple Developer Learn how to protect your app's sensitive user data from the emerging threat of quantum computing, and safeguard user privacy. We'll...

developer.apple.com/videos/play/...

Trump updated the PQC EO:
www.whitehouse.gov/presidential...

I'm not an author, but I would say it should.

GitHub - pq-code-package/mlkem-native: Secure, fast, and portable C90… | Hanno Becker Formal is Fast! Happy to announce v1 of mlkem-native (https://lnkd.in/gcDHZPzi), a C/ASM implementation of ML-KEM using automated reasoning to bridge assurance, performance, and maintainability. mlk...

ML-KEM v1.0.0
github.com/pq-code-pack...