Bilinmeyen Şeyi Bilmek Aslında Çok Güçlü
Tuhaf bir gerçek var: matematikçiler neredeyse yüz yıldır biliyorlar ki matematiğin de sınırları vardır. Doğru olan ama hiçbir zaman kanıtlanamayacak şeyler vardır. Bazı sorulara matematik kesin bir cevap veremez. Tarih boyunca bu kötü bir haber gibi görünmüştür — sanki sistemde bir kusur varmış gibi.
Ama sonra biri harika bir fikir bulmuş: ya bu bilinmeyeni silah olarak kullansak?
İşte tam da bu oluyor. Kriptograflar bir şeyi bildiğini kanıtlamanın yolunu düşünmeye başladığında, gerçekten o şeyi açığa çıkarmadan. Bu sessiz sedasız, çevrimiçi gizlilik dünyasını değiştirdi.
Üç Renk Problemi (Her Şeyi Açığa Çıkaran)
Düşün ki çok başarılı bir bulmaca çözücüsüsün. Karmaşık bir harita üzerinde sadece üç renkle çalıştın — hiçbir komşu bölge aynı renkte değil. Gerçekten zor bir şey ama yaptın.
Şimdi mesele şu: bunu çözdüğünü kanıtlamak istiyorsun ama çözümünü açıklamak istemiyorsun. Neden? Belki değerli bilgi. Belki çalışmanı korumak istiyorsun. Belki de o kişiye güvenmiyorsun.
Uzun süre insanlar bunun imkânsız olduğunu düşündü. Ya çalışmanı gösterirsin ya da göstermezsin. Ortada bir yol yoktu.
Sıfır Bilgi Kanıtı Sahnede
1985'te üç kriptograf (Shafi Goldwasser, Silvio Micali ve Charles Rackoff) şaşırtıcı bir şey keşfetti: kanıt sunmanın bir oyuna dönüştürülebileceği.
Şöyle işliyor:
Haritanı kendi istediğin gibi renklendirdin. Sonra bölgeleri kapatıyorsun, sadece sınırlar görünüyor. Şüpheci arkadaşın rastgele bir sınırı işaret ediyor ve diyor ki "bunu gözümde aç." İki bölgeyi açıyorsun. Kontrol ediyor: renkler farklı mı? Evet? Tamam. Hemen her şeyi kapatıyorsun ve tüm renkleri gizlice karıştırıyorsun.
Sonra tekrar oynuyorsunuz. Tekrar. Belki yüz kez.
Her seferinde arkadaşın rastgele bir sınır seçiyor. Her seferinde, eğer yalan söylüyor olsaydın (üç renkle gerçekten yapılmış bir harita yoksa), yakalanma ihtimalin vardır. Ama tüm kontrolleri geçmeye devam ettikçe, sonunda tamamen ikna olur. Çözümünü hiç görmedi. Sadece onu bildiğini sürekli görmüştür.
İşte sihrin burada olması. Birini birşey hakkında ikna ettin ama hiçbir şey açığa çıkarmadın. Sır yok. Bilgi taşınmadı. Sadece mantığa aykırı ama gerçek bir kanıt.
Gotcha (Ve Bu Neden Önemli)
Yıllar boyunca herkes bu gidip geliş oyununun zorunlu olduğunu düşündü. Mantık şuydu: eğer birini bir belge verirsen, onu okur ve tüm sırlarını ortaya çıkarır. Şifrelerisen de doğru olup olmadığını kontrol edemez.
1994'te Oded Goldreich ve Yair Oren bunu matematik olarak kanıtladı. Bu sezginin doğru olduğunu gösterdiler. İnteraktif olmayan bir sıfır bilgi kanıtı yoktur. En azından öyle sanılıyordu.
Beklenmedik Dönüş
Sonra Rahul Ilango adında bir doktora öğrencisi ortaya çıkıp çıldırtıcı bir şey yaptı: bunu tamamen farklı bir alanla bağladı — Gödel'in eksiklik teoremleri, 1931'den o ünlü sonuç. Matematiğin kendisinin içinde bilinmeyenleri hakkında.
Gödel kanıtlamıştı ki herhangi bir matematik sisteminde, o sistem içinde kanıtlanamayan doğru ifadeler vardır. Matematiğin derin, varoluşsal bir gerçeği bu: kurallar eksiktir. Kesin olarak bilemediğimiz şeyler vardır.
Ilango'nun bakış açısı deha sırasındaydı: ya sıfır bilgi kanıtlarını bu matematiksel imkânsızlıkların üstüne kursak?
Sırrı hesaplama zorluğuna değil, matematiğin temel yapısına dayatarak, Ilango insanların imkânsız olduğunu düşündüğü şekillerde çalışan yeni bir sıfır bilgi kanıtı oluşturdu. Gizlilik karmaşıklıktan gelmiyor. Matematiğin nasıl işlediğinden geliyor.
UCLA'daki büyük kriptograf Amit Sahai, Ilango'nun makalesini ilk okuduğunda tepkisi temelde "mümkün değil" idi. İmkânsız görünüyordu. Ama çalıştı.
Bu Neden Önemli
Çoğumuz şifreler ve çevrimiçi güvenlik arkasındaki matematiği düşünmüyoruz. İstediğimiz şey eşyalarımızın gizli kalması. Ama pratik uygulamalar gerçekten önemli.
Sıfır bilgi kanıtları şu gibi şeyler için araştırılıyor:
- Blokzincir doğrulama: İşlemlerin geçerli olduğunu kanıtlamak, tutarları ve kimlikleri açıklamadan
- Kimlik doğrulama: Şifreyi hiç göndermeden bildiğini kanıtlamak
- Gizliliğe saygılı yapay zeka: Bir algoritmanın çalıştığını kanıtlamak, verileri göstermeden
Ve eğer bu kanıtları daha verimli ve esnek hale getirebilirsek (Ilango'nun işi öyle görünüyor), güvenli tutarken güvenilir olduğumuzu kanıtlamak için tamamen yeni olasılıklar açarız.
Daha Geniş Perspektif
Gerçekten aklımı şaşırtan şey, matematiğin ve bilimin farklı alanlarının birden bire nasıl bağlandığını göstermesi.
Gödel 1931'de matematiksel gerçeğin felsefi sınırları hakkında düşünüyordu. Kriptograflar 1985'te gizlilik hakkında düşünüyordu. Hiç kimse on yıllar boyunca bu noktaları birleştirmedi. Ama her zaman bağlantılı olmaları gerekiyordu — sadece birinin görmesine ihtiyaç vardı.
Düşündürücü olan şey şu: en güçlü buluşlar beklenmedik yerlerden geliyor. Bazen daha iyi sırrlar kurmak için soyut bir mantıkçı gibi düşünmen lazım. Bazen bilinmeyen bir hata değil — bütün özellik bu işte.
Çok şirin, diyebilirim.