上海
代码发布：据9to5Mac于2026年5月22日报道，苹果公司当日正式在GitHub平台上发布了全新的corecrypto源代码库。此举旨在向全球密码学界分享其在抗量子密码学领域的最新进展，并鼓励更广泛的采用与关键性审查。
技术演进：苹果的抗量子安全工作始于2024年随iOS 17.4推出的iMessage PQ3协议。此次公开的代码库包含了corecrypto底层加密库的源码，该库为苹果的安全框架和CryptoKit提供支持。此外，代码库中还涵盖了苹果选用的ML-KEM与ML-DSA两种抗量子算法的实现，以及测试工具和形式化验证文件夹。
验证保障：在发布代码的同时，苹果详细阐述了其严密的代码验证过程。由于现有工具无法完全满足跨不同苹果芯片架构的验证需求，苹果开发了定制化的方法，结合了常规测试、模拟与独立审查。苹果表示，这一形式化验证流程成功发现了早期ML-DSA实现中的一个遗漏步骤，避免了可能导致密码计算静默损坏的潜在风险。
开源支持：为协助安全研究人员评估与复现其工作，苹果还同步提供了相关支持材料。其中包括详述其验证方法的论文、定制的Cryptol-to-Isabelle转换工具，以及核心密码源码归档中的Isabelle理论文件，以确保其实现符合NIST的FIPS 203与FIPS 204标准。
参考链接:
https://9to5mac.com/2026/05/22/apple-shares-iphone-and-mac-post-quantum-cryptography-code-on-github/
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
