Sıfır Bilgi Kanıtları

Sıfır Bilgi Kanıtları Nedir?

Sıfır bilgi kanıtları (zk-proofs), bir tarafın (kanıtlayıcı) başka bir tarafa (doğrulayıcı) bilginin kendisini ifşa etmeden belirli bir bilgiye sahip olduğunu göstermesine olanak tanıyan kriptografik tekniklerdir. Bu yöntem hem bütünlük hem de sağlamlık sağlar, yani kanıt herhangi bir ek veri ifşa etmeden geçerli ve güvenilirdir.

Sıfır Bilgi Kanıtları Nasıl Çalışır?

Doğrulayıcı, kanıtlayıcıdan yalnızca doğru bilgiye sahip birinin başarabileceği belirli görevleri yerine getirmesini ister. Eğer kanıtlayıcı tahmin ediyorsa, doğrulayıcının testinde yüksek olasılıkla başarısız olacaktır.

Özellikler

Bütünlük: Dürüst bir kanıtlayıcı, dürüst bir doğrulayıcıyı ifade doğruysa doğru bilgiye sahip olduğuna ikna edebilir.

Sağlamlık: Dürüst olmayan bir doğrulayıcı, dürüst bir doğrulayıcıyı ifadenin yanlış olduğuna ikna edemez.

Sıfır bilgi: Doğrulayıcı, ifadenin doğru olduğu gerçeğinin ötesinde hiçbir şey öğrenmez.

Sıfır Bilgi İspat Türleri: zk-SNARK'lar, zk-STARK'lar, PLONK ve Bulletproof’lar.

Kullanım Örnekleri

Sıfır bilgi kanıtları özel işlemlerde, doğrulanabilir hesaplamalarda, ölçeklenebilir katman 2 çözümlerinde ve merkeziyetsiz kimlik ve kimlik doğrulamada kullanılır. Zcash, StarkNet, zkSync ve Loopring gibi projeler gelişmiş güvenlik, gizlilik ve ölçeklenebilirlik için sıfır bilgi kanıtları kullanır.