Apple Merilis Verifikasi Formal untuk Algoritma Kripto Quantum
Judul asli: A blueprint for formal verification of Apple corecrypto
Mengapa Ini Penting
Menunjukkan komitmen Apple dalam keamanan siber dan transparensi teknologi kripto
Apple menerbitkan implementasi algoritma quantum-secure ML-KEM dan ML-DSA dalam corecrypto, lengkap dengan bukti matematis untuk verifikasi formal. Library kripto ini digunakan di 2,5 miliar perangkat aktif Apple.
Apple merilis corecrypto dengan implementasi algoritma quantum-secure ML-KEM dan ML-DSA yang telah diverifikasi secara formal sesuai spesifikasi FIPS 203 dan FIPS 204. Perusahaan juga mempublikasikan library dan tools verifikasi formal untuk evaluasi independen oleh para ahli. Corecrypto merupakan library kriptografi fundamental dalam sistem operasi Apple yang menyediakan enkripsi, dekripsi, hashing, dan tanda tangan digital di lebih dari 2,5 miliar perangkat aktif. Apple menerapkan kriteria ketat untuk algoritma baru: meningkatkan keamanan, desain aman, performa tinggi, dan parameter kompak. Implementasi harus aman, dioptimalkan, dan benar secara matematis. Transisi ke kriptografi quantum-secure dimulai dengan pengenalan pada iMessage untuk melindungi pengguna dari ancaman komputer quantum masa depan.