genai / news / / LinkedIn
科技巨頭釋出密碼學工具、數學證明及驗證系統供獨立審查。
蘋果開放原始碼其後量子密碼學、數學證明及 Corecrypto 的驗證工具。
重點
- 蘋果在現有產業工具無法滿足需求後，自行建立了客製化的形式驗證框架。
- 形式驗證過程發現蘋果 ML-DSA 實作中傳統測試未能捕捉的錯誤。
- 外部研究人員現在可以獨立重現並審核蘋果的密碼分析與數學證明。
- 蘋果與 Galois 合作開發連結 Cryptol 模型、C 程式碼及 FIPS 標準合規性的工具。
相關公司
由 Newsio 自 LinkedIn 摘要整理。 摘要方式說明 →