Apple Security Research 博客·· 2026-05-22AI 评分34
Apple 公布 corecrypto 后量子算法 ML-KEM 与 ML-DSA 的形式化验证方案
A blueprint for formal verification of Apple corecrypto
AI 导读
Apple 随本周 corecrypto 更新公开了量子安全算法 ML-KEM 和 ML-DSA 的实现，以及为证明其符合 FIPS 203 与 FIPS 204 规范而构建的数学证明，供外部专家独立评估。
来源：Apple Security Research 博客 · security.apple.com