İçindekiler[Saklamak][Göstermek]
Hem gerçek hayatta hem de dijital dünyada, çoğu zaman başkalarına bir şeyler kanıtlamak isteriz. Bir ofis binasına girmeden önce, çalışanlar genellikle içeri girmeden önce bir tür kimlik verirler.
Kullanıcılar Facebook veya Twitter gibi bir uygulamaya giriş yapmaya çalıştıklarında, bu servislerin öncelikle kullanıcıdan bir şifre ile giriş yapmasını istemesi gerekir ve bazen mobil cihazlarına tek seferlik bir şifre (OTP) gönderilir.
Kanıt sağlamanın bir dezavantajı, genellikle başka tür bilgileri vermemizdir. Bir web sitesine parola sağlamak, web sitesinin kendisinin, karma parolanın bir kopyasını sunucularında tutması anlamına gelir. Birisi ofis binasının çalışan kimliği tarayıcısını hackleyecekse, herkesin özel anahtarlarını elde edebilir.
Sıfır bilgi kanıtları veya ZKP'ler, ek bilgi sağlamak zorunda kalmadan bir kimliği veya işlemi doğrulamak için bir yol sağlar. Kriptografideki uygulamaları nedeniyle, ZKP'ler tarafından uyarlanmıştır. blockchains güvenli ve ölçeklenebilir doğrulama protokolleri oluşturmak için.
Sıfır Bilgi Kanıtları nelerdir?
Sıfır bilgi kanıtları ilk olarak MIT araştırmacıları Silvio Micali, Charles Rackoff ve Shafi Goldwasser tarafından 1985 yılında makalelerinde önerildi. “Etkileşimli Kanıt Sistemlerinin Bilgi Karmaşıklığı”
Bu makale, bilgi karmaşıklığı kavramını tanıttı. Bu, kanıtlayıcıdan doğrulayıcıya aktarılan bir kanıt hakkındaki bilgi miktarını ifade eder. Sıfır bilgi kanıtları, bir tarafın belirli bir ifadenin başka bir taraf için başka bir bilgiyi ifşa etmesine gerek kalmadan doğru olduğunu kanıtlamasına izin vermeyi amaçlar.
ZKP'ler, mevcut kimlik doğrulama sistemlerine güvenli bir alternatif olarak kullanılabilir ve ayrıca işlemleri gizli tutmak için blok zinciri protokollerine eklenebilir.
ZKP'ler Nasıl Çalışır?
Gerçek Dünya Örneği
Sıfır bilgi kanıtlarının nasıl çalıştığını göstermek için, soyut bir ZKP örneğine bakalım.
Diyelim ki kırmızı-yeşil renk körü bir arkadaşınız var. Sadece renkleri farklı olan iki özdeş topunuz var: biri kırmızı, diğeri yeşil. Arkadaşınıza aynı görünüyorlar, ancak renk körü olmayan bir kişi olarak onları kolayca ayırt edebilirsiniz.
Hangi topun kırmızı veya yeşil olduğunu söylemeden arkadaşınıza onların farklı bir renk olduğunu kanıtlamanız mümkün mü?
Aslında topların renklerini ortaya çıkarmadan bunu kanıtlamanın bir yolu var. İlk olarak, arkadaşınızın her iki topu da arkasına koymasına izin vermelisiniz ve ona herhangi bir topu gösterip tekrar saklamasını söylemelisiniz. Ardından, arkadaşınıza aynı topu tekrar gösterme veya diğeriyle değiştirme seçeneğine sahip olduğunu söylersiniz.
Her yeni top gösterildiğinde, ona topu değiştirip değiştirmediğini söyleyebilirsiniz. Doğru çağrıyı tahmin etmeye devam ederseniz, topların farklı renkte olması giderek daha olası hale gelir. Arkadaşınız, hangi topların hangi renge sahip olduğunu söylemeden, topların farklı renkte olduğuna ikna olmalıdır.
Pratik uygulamalar
Sıfır bilgi ispatlarının en pratik örnekleri iki türe ayrılır.
İlk olarak, protokoller tasarlanırken ZKP'ler kullanılabilir. Farklı tarafların protokolü aldatmamasını veya bundan faydalanmamasını sağlayabiliriz. İkincisi, ZKP'ler tanımlama için kullanılabilir.
Örneğin, bir web uygulamasına şifreyi açığa çıkarmak zorunda kalmadan güvenli bir şekilde giriş yapmak için ZKP'leri kullanabiliriz.
Sıfır bilgi kanıtlarını nasıl kullanabileceğimize dair birkaç örneğe bakalım.
E-Oylama
ZKP'lerin yaygın olarak tartışılan bir uygulaması, çevrimiçi oylamadaki olası rolleridir. Kullanıcıların önerilen bir politika üzerinde oy kullanabilecekleri yaklaşan bir referandumumuz olduğunu varsayalım. Her seçmen oy pusulasında 1 veya 0 oy kullanma hakkına sahiptir.
Seçmenler, ZKP'leri kullanarak, kimliklerini açıklamadan oy kullanma haklarını kanıtlayabilirler. Bu, her oylamanın gerçekten anonim olmasını sağlar. Ek bir ZKP, belirli bir kullanıcının oylarının nihai oy sayımının bir parçası olduğunu kanıtlamak için de kullanılacaktır.
Oylama sistemi, oy pusulalarının içeriğiyle ilgili olarak, her oy pusulasının 1 veya 0 içerdiğine dair sıfır bilgi kanıtı da üretebilir. Bu, oy pusulasının içeriğini bilmek zorunda kalmadan gerçekleştirilir.
Blockchain Gizliliği
Bitcoin ve Ethereum gibi blok zincirleri doğal olarak özel işlemleri desteklemez. Bitcoin cüzdanınız herkese açık olduğu sürece, herkes aşağıdaki gibi bir blok gezginine gidebilir: Blockstream cüzdanın parçası olduğu tüm işlemleri görmek için.
Bu arada, banka gibi bir hizmeti veya Cash App veya Venmo gibi ödeme hizmetlerini kullanmak size özel işlem yapma olanağı verir. Ancak bu kolaylık, bilgilerinizi merkezi hizmete ifşa etme pahasına gelir.
Blockchain protokolüne ZKP'ler ekleyerek anonimliği ademi merkeziyetçilikle birleştirebiliriz. ZCash gibi kripto para birimleri, madeni para sahiplerinin anonimliklerini korumalarına izin veren özel işlemler oluşturmak için ZKP'leri kullanır. Bu kripto para birimlerinin birçoğu, zk-SNARK olarak bilinen bir tür ZKP kullanır.
Bu ZKP'ler, doğrulayıcı ve doğrulayıcı arasında herhangi bir etkileşim gerektirmez.
Sıfır Bilgi Toplamaları
ZK-toplamaları, zincir dışı işlemlerin anında ve minimum gaz ücreti ile doğrulanmasını sağlayan bir ölçeklenebilirlik çözümüdür. Çok sayıda Katman 2 işlemini birleştirmenin ve bunları Katman 1 protokolüne göndermenin bir yoludur.
ZKP'ler gizlilik sağlamanın yanı sıra karmaşık sistemlerin ölçeklendirilmesine de olanak tanır. Blockchain protokolleri, kullanıcıların doğru işlemleri yaptığını, uygun bakiyeye sahip olduğunu vb. kanıtlamak için ZKP'leri kullanabilir. Bu güvenli ancak ölçeklenebilir çözümler, yalnızca ZKP'lerde zincir dışı yapılan matematiksel kanıtlarla mümkündür.
Loopring gibi protokoller, güvenlikten ödün vermeden zincir dışı işlemlerin işlenmesine yardımcı olmak için sıfır bilgi kanıtları kullanır.
Sıfır Bilgi Kanıtlarının Faydaları
- ZKP'ler, PIN'ler veya kimlik kartları gibi daha az güvenilir kimlik doğrulama biçimlerinin yerini alır
- ZKPS, blok zincirlerinin ölçeklenebilirliğini artırır
- ZKP'nin uygulanması basit şifreleme yöntemleri gerektirir
- ZKPS kullanımı, sistemde gereksiz bilgilerin saklanmasını gerektirmeyerek sistemleri daha güvenli hale getirebilir.
Sonuç
Veri gizliliği, hem merkezi hem de merkezi olmayan sistemlerde zaten önemli bir sorundur. Sıfır bilgi kanıtları, farklı tarafların, söz konusu işlemleri veya kimlikleri açıklamak zorunda kalmadan işlemleri ve kimlikleri kanıtlaması veya doğrulaması için bir yol sağlar.
Blok zinciri teknolojisi daha yaygın olarak kullanılırken, doğrulamayı güvenli bir şekilde ele almak için ZKP'lerin benimsenmesi, ölçeklenebilirlik endişelerinin anahtarı olacaktır.
Yorum bırak