蘋果OS新推出的基礎密碼學程式庫內建兩種量子安全演算法，並推出形式驗證工具 發佈日期: 27 5 月, 2026 作者: wellchen2020 上週五，在蘋果的安全工程與架構團隊（SEAR）與硬體技術正式驗證團隊的合作之下，針對作業系統發布新的基礎密碼學程式庫corecrypto，當中實作兩種量子安全演算法：ML-KEM、ML-DSA，以及該公司建立的數學證明，以確保它們符合FIPS 203與FIPS 204這兩種美國聯邦資訊處理標準的要求，供專家獨立評估