蘋果corecrypto後量子密碼學程式庫與形式驗證工具發布
蘋果於2026年5月27日由SEAR團隊發布後量子密碼學程式庫 corecrypto 及配套形式驗證工具，已部署於 iMessage、VPN、TLS 網路連線。
後量子演算法
- ML-KEM（FIPS 203）：金鑰封裝機制
- ML-DSA（FIPS 204）：數位簽章演算法
- 附完整數學證明，供獨立安全專家評估
形式驗證工具鏈
使用四種開源工具構成完整形式驗證流程：
- Isabelle — 複雜數學證明
- SAW（Software Analysis Workbench） — 軟體屬性驗證
- Cryptol — 形式語言
- cryptol-to-isabelle — 轉換橋接工具
驗證範圍橫跨 FIPS 規範到最終實作，全面保障正確性。
效能最佳化
利用 Apple Silicon 特性：
- DIT（Data Independent Timing）— 防時序旁路攻擊
- PAC（Pointer Authentication）— 指標認證
意義
蘋果是繼 western-digital（ML-DSA-87 硬碟韌體）、kioxia（NVMe PQC）後，又一重量級廠商在產品層面落實 NIST 後量子密碼學標準。開源 corecrypto 有助業界形成安全實作共識。
相關概念
- WD硬碟韌體後量子數位簽章技術PQC導入 — 同期PQC硬體部署案例
- NVMe協定後量子密碼學PQC規格更新2026 — NVMe PQC標準化進展
來源文章
相關頁面
- apple — Apple 公司頁