Kuantum bilgisayarların gelecekte mevcut şifreleme sistemlerini tehdit etmesi karşısında, araştırmacılar kuantum sonrası şifreleme (PQC) donanımlarının güvenliğini matematiksel kesinlikle doğrulayabilen yeni bir yöntem geliştirdi.
Çalışmada, önceki QANARY adlı framework'ün 1,17 milyon hücre ve 30 modülü kapsayan kapsamlı analizlerinden yola çıkılarak, güvenlik maskelerinin doğrulanması için evrensel bir kanıt sistemi oluşturuldu. Önceki sistemde güvenlik doğrulaması sadece q=5 parametresi için 2^25 Boolean fonksiyon hesaplaması ile yapılabiliyordu.
Yeni geliştirilen yöntem, bu sınırlamayı aşarak ML-KEM (q=3.329) ve ML-DSA (q=8.380.417) gibi NIST standartlarında kullanılan tüm parametre değerleri için geçerli olan matematiksel bir kanıt sunuyor. Bu kanıt, herhangi bir q değeri, herhangi bir kablo fonksiyonu ve herhangi bir gizli anahtar çifti için değer-bağımsızlığının özdeş marjinal dağılımlar sağladığını gösteriyor.
Halka teorisi temelli bu yaklaşım, NIST'in 2025 Mart tarihli IR 8547 raporunda vurgulanan güvenlik açıklarının kapatılması ihtiyacını karşılıyor. Çalışma, kuantum sonrası şifreleme donanımlarının endüstriyel kullanımda güvenliğinin matematiksel olarak garanti edilmesine önemli katkı sağlıyor.