News Summary

• Apple today published new corecrypto source code on GitHub, alongside a detailed technical post explaining the intricate work behind its post-quantum cryptography efforts.
• The repository also includes Apple’s implementations of ML-KEM and ML-DSA, as well as tests, performance tools, build targets, and a dedicated formal verification folder.
• Alongside the repository, Apple also published a very detailed look at how it verified this code before making it available for outside review, and why it is releasing today's material.