蘋果OS基礎密碼學程式庫內建兩種量子安全演算法，並推出形式驗證工具
核心內容
蘋果在最新版本的基礎密碼學程式庫 corecrypto 中，內建了兩種量子安全演算法：ML-KEM 與 ML-DSA，並透過自研形式化驗證工具確保其安全性。
技術細節
- ML-KEM 提供兩種參數選項：ML-KEM 768 與 ML-KEM 1024，適用於不同安全需求。
- ML-DSA 提供 ML-DSA-65 與 ML-DSA-87 兩種參數，用於數位簽章與身份驗證。
- 蘋果開發並公開了形式化驗證工具，用以檢驗後量子加密方案的正確性與安全性。
- 所有演算法的實現均經過數學證明，符合美國聯邦資訊處理標準 FIPS 203 與 FIPS 204。
來源與公開資訊
相關資訊來自蘋果官方與第三方媒體報導，包括在 GitHub 上發布的 corecrypto 來源碼與驗證材料，內容涵蓋演算法實現、測試工具與技術論文。
搜狐：蘋果發布底層加密庫，推進iPhone / Mac後量子安全
分類
14：科技