Diyhedral Coset Problemi için kuantum algoritması iddiası: ML-KEM ve ML-DSA neden henüz kırılmış değil?

Simon’ın çalışması ne iddia ediyor?

DCP, kabaca, gizli bir grup yapısına ilişkin kuantum örneklerinden saklı bilgiyi geri çıkarma problemidir. Problem, uzun süredir kafes problemleriyle bağlantısı nedeniyle kuantum sonrası kriptografi açısından önem taşıyor.

Simon’ın ön çalışmasındaki temel iddialar şöyle:

• DCP için polinom zamanlı çözücü: Algoritmanın DCP’yi kuantum bilgisayarda problem boyutunun bir polinomu kadar sürede çözdüğü öne sürülüyor .
• Yirmi yıllık teorik boşluğun kapatılması: Oded Regev’in 2002’deki çalışması, kafes problemleriyle DCP arasında bir indirgeme bağlantısı kurmuştu. Simon’ın sonucu doğruysa, yaklaşık 2004’ten beri açık kalan bu zincirin eksik halkasını tamamlayabilir .
• Yeni teknik yaklaşım: Çalışma, önceki yaklaşımlarda kullanılan kritik bir kehanet mekanizmasının yerine, gizli alt grup bilgisini çıkarmaya yönelik “blok ve sorgu” tekniği öneriyor .
• Kafes problemlerine olası sonuçlar: Makaleye göre algoritma, Regev’in indirgemesi ile Brakerski, Kirshanova, Stehlé ve Wen’in geliştirmelerini birleştirerek kısa vektör problemi (SVP) için polinom faktörlü yaklaşım ve Hatalarla Öğrenme (LWE) gibi kafes problemlerinde polinom zamanlı kuantum algoritmalarına yol açabilir .

Çalışma ayrıca, hatalı örnek oranının en fazla yaklaşık 1/O(log n) seviyesine kadar tolere edilebileceğini savunuyor. Bu iddia doğruysa, DCP algoritması ile söz konusu indirgeme zincirinin birlikte verimli biçimde kullanılabileceği öne sürülüyor .

İddia ne kadar doğrulanmış durumda?

Şimdilik sonuçların güvenilirliği konusunda belirgin bir belirsizlik var.

• Hakem değerlendirmesi yok: Metin “Preliminary Draft” yani “Ön Taslak” olarak etiketlenmiş durumda. Henüz hakemli bir dergide veya konferansta yayımlanmadı .
• Kritik kanıtlar taslak halinde: İlk değerlendirmelerde, ispatın bazı taşıyıcı adımlarının yalnızca taslak biçiminde sunulduğu ve SVP ile LWE’ye ilişkin son sonucun kısmen yayımlanmamış kişisel iletişimlere dayandığı belirtiliyor .
• Bağımsız doğrulama bulunmuyor: Ön baskının ortaya çıkmasının üzerinden geçen ilk günlerde sonucu bağımsız biçimde doğrulayan veya çürüten bir çalışma yayımlanmadı .
• İlk tepkiler şüpheci: Bazı sektör gözlemcileri topluluktaki ilk tepkiyi “yoğun şüphecilik” olarak nitelendiriyor. Bunun temel nedeni, iddianın büyüklüğüyle kanıtların sunuluş biçimi arasındaki fark .

Bu tablo, çalışmanın önemsiz olduğu anlamına gelmiyor. Aksine, iddia doğruysa sonuçları büyük olabilir. Ancak kriptografide büyük sonuçlar, özellikle güvenlik varsayımlarını etkileyen sonuçlar, bağımsız inceleme ve yeniden üretim olmadan kabul edilmiyor.

ML-KEM ve ML-DSA açısından anlamı ne?

Kuruluşların bugün kullandığı veya değerlendirdiği NIST standardı post-kuantum algoritmaları açısından kısa cevap net: Bu ön baskı, mevcut planları değiştirmek için tek başına bir neden sunmuyor .

ML-KEM veya ML-DSA kırılmış değil

