Temel Kuantum Fiziği ve Kuantum Teknolojilerine Giriş · 9. Ünite: Kuantum Teknolojileri ve Modern Uygulamalar
Kopyalanamazlık Teoremi ve BB84 Kuantum Anahtar Dağıtımı
Ünite 7'de Shor algoritmasının RSA ve eliptik eğri şifrelemesinin dayandığı çarpanlara ayırma ve ayrık logaritma problemlerini polinom zamanda çözdüğünü gördük. Bu konu madalyonun öbür yüzünü işler: kuantum mekaniği bir anahtarı gizlice kopyalamayı da yasaklar. Önce kopyalanamazlık teoremini doğrusallıktan ve iç çarpımın korunmasından ispatlayacak, sonra bu teoremi bir güvenlik ilkesine çeviren BB84 protokolünü adım adım kuracaksın. Sonunda elenmiş anahtar boyunu, kes-yeniden-gönder saldırısının ürettiği %25'lik hata oranını, saldırganı yakalama olasılığını ve $1 - 2h(Q)$ gizli anahtar kesrini hesaplayabilecek; QKD'nin pratik sınırlarını ve kuantum sonrası kriptografiyle (ML-KEM) ilişkisini tartışabileceksin.
Öğrenme hedefleri
- Bilinmeyen bir kuantum durumunu kopyalayan üniter bir işlemin var olmadığını hem iç çarpım argümanıyla hem doğrusallık argümanıyla ispatlar; CNOT 'klonlayıcısının' kopya sadakatini $(1+\cos^2\theta)/2$ olarak hesaplar.
- BB84 protokolünün kodlama, ölçme, elenme (sifting), parametre kestirimi, hata düzeltme ve gizlilik artırımı adımlarını sırasıyla açıklar ve verili bir bit tablosundan elenmiş anahtarı çıkarır.
- Kes-yeniden-gönder saldırısında beklenen kuantum bit hata oranını $Q = f/4$ (gürültülü kanalda $(f/4)(1-e) + (1-f/4)e$) olarak türetir ve $m$ bit karşılaştırmayla yakalanma olasılığını $1-(1-f/4)^m$ biçiminde hesaplar.
- İkili entropi $h(Q)$ ile gizli anahtar kesrini $r = 1 - 2h(Q)$ hesaplar, yaklaşık %11'lik güvenlik eşiğini yorumlar ve oturumun sürdürülmesi ya da iptali kararını verir.
- Fiber kaybı, zayıf lazer darbeleri, dedektör açıkları ve kimlik doğrulama gereksinimi gibi pratik sınırları; aldatma durumları, MDI-QKD ve E91 gibi yanıtları açıklar.
- Shor algoritmasının açık anahtarlı şifrelemeye tehdidini, QKD ve kuantum sonrası kriptografi (NIST ML-KEM) yanıtlarıyla karşılaştırır.
Konu anlatımı
Bağlam: Anahtar Dağıtımı Problemi ve Kuantum Tehdidi
Kopyalanamazlık Teoremi: İki İspat
BB84 Protokolü Adım Adım
Kes-Yeniden-Gönder Saldırısı ve %25'lik Hata
Güvenlik Eşiği, Hata Düzeltme ve Gizlilik Artırımı
Dolanıklık Tabanlı QKD: E91
Pratik Sınırlar: Kayıp, Kaynaklar ve Dedektör Açıkları
QKD ve Kuantum Sonrası Kriptografi
Çözümlü Örnekler
Sık Yapılan Hatalar ve Kavram Yanılgıları
Anahtar terimler
- Kopyalanamazlık teoremi (no-cloning theorem)
- Bilinmeyen keyfi bir kuantum durumunu $|\psi\rangle|s\rangle \to |\psi\rangle|\psi\rangle$ biçiminde kopyalayan üniter işlem yoktur; yalnızca dik ya da özdeş durumlar aynı makineyle kopyalanabilir.
- BB84
- Bennett ve Brassard'ın (1984) iki karşılıklı yansız tabanda dört durum kullanan kuantum anahtar dağıtımı protokolü.
- Elenme (sifting)
- Tabanlar açık kanaldan duyurulduktan sonra taban uyuşmayan ve algılanmayan sütunların atılması; algılanan bitlerin ortalama yarısı kalır.
- QBER (kuantum bit hata oranı)
- Elenmiş anahtarın karşılaştırılan bitlerinde Alice ile Bob'un uyuşmadığı oran; tam kes-yeniden-gönder saldırısında %25.
- Kes-yeniden-gönder saldırısı (intercept-resend)
- Eve'in her fotonu rastgele bir tabanda ölçüp sonucuna karşılık gelen durumu yeniden göndermesi; kestiği her elenmiş bitte 1/4 hata üretir.
- İkili entropi $h(Q)$
- $h(Q) = -Q\log_2 Q - (1-Q)\log_2(1-Q)$; hata düzeltmede sızan ve Eve'in edinebileceği bilgiyi bit başına ölçer.
- Gizlilik artırımı (privacy amplification)
- Anahtarı evrensel bir özetleme fonksiyonuyla kısaltarak Eve'in kısmi bilgisini silme; BB84'te gizli anahtar kesri $r = 1 - 2h(Q)$, eşik yaklaşık %11.
- E91
- Ekert'in (1991) dolanık çiftlere ve CHSH testine dayanan QKD protokolü; Bell ihlali dinlemeyi ortaya çıkarır.
- MDI-QKD
- Ölçüm cihazından bağımsız QKD: Bell ölçümünü güvenilmeyen orta istasyon yapar, dedektör açıklarına dayanan saldırılar etkisiz kalır.
- ML-KEM
- NIST'in 2024'te FIPS 203 olarak standartlaştırdığı, kafes tabanlı kuantum sonrası anahtar kapsülleme mekanizması.
Örnek soru
Tek bir üniter "kopyalama makinesi" $U|\chi\rangle|s\rangle = |\chi\rangle|\chi\rangle$ işlemini bir kümedeki her durum için yapacak. Aşağıdaki kümelerden hangisi için böyle bir makine kurulabilir?
- $\{|0\rangle,\ |1\rangle\}$
- $\{|0\rangle,\ |+\rangle\}$
- $\{|0\rangle,\ |1\rangle,\ |+\rangle,\ |-\rangle\}$
- $\{|+\rangle,\ |{+i}\rangle\}$
- Bloch küresindeki tüm saf durumlar
Doğru cevap: A
Çözüm
1. İki durumu kopyalayan makine için iç çarpım korunumu $\langle\psi|\varphi\rangle = \langle\psi|\varphi\rangle^2$ verir; bu yalnızca $\langle\psi|\varphi\rangle \in \{0, 1\}$ iken sağlanır.
2. $\langle 0|1\rangle = 0$: dik küme, CNOT bu işi yapar ($|00\rangle \to |00\rangle$, $|10\rangle \to |11\rangle$).
3. $|\langle 0|+\rangle| = |\langle +|{+i}\rangle| = 1/\sqrt2$: ne 0 ne 1, kopyalanamaz. Dört BB84 durumu da dik olmayan çiftler içerir. Doğru cevap $\{|0\rangle, |1\rangle\}$.
BB84 kümesini seçmek, protokolün güvenliğinin tam da bu kümenin kopyalanamamasına dayandığını gözden kaçırmaktır.
Temel Kuantum Fiziği ve Kuantum Teknolojilerine Giriş: tüm konular