苹果发布抗量子加密代码

Apple has open-sourced a set of quantum- resistant cryptographic tools, including implementations of advanced encryption algorithms and the verification systems used to prove their correctness. The move makes both the code and its underlying mathematical validation methods available for independent review and adoption across the industry. The release centers on two post-quantum cryptography standards—ML-KEM and ML- DSA—alongside formal verification libraries designed to ensure the algorithms behave exactly as intended. By publishing not just the implementations but also the tools used to validate them, Apple is extending its contribution beyond deployment into the broader security research ecosystem. …