Zero Knowledge Proof (ZKP) nedir?

Zero Knowledge Proof (ZKP), arkasındaki bilgileri açığa çıkarmadan bir şeyin doğru olduğunu kanıtlamanın bir yoludur. Şifreyi yazmadan bildiğinizi göstermek ya da doğum tarihinizi göstermeden 21 yaşından büyük olduğunuzu doğrulamak gibi. Sihirsel havası, temeli matematik.

Yanlış inanış

ZKP'ler her şeyi gizler, bu yüzden hile için kullanılır. Tam olarak değil. Bir ZKP, sizin tanımladığınız belirli bir ifadeyi kanıtlar ve doğrulayan kişi sırlarınızı görmeden bunu sıkı biçimde kontrol edebilir.

Zero Knowledge Proof (ZKP) nasıl çalışır

Kısa bir örnekle anlatım. Bir işlem için yeterli bakiyeniz olduğunu bakiye bilgisi açığa çıkmadan kanıtlamak istiyorsunuz.

Adım 1: "Bakiyem en az X'tir" gibi bir ifade seçersiniz ve gizli verinize rastgelelik ekleyerek taahhütte bulunursunuz.
Adım 2: O gizli veri ve genel bilgilerden matematiksel olarak doğrulanabilir bir kanıt oluşturursunuz.
Adım 3: Kanıtı doğrulayana gönderirsiniz, sırrı değil.
Adım 4: Doğrulayan kabul veya reddeder. Bakiye görülmez.
Adım 5: Kabul edilirse, aynı kanıt daha sonra sizinle tekrar iletişime geçmeden herkes tarafından yeniden kontrol edilebilir.

Altında ciddi kriptografi yatıyor. Evet, matematik kayıtları tutuyor.

Zero Knowledge Proof (ZKP) neden önemli

Peki neden önemsemelisiniz? Üç kısa açıdan bakalım.

Avantaj: Gerekli olanı kanıtlayın, geri kalanını saklayın. Daha az sızıntı, daha az risk.
Bakış açısı: Veri minimal uygulamalar modern hissettirir; sadece gereken bilgiyi paylaşın.
Uygulama alanı: ZK'yı rollup'larda, özel transferlerde ve kimlik kontrollerinde herhangi bir ciddi blok zinciri üzerinde göreceksiniz.

İpucu

Bir uygulamanın ZK kullandığını duyduğunuzda iki şeyi sorun. Tam olarak ne kanıtlanıyor ve güvenilir bir kurulum gerekti mi. Ayrıca, veri kontrolüne önem veriyorsanız, ZK kanıtın dışında güçlü gizlilik uygulamalarıyla iyi eşleşir.

Zero Knowledge Proof (ZKP) Temel Özellikleri

Özelliğini sade bir dille açıklayalım.

Gizli: Doğrulayanlar, ifadenin doğru olduğunu öğrenir ama sırrınızı öğrenmezler.
Kısa ve öz: Kanıtlar küçük olabilir ve doğrulaması hızlıdır, zincirde bile.
Hızlı: Doğrulama, tüm hesaplamayı yeniden yapmaktan daha hafiftir.
Bileştirilebilir: Kanıtları üst üste koyabilir veya birçok kontrolü tek bir seferde toplayabilirsiniz.
Ölçeklenebilir: Ağır işleri doğrulayanların dışına taşıyarak ölçeklenebilirlike katkıda bulunur ve doğruluğu korur.

Varyasyonlar

Farklı türler farklı işler için uygundur.

SNARKs: Kısa kanıtlar, hızlı doğrulama, genellikle güvenilir bir kurulum gerektirir.
STARKs: Güvenilir kurulum gerekmez, daha büyük kanıtlar, kuantum sonrası araştırmalara uygun.
Bulletproofs: Aralık kontrolleri için iyidir, gizli miktarlarda yaygın olarak kullanılır.
Sigma: Klasik etkileşimli yöntem, birçok ders kapsamında öğretilir.

Hatırlatma

ZKP tek başına uygulamanızı güvence altına almaz. İfadeniz çok zayıfsa veya kurulumunuz özensizse, kanıt doğru olsa bile işe yaramayabilir. İfadeyi dikkatlice tasarlayın.

Örnek

Bir şehir bir seçim düzenler; seçmenler uygun olduklarını ve henüz oy kullanmadıklarını kanıtlar, aynı zamanda kimlikleri genel sayımda gizli kalır.

İlginç Bilgi

ZK'yı anlatmak için klasik gösteri, iki aynı renkte top ve gözleri kapatma testi kullanır; hangisinin hangisi olduğunu söylemeden onları ayırabildiğinizi gösterir. Bilimsel bir numara ama işe yarar.

Özet

Kısaca, Zero Knowledge Proof (ZKP) paylaşmadan kanıtlamaktır; yani "göstermeden kanıtlayabilirim" diyebilirsiniz.

Zero Knowledge Proof (ZKP)