Sıfır Bilgi Kanıtı (ZKP) Nedir?

Sıfır Bilgi Kanıtı (ZKP) nedir?

Bir sıfır bilgi kanıtı (ZKP) bir tarafın (kanıtlayıcı) diğer bir tarafı (doğrulayıcı) bir iddianın doğru olduğunu ikna etme yoludur—bunu doğru kılan özel bilgiyi ifşa etmeden. Başka bir deyişle, doğrulayıcı yalnızca bir şeyi öğrenir: beyan geçerlidir.

Bu, kripto para dünyasında özellikle faydalıdır çünkü blok zincirleri şeffaf olacak şekilde tasarlanmıştır, ancak birçok gerçek dünya işlemi ve uygulama gizlilik, seçici ifşa veya gizlilik gerektirir.

Sıfır Bilgi Kanıtı (ZKP) nasıl çalışır?

Yüksek seviyede, bir ZKP “bana güven” ifadesini “bana doğrula” ifadesine dönüştürür. Kanıtlayıcı bir sırrı (bir şifre, bir hesap bakiyesi veya geçerli bir imza gibi) vardır ve bu sırrı ifşa etmeden bazı koşulları (örneğin “çekim yapmama izin var” veya “bu işlem kurallara uygun”) karşıladığını kanıtlamak ister.

Çoğu ZKP sistemi üç temel garanti etrafında inşa edilmiştir:

1. Tamlık: Eğer ifade doğruysa ve ispatlayıcı protokole uyuyorsa, doğrulayıcı ispatı kabul edecektir. 2. Sağlamlık: Eğer ifade yanlışsa, bir dolandırıcı ispatlayıcı sürekli olarak doğrulayıcıyı kandıramamalıdır. 3. Sıfır bilgi: İspat, sırrı ifşa etmez—sadece ifadenin doğruluğunu gösterir.

Kripto terimlerinde bunu düşünmenin basit bir adım adım yolu şöyle görünmektedir:

1. Beyanı tanımla: Örneğin, “Bu adresı kontrol eden bir gizli anahtar biliyorum,” veya “bu transfer havadan para yaratmıyor.” 2. Kuralları kodla: Beyan, matematiksel kısıtlamalar seti olarak ifade edilir (genellikle ZK sistemlerinde “devre” olarak tanımlanır). 3. Bir kanıt oluştur: Kanıtlayıcı, özel girdilerini (gizli) ve genel girdilerini (herkesin görebileceği) kullanarak kompakt bir kanıt hesaplar. 4.

Kanıtı doğrula: Doğrulayıcı, kanıtı genel bilgileri kullanarak kontrol eder. Eğer doğrulanırsa, doğrulayıcı kuralların takip edildiğinden emin olur—özel girdileri öğrenmeden.

Yardımcı bir benzetme: Doğum tarihinizi göstermeden bir mekâna girecek kadar yaşlı olduğunuzu kanıtladığınızı hayal edin. Ekstra detayları açığa çıkaran kimliğinizi vermek yerine, yaşınızın en az gerekli eşiğe ulaştığını kanıtlayan kriptografik bir "evet/hayır" kanıtı sunuyorsunuz. Görevli yalnızca yeterli olduğunuzu öğreniyor, tam yaşınızı veya kimlik detaylarınızı değil.

Blockchain sistemlerinde, ZKP'ler genellikle iki geniş modelde ortaya çıkar:

• Gizlilik kanıtları: İşlem detaylarını (miktarlar veya katılımcılar gibi) gizlerken, işlemin geçerli olduğunu kanıtlar.
• Geçerlilik kanıtları: Bir işlem veya hesaplama grubunun doğru bir şekilde gerçekleştirildiğini kanıtlar, böylece diğerlerinin sonucu yeniden yapmadan güvenmesini sağlar.

Sıfır Bilgi Kanıtı (ZKP) Uygulamada

ZKP'ler, kripto yığınındaki birçok bölümde zaten kullanılmaktadır.

• ZK rollup'lar (ölçeklendirme): Birçok Katman 2 ağı, büyük işlem gruplarının doğru bir şekilde off-chain işlendiğini kanıtlamak için ZKP'leri kullanır, ardından Katman 1 blockchain'ine kısa bir kanıt gönderir. Bu, maliyetleri düşürür ve verimliliği artırırken, temel zincirin güvenliğini miras alır.
• Özel işlemler ve korumalı veriler: Gizlilik odaklı protokoller, hassas işlem detaylarını gizli tutmak için ZKP'leri kullanır ve aynı zamanda temel kuralları (çift harcama yok, bakiyeler toplanır, yetkilendirilmiş harcama) uygular.vb..
• Seçici ifşaat ile kimlik ve uyum: ZKP'ler, tam kimliğinizi ifşa etmeden, yaptırım listesinde olmadığınızı veya belirli bir yaştan büyük olduğunuzu kanıtlamak gibi "bir özelliği kanıtla, veriyi değil" iş akışlarını destekleyebilir. Bu fikir, zincir üzerindeki kimlik, erişim kontrolü ve düzenlenmiş kullanım durumları için giderek daha fazla önem kazanmaktadır.
• [Oracle'lar](internal:glossaryEntry:yS625NFNj2jCznNNnSYETH) ve zincir dışı veri [belgeleri](internal:glossaryEntry:JlhB0rwM152rmYoMoGl0Oh): Bazı oracle tasarımları, verilerin belirli bir kaynaktan geldiğini veya belirli koşulları karşıladığını kanıtlamak için sıfır bilgi ile ilgili kriptografik teknikler kullanır ve temel verileri gizli tutar. Bu, akıllı sözleşmelerintelif hakkına sahip veya hassas bilgilere tepki vermesi gerektiğinde önemli olabilir.

Neden Sıfır Bilgi Kanıtı (ZKP) Önemlidir

Sıfır bilgi kanıtları, kripto dünyasındaki temel bir gerilimi uzlaştırmaya yardımcı oldukları için önemlidir: kamusal doğrulanabilirlik vs. gizlilik.Blockchain'ler, kuralların takip edildiğini doğrulamanın mümkün olması nedeniyle güçlüdür - ancak bu aynı şeffaflık, kullanıcı davranışlarını, iş ilişkilerini ve hassas finansal verileri açığa çıkarabilir.

ZKP'ler pratik bir orta yol sunar:

• Kullanıcılardaha iyi gizlilik ve daha güvenli kimlik doğrulama (daha az kişisel veri paylaşıldığında, sızdırılacak daha az veri olur) ile fayda sağlarlar.
• Geliştiricilerdoğrulanabilirlikten ödün vermeden gizlilik gerektiren uygulamalar geliştirebilirler - özel oylama, özel DeFi pozisyonları veya kurumsal iş akışları gibi.
• AğlarZKP'ler geçerlilik kanıtı olarak kullanıldığında daha verimli bir şekilde ölçeklenebilir, çünkü küçük bir kanıt büyük bir hesaplama miktarını temsil edebilir.

ZKP'ler olmadan, birçok sistem (a) doğruluğu kanıtlamak için çok fazla bilgi ifşa etmek veya (b) güvenilir aracılara ve özel verilere güvenmek arasında seçim yapmak zorundadır. ZKP'ler, “güvensiz gizlilik” ve “doğrulanabilir hesaplama”yı kamu altyapısında daha ulaşılabilir hale getirerek bu takası azaltır.