Apple publishes materials and code samples on post-quantum encryption

Low-level library powers iMessage encryption

Apple publishes cryptography library materials and source code with support for encryption algorithms resistant to quantum computing.

https://security.apple.com/blog/formal-verification-corecrypto/

Apple also provides formal verification for the implementation.

It should be noted that quantum-secure algorithms are already available for third-party developers via CryptoKit.

Apple Security Research: A blueprint for formal verification of Apple corecrypto

GitHub: corecrypto

References:

• Apple shares iPhone and Mac post-quantum cryptography code on GitHub

• How Apple turned to math to defend against next-gen attacks on encryption