蘋果推出 corecrypto 密碼學程式庫，支援量子安全演算法及形式驗證

量子電腦未來可能破解現行公鑰密碼系統，促使科技業導入後量子密碼學。蘋果為強化 iPhone、iPad 與 Mac 作業系統底層安全，發布 corecrypto 基礎程式庫，並以美國國家標準暨技術研究院（NIST）規範及 FIPS 標準為實作依據。

蘋果此次在 corecrypto 納入 ML-KEM 金鑰封裝與 ML-DSA 數位簽章兩項量子安全演算法，兩者均由 NIST 於 2024 年8月正式標準化；公司並同步釋出形式驗證工具與模型，以數學方法檢查程式實作是否符合規格、降低漏洞風險，事件未涉及交易金額。