Apple ने corecrypto के लिए formal verification तकनीक प्रकाशित की
मूल शीर्षक: A blueprint for formal verification of Apple corecrypto
यह क्यों महत्वपूर्ण है
quantum computing के बढ़ते खतरे से cryptographic security को मजबूत बनाने की दिशा में महत्वपूर्ण कदम है।
Apple ने अपनी corecrypto cryptographic library के लिए formal verification methods प्रकाशित की हैं। इसमें quantum-secure ML-KEM और ML-DSA algorithms शामिल हैं जो 2.5 बिलियन active devices पर उपयोग होती हैं।
Apple ने अपनी foundational cryptographic library corecrypto के लिए formal verification की नई तकनीक प्रकाशित की है। कंपनी ने quantum-secure ML-KEM और ML-DSA algorithms के implementations को FIPS 203 और 204 specifications के साथ mathematical proofs सहित जारी किया है। यह iMessage में quantum-secure cryptography के deployment का हिस्सा है जो भविष्य के quantum computers के खतरों से सुरक्षा प्रदान करता है। corecrypto library का उपयोग Apple के 2.5 बिलियन से अधिक active devices पर encryption, decryption, hashing, random number generation और digital signatures के लिए होता है। Apple Security Engineering and Architecture (SEAR) team द्वारा विकसित यह formal verification tools और libraries भी प्रकाशित की गई हैं। कंपनी ने बताया कि नए cryptographic algorithms को शामिल करने के लिए security improvement, secure design, high performance और compact parameters के strict criteria का पालन करते हैं। Apple CryptoKit में quantum-secure APIs भी developers के लिए उपलब्ध हैं।