ml-kem

苹果公司发布了其 corecrypto 库中量子安全算法 ML-KEM 和 ML-DSA 的形式化验证方法与工具，提供了正确性的数学证明，并公开了实现以供独立评估。