[Sıfır bilgi ispatı;](B) bir şeyi bilip bilmediğini, o şeyin kendisini (yani gizli bilgiyi) karşı tarafa hiç açıklamadan kanıtlayabilme protokolüdür. "Sıfır bilgi" ile ispat yapmanın kara sevdasıdır.
Gizli Anahtar, Kapıyı Açmadan İspat
Bu protokolde ispatçı, doğrulayıcıya "ben bu bilgiye sahibim" iddiasını, bilginin tek bir zerresini bile sızdırmadan kanıtlar. Tıpkı bir mağaranın gizli şifreli kapısının arkasını göstermeden, o kapıyı açabildiğini defalarca ispat etmek gibi. Doğrulayıcı, sadece ispatın doğruluğundan emin olur, başka hiçbir şey öğrenemez.
Üç Altın Kural: Doğruluk, Sıfır Bilgi, Sağlamlık
Bu sistemin çalışması için üç temel şart vardır:
Gündelik Hayatta Bir Dans: Ali ve Veli'nin Renk Körlüğü
En meşhur örneği, "Renk Körlüğü Bulmacası" ile anlaşılır. Ali, Veli'ye iki farklı renkte topu olduğunu (biri kırmızı, biri yeşil) ve kendisinin renk körü olmadığını ispatlamak istiyor. Veli ise renk körü. Ali, topu Veli'nin göreceği şekilde tutuyor, Veli "yerlerini değiştir" veya "değiştirme" diye talimat veriyor. Bu işlem çok kez tekrarlanıyor. Ali renkleri gerçekten görüyorsa, her seferinde doğru topu gösterebilir. Veli, Ali'nin her seferinde doğru yaptığını görür ama hangi topun hangi renk olduğu bilgisini asla öğrenemez. İşte bu, sıfır bilgi ispatıdır.
Kripto Dünyasının Gizli Kahramanı
Sıfır bilgi ispatı, özellikle blockchain ve kripto para dünyasında devrim yarattı. Zcash ve diğer gizlilik odaklı coin'ler, işlem yaptığınızı ve kurallara uyduğunuzu ağa ispatlarken, hesabınızın kimliğini, bakiyenizi veya işlem tutarını asla açığa vurmaz. Bu, finansal mahremiyet için çığır açan bir teknolojidir. Parolanızı sunucuya göndermeden sisteme giriş yapabilmenin de teorik temelini oluşturur.
Bu protokolde ispatçı, doğrulayıcıya "ben bu bilgiye sahibim" iddiasını, bilginin tek bir zerresini bile sızdırmadan kanıtlar. Tıpkı bir mağaranın gizli şifreli kapısının arkasını göstermeden, o kapıyı açabildiğini defalarca ispat etmek gibi. Doğrulayıcı, sadece ispatın doğruluğundan emin olur, başka hiçbir şey öğrenemez.
Bu sistemin çalışması için üç temel şart vardır:
- Doğruluk: Bilgiye gerçekten sahip olan biri, doğrulayıcıyı her zaman ikna edebilmelidir.
- Sıfır Bilgi: Doğrulayıcı, ispat sürecinden gizli bilginin kendisi hakkında hiçbir şey öğrenemez.
- Sağlamlık: Bilgiye sahip olmayan biri, doğrulayıcıyı neredeyse imkansız bir şekilde kandırabilmelidir.
En meşhur örneği, "Renk Körlüğü Bulmacası" ile anlaşılır. Ali, Veli'ye iki farklı renkte topu olduğunu (biri kırmızı, biri yeşil) ve kendisinin renk körü olmadığını ispatlamak istiyor. Veli ise renk körü. Ali, topu Veli'nin göreceği şekilde tutuyor, Veli "yerlerini değiştir" veya "değiştirme" diye talimat veriyor. Bu işlem çok kez tekrarlanıyor. Ali renkleri gerçekten görüyorsa, her seferinde doğru topu gösterebilir. Veli, Ali'nin her seferinde doğru yaptığını görür ama hangi topun hangi renk olduğu bilgisini asla öğrenemez. İşte bu, sıfır bilgi ispatıdır.
Veli, Ali'ye "Sağdaki topu göster" der. Ali renkleri görüyorsa, hangisinin kırmızı olduğunu bilir ve doğru topu gösterir. Bu, yüzlerce kez rastgele talimatlarla tekrarlandığında, Ali'nin şans eseri doğru yapması imkansız hale gelir. Veli, Ali'nin renkleri gördüğünden %99.999 emin olur, ama yeşilin hangi elde olduğu hakkında hâlâ hiçbir fikri yoktur.
Sıfır bilgi ispatı, özellikle blockchain ve kripto para dünyasında devrim yarattı. Zcash ve diğer gizlilik odaklı coin'ler, işlem yaptığınızı ve kurallara uyduğunuzu ağa ispatlarken, hesabınızın kimliğini, bakiyenizi veya işlem tutarını asla açığa vurmaz. Bu, finansal mahremiyet için çığır açan bir teknolojidir. Parolanızı sunucuya göndermeden sisteme giriş yapabilmenin de teorik temelini oluşturur.