Sıfır bilgi ispatı (ZKP), bir tarafın karşı tarafa bir iddianın doğru olduğunu, iddianın dayandığı sırrı ise hiç paylaşmadan kanıtlamasına imkân veren bir protokoldür. Kanıtlayan taraf bir parolaya, özel anahtara ya da kimlik bilgisine sahip olduğunu gösterir; doğrulayan taraf bunun doğruluğuna ikna olur ama sırrın kendisini asla görmez.

Bilgiyi ifşa etmeden bilginin varlığını ispatlamak: sıfır bilgi ispatının tek cümlelik özü budur.

Klasik bir örnek, iki farklı renkteki topu ayırt edemeyen renk körü bir doğrulayıcıya toplların gerçekten farklı olduğunu göstermektir. Kanıtlayan, arkasında topların yerini gizlice değiştirir ya da aynı bırakır; doğrulayıcı her turda değişip değişmediğini sorar. Tek turda tesadüfen doğru bilme ihtimali yüzde ellidir, ama yeterince tur tekrarlandığında yanlış bir iddianın tutması istatistiksel olarak imkânsız hâle gelir. İşte bu ardışık meydan okuma mantığı, dijital protokollerin de temelini oluşturur.

Bir İspatı Geçerli Kılan Üç Özellik

Bir protokolün sıfır bilgi sayılabilmesi için üç koşulu birlikte sağlaması gerekir. Bu özellikler, sistemin hem güvenilir hem de gerçekten sır saklayan bir yapı olmasını garanti eder.

• Sağlamlık (completeness): İddia doğruysa ve iki taraf da protokolü dürüst izliyorsa doğrulayıcı mutlaka ikna olur.
• Güvenilirlik (soundness): İddia yanlışsa, hileci bir kanıtlayıcı doğrulayıcıyı yalnızca ihmal edilebilir bir olasılıkla kandırabilir.
• Sıfır bilgi (zero-knowledge): Doğrulayıcı, etkileşim boyunca iddianın doğruluğu dışında sırra dair hiçbir yan bilgi elde edemez.

Etkileşimliden Etkileşimsize

İlk ZKP protokolleri etkileşimliydi; kanıtlayan ile doğrulayan arasında çok turlu bir soru-cevap gerektiriyordu. Bu yapı, doğrulayıcının önceden meydan okuma üretmesi gereken durumlarda pratik değildi. Fiat-Shamir dönüşümü gibi tekniklerle rastgele meydan okumalar bir özet fonksiyonu üzerinden türetilerek protokol etkileşimsiz hâle getirildi; böylece kanıt tek seferde üretilip herkesçe doğrulanabilen bir veriye dönüştü. zk-SNARK ve zk-STARK aileleri bu etkileşimsiz yaklaşımın modern örnekleridir ve blok zinciri ölçeklemesinden gizli işlem doğrulamaya kadar birçok alanda kullanılır. Bu yapıların matematiksel iskeleti, temelde modern bir tür asimetrik anahtar mantığıdır ve güçlü bir kriptografik altyapıya dayanır; bu yüzden konuyu daha geniş kriptografi disipliniyle birlikte düşünmek gerekir.

Pratikte Nerede Kullanılır?

En yaygın kullanım, parola veya özel anahtarı ağ üzerinden hiç göndermeden kimlik doğrulamaktır. Kullanıcı özel anahtarını elinde tuttuğunu ispatlar, sunucu ise bu anahtarı asla görmez; bu da asimetrik şifreleme mantığının doğal bir uzantısıdır. Ayrıca blok zincirlerinde bir işlemin kurallara uygun olduğu, tutarların ve adreslerin gizli kalmasına rağmen kanıtlanabilir; devletlerin dijital kimlik projelerinde ise vatandaş yaşının on sekizin üzerinde olduğu, doğum tarihi paylaşılmadan gösterilebilir.

Sıfır bilgi ispatları güçlü olsalar da uygulamaları hataya açıktır: yanlış parametre seçimi, zayıf rastgelelik kaynağı ya da protokolün kütüphanede kusurlu gerçeklenmesi güvenceyi tümüyle boşa çıkarabilir. Bu bileşenleri kullanan sistemlerin mimarisini bağımsız gözle incelemek için Privia olarak Altyapı ve mimari gözden geçirme hizmetimiz ile kriptografik tasarımın uçtan uca tutarlılığını değerlendiriyoruz.