Çalışma, ML-KEM’e (FIPS 203) ya da ML-DSA’ya (FIPS 204) karşı uygulanmış bir saldırı içermiyor. NIST’in bu standartlardaki hiçbir parametre kümesinin saldırıya uğradığı gösterilmiş değil .

ML-KEM, anahtar kurulumunda kullanılan Module-LWE tabanlı bir kapsülleme mekanizması; ML-DSA ise dijital imzalar için Module-SIS ve ilişkili kafes varsayımlarına dayanan bir standarttır. DCP’deki bir gelişmenin bu yapılara doğrudan saldırıya dönüşmesi için arada ek teorik adımlar bulunuyor.

“Kafes problemleri” tek bir problem değil

DCP ile genel kafes problemleri arasında bilinen indirgemeler bulunması önemli. Ancak bu bağlantı, otomatik olarak ML-KEM veya ML-DSA’nın kullandığı yapılandırılmış Module-LWE ve Module-SIS varsayımlarının pratikte çözüldüğü anlamına gelmiyor .

Dolayısıyla olası etki, şu aşamada doğrudan operasyonel değil, yapısal ve teorik bir endişe niteliğinde. İddia doğrulanırsa kuantum bilgisayarların bazı kafes problemlerini verimli biçimde çözebileceğine dair teorik kanıt güçlenebilir. Fakat genel kafes problemleri ile NIST standartlarında kullanılan özel yapılandırılmış varsayımlar aynı kategori içinde değerlendirilmemeli .

Önceki çalışmalarla karşılaştırma

Bu alandaki ilerlemeler son yıllarda hızlandı. Bai ve çalışma arkadaşları 2025’te, iki tabanlı modüller üzerindeki DCP’nin sınırlı bir çeşidi olan extrapolated DCP için kuazi-polinom zamanlı bir kuantum algoritması sundu. Çalışma, ilgili yaklaşımın SLWE olarak bilinen bir probleme de uygulanabildiğini belirtiyor .

Simon’ın tam DCP için polinom zaman iddiası, doğru olması halinde bu sonuçların ötesinde büyük bir sıçrama anlamına gelir. Ancak “kuazi-polinom” ile “polinom” arasındaki fark teorik bilgisayar biliminde oldukça önemlidir; bu nedenle iki sonucu birbirinin doğrudan devamı gibi okumak yanıltıcı olur.

Uzman topluluğunun mevcut tutumu

Kriptografi ve post-kuantum güvenlik topluluğunun bugünkü mesajı büyük ölçüde ortak:

• İddia dikkat çekici, ancak kanıtlar ayrıntılı biçimde incelenmeli .
• Kafes tabanlı PQC üzerindeki sonuçlar, yalnızca DCP’nin çözülebilmesine değil, belirli indirgeme zincirlerinin gerçekten çalışmasına bağlı. Bu nedenle etkiler koşullu .
• NIST, akademik laboratuvarlar veya standart kuruluşlarından henüz kapsamlı bir resmî açıklama gelmiş değil. Ön baskının çok yeni olması düşünüldüğünde bu beklenen bir durum .
• Mevcut değerlendirmeler, PQC geçiş takvimlerinin veya ML-KEM ve ML-DSA parametrelerinin hemen değiştirilmesini gerektirmiyor .

Sonuç: Önemli bir iddia, henüz güvenlik olayı değil

Daniel R. Simon’ın ön baskısı, DCP ile kafes tabanlı kriptografi arasındaki uzun süredir açık kalan teorik bir soruya iddialı bir yanıt veriyor. Sonuç doğrulanırsa, kuantum algoritmaları ve kafes problemleri hakkındaki anlayışımızı ciddi biçimde etkileyebilir.

Ancak mevcut kanıt düzeyinde bu çalışma, ML-KEM veya ML-DSA’nın kırıldığı anlamına gelmiyor. Henüz uygulanabilir bir saldırı, bağımsız doğrulama veya NIST parametrelerine yönelik bir ihlal bulunmuyor. Kuruluşlar için en makul yaklaşım, standartları terk etmek değil; ön baskıyı, gelecek bağımsız analizleri ve olası düzeltmeleri yakından izlemek.