Zihinsel model
HAWK vakasında bir kriptanaliz iddiasının nasıl bağımsız olarak doğrulandığını gördün: iddia gerçekti, doğrulandı, HAWK çekildi. Bu ders, tam tersi bir örnek: bir kriptanaliz iddiası ortaya çıktı, ML-KEM/ML-DSA’nın matematiksel temelini teorik olarak ilgilendirebilecek bir iddiaydı, ve bağımsız inceleme sonucunda çürütüldü. İkisi birlikte, “yeni bir iddiayı nasıl takip edersin” sorusunun iki farklı sonucunu gösteriyor.
İddia: Dihedral Coset Problem için polinom-zamanlı bir kuantum algoritması
3 Ağustos 2026'daSOURCED, AWS Cryptography Group’tan Daniel R. Simon (Simon’ın algoritması, kuantum hesaplamanın erken teorik temellerinden birinin yazarı), Dihedral Coset Problem (DCP, kabaca: gizli bir simetriyi bulma problemi, birçok lattice-tabanlı kriptografik yapının teorik güvenliğiyle ilişkili) için polinom-zamanlı bir kuantum algoritması iddia eden bir makale yayımladı (eprint 2026/1591). Bu iddia tek başına ML-KEM/ML-DSA’yı doğrudan etkilemiyordu, ama CRYPTO 2026’da kabul edilen ayrı bir köprü makalesi (Wen ve Zheng, eprint 2026/155), Module-LWE’nin (M2’de gördüğün, ML-KEM/ML-DSA’nın dayandığı problem) yapısal bir Extended DCP (EDCP) ile teorik olarak ilişkilendirilebileceğini gösteriyordu. Bu köprü, DCP’ye yönelik bir kuantum saldırısını (eğer gerçekse) teorik olarak ML-KEM/ML-DSA parametre rejimiyle ilgili hale getiriyordu, doğrudan bir saldırı değil ama izlenmesi gereken bir zincir.
Çürütme: makine-doğrulanmış bir kanıtla
15 Ağustos 2026'daSOURCED, Aparna Gupte (MIT), Seyoon Ragavan (Google/MIT), ve Mark Zhandry (Google/Stanford), Simon’ın algoritmasının DCP’yi çözmediğini gösteren bir makale yayımladı (eprint 2026/1693, “The ePrint:2026/1591 Quantum Algorithm Does Not Solve DCP”). Bu çürütmenin özellikle güçlü olma nedeni, iddianın sadece “biz katılmıyoruz” demek yerine, argümanı Lean 4 adlı bir formal doğrulama sistemiyle makine-kontrollü hale getirmesi: yani çürütmenin mantığı, bir insan hakemin gözden geçirmesine ek olarak, bir bilgisayar programı tarafından da adım adım doğrulandı. Makale 1 Eylül 2026’da revize edildi, ve bu dersin yazıldığı tarih (6 Eylül 2026) itibarıyla her iki makalenin de kendi eprint sayfasında yeni bir revizyon yok, yani tartışma şu an stabil durumda.
Corpus’un kendi temkinli tavrı: bir zamanlama dersi, hata değil
Bu kursun ham kaynak materyali (Day 7/8 belgeleri), 18 Ağustos 2026’da durmuş bir anlık görüntü; o tarihte çürütme (15 Ağustos’ta yayımlanan 1693) henüz sadece 3 günlükti, gözden geçirilmemiş ve doğrulanmamıştı. Corpus’un o anki tavrı, iddiayı “preliminary, unreviewed” (ön izleme, gözden geçirilmemiş) olarak işaretlemekti, ne “kırıldı” ne de “önemsiz” demeden. Bu, tam olarak doğru bir tavırdı, o anki bilgiyle. Bugün, üç hafta sonrasının bilgisiyle, hikayenin bir sonu var: iddia çürütüldü, topluluk konsensüsü (Matthew Green, postquantum.com gibi bağımsız gözlemciler dahil) “hiçbir standartlaşmış algoritma etkilenmedi” yönünde birleşiyor.
Bu ders, corpus’un temkinli tavrını bir hata gibi göstermek yerine, doğru bir metodolojinin canlı bir örneği olarak kullanıyor: bir iddia yeniyken, “henüz doğrulanmadı” demek doğrudur; zaman geçtikçe, o iddianın durumu (doğrulandı, çürütüldü, veya hâlâ belirsiz) değişebilir, ve bir kursun (veya bir bankanın risk raporunun) görevi, o anki en güncel durumu yansıtmak, ilk duyduğu haliyle donmuş kalmamak. Bu, /dogrula gibi periyodik doğrulama alışkanlığının, tek seferlik bir araştırmadan neden daha değerli olduğunun somut kanıtı: kriptografi alanı sürekli hareket eden bir alan, ve bugün doğru olan bir cümle, yarın güncellenmeyi gerektirebilir. Bir sonraki derste, bu kez teorik değil, doğrudan implementasyon seviyesinde gerçekleşmiş saldırıları (side-channel) göreceksin.