Sıfır Bilgi Kanıtı (ZK Proof) Nedir?
Diğer adları: Zero-Knowledge Proof, ZK-Proof, ZKP, Sıfır Bilgi İspatı
Kısaca
Sıfır bilgi kanıtı (zero-knowledge proof, ZK proof), bir tarafın bir ifadenin doğru olduğunu, bu doğruluk dışında hiçbir ek bilgiyi açığa çıkarmadan karşı tarafa kanıtlamasını sağlayan kriptografik yöntemdir.
Sıfır bilgi kanıtında iki rol vardır: kanıtlayan (prover) ve doğrulayan (verifier). Kanıtlayan, örneğin belirli bir parolayı bildiğini veya bir hesaplamayı doğru yaptığını, parolanın kendisini ya da hesaplamanın girdilerini göstermeden ispatlar. Böyle bir sistem üç özellik taşır: doğru ifadeler kabul edilir (tamlık), yanlış ifadeler için sahte kanıt üretmek pratikte imkânsızdır (sağlamlık) ve doğrulayan, sonuç dışında hiçbir şey öğrenmez (sıfır bilgi).
Blockchain'de iki ana kullanım öne çıkar. Gizlilikte, Zcash gibi ağlar işlem tutarını ve tarafları gizlerken işlemin geçerli olduğunu kanıtlar. Ölçeklenebilirlikte ise ZK-rollup'lar çok sayıda işlemin doğru yürütüldüğünü tek bir kısa kanıtla ana zincire ispatlar; Ethereum düğümleri her işlemi yeniden çalıştırmak yerine bu kanıtı hızla doğrular. Kimlik alanında da bir kişinin doğum tarihini açıklamadan 18 yaşından büyük olduğunu kanıtlaması mümkündür. Yaygın kanıt sistemleri arasında zk-SNARK ve zk-STARK bulunur.
Kanıt üretmek hesaplama açısından pahalıdır ve uzmanlık gerektirir. Bazı sistemler güvenilir bir başlangıç kurulumu (trusted setup) gerektirir; bu kurulumun gizli verileri sızarsa sahte kanıtlar üretilebilir. Kanıt devrelerindeki programlama hataları da ciddi güvenlik açıklarına yol açabilir.
Son güncelleme: · Bu içerik bilgilendirme amaçlıdır, yatırım tavsiyesi değildir.
