微新创想：2026年5月22日，苹果公司在GitHub上线了corecrypto加密库的开源代码。这一举动标志着苹果在加密技术领域的持续投入与创新，同时也为iOS、macOS等系统底层安全框架提供了更强大的支持。
corecrypto加密库集成了ML-KEM与ML-DSA两大后量子算法，分别符合FIPS 203与FIPS 204标准。这些算法旨在应对未来可能出现的量子计算对传统加密方式的威胁，确保数据在量子时代依然安全。
苹果自2024年起便开始推进后量子密码技术的应用，此次开源是其长期战略的一部分。此前，苹果已在iOS 17.4版本中通过PQ3协议为iMessage引入了量子安全保护，进一步强化了用户通信的安全性。
为了确保corecrypto加密库的实现可靠性，苹果在仓库中同步发布了形式化验证工具链、Cryptol-to-Isabelle转换器以及相关配套论文。这些工具和资源为开发者提供了更全面的验证手段，包括测试、模拟、独立审查和形式化验证，从而提升整个系统的安全性和稳定性。