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

Sıfır bilgi ispatı veya protokolü, bir "kanıtlayıcının" bir "doğrulayıcıyı" gizli bilgi hakkındaki bir iddianın onu ifşa etmeden doğru olduğuna ikna etmesinin dolaylı bir yoludur.

İki tür sıfır bilgi kanıtı protokolü vardır - etkileşimli ZKP'ler ve etkileşimli olmayan ZKP'ler

Sıfır bilgi kanıtları için üç temel ön koşul vardır - tamlık, geçerlilik ve sıfır bilgi.

ZKP'ler, mesajlaşma uygulamalarında, ayrıntılı raporlarda ve özel işlemlerde güvenliği sağlamak için blok zincirinin yanında kullanılabilir.

Her gün binlerce insan internette geziniyor, çerezleri kabul ediyor ve çeşitli çevrimiçi hizmet ve ürünlerden yararlanmak için kişisel bilgilerini paylaşıyor. Ne yazık ki, kullanıcılar her yıl giderek artan bir şekilde veri ihlallerine ve bilgilerinin yetkisiz kullanımlarına maruz kalıyor. Ek olarak, bazen Google ve Facebook gibi platformların sunduğu öneriler, danışmalar, özelleştirilmiş yardım vb. hizmetlere erişmek için gizliliklerinden vazgeçmek zorunda kalıyorlar. Ancak, özel taramayı kullandıklarında buna erişemezler.

BBVA Yeni Dijital İşletmeler , mahremiyet ve veri sahipliği "koruması gereken temel haklar" olduğundan, mevcut dijital toplumun bilgi erişimiyle ilgili asimetrisini ciddi bir endişe olarak görüyor. Bu nedenle, NDB (Yeni Dijital İşletmeler), mahremiyeti korurken veriye dayalı ekonomiyi güvence altına almada yararlı olan yeni mekanizmalar, araçlar ve bilimsel yöntemler araştırıyor", diye açıklıyor bu projenin başındaki De la Gandara .

Zero-Knowledge Proof (ZKP), bu dengeyi sağlamak için en muazzam potansiyeli gösteren teknolojilerden biri olarak öne çıkıyor, bir bilgi parçasının onu gösteren verileri açığa çıkarmadan doğrulanmasına izin veren bir dizi araç. Teknoloji mümkündür, çünkü bir hesaplama ifadesinin doğruluğu, kriptografik algoritmalar kullanılarak bir "test cihazı" tarafından herhangi bir veri ifşa edilmeden matematiksel olarak doğrulanabilir.

Sıfır bilgi kanıtı veya protokolü, bir "kanıtlayıcının" bir "doğrulayıcıyı" gizli bilgilerle ilgili bir iddianın onu ifşa etmeden doğru olduğuna ikna etmesinin dolaylı bir yoludur. İspat protokolüne bağlı olarak etkileşimli olabilir veya olmayabilir.

Etkileşimli prosedürlere sahip ZKP'ler, doğrulayıcıyı gerekli bilgilere sahip olduklarına ikna etmek için kanıtlayıcının görevleri veya eylemleri tamamlamasını gerektirir. Etkileşimli ZKP'lerde, matematik genellikle gerekli görevleri yerine getirir.

Etkileşimli olmayan ZKP'lerde doğrulayıcı ve doğrulayıcı arasında etkileşime gerek yoktur veya doğrulama daha sonra yapılabilir. Bu tür ZKP'ler için bilgisayar veya yazılım gereklidir.

Sıfır bilgi kanıtları için üç temel ön koşul vardır:

1.Tamlık: Bir doğrulayıcı, eğer ifade doğruysa, bir ispatlayıcının doğru girdiye sahip olduğunu onaylayabilir.

2.Geçerlilik: Hiçbir ifade tahrif edilemez ve doğrulayıcı, kanıtlayıcı olmadığında kanıtlayıcının gerekli girdiye sahip olduğuna ikna edilemez.

3.Sıfır-bilgi: Doğrulayıcı, ifadenin doğru veya yanlış olmasının ötesinde hiçbir şey bilemez. Diğer taraflarla ilgili veri ve bilgiler gizli kalır.


Blok zincirinde sıfır bilgi kanıtlarının kullanımı

---

ZKP, kullanıcılara bilgilerini kontrol etmek ve yönetmek istediklerinde esneklik ve seçenek sunar. Başka bir deyişle, blok zinciri ve sıfır bilgi kanıtlarının birden fazla uygulaması vardır.

Özel işlemler (EY ve Nightfall)
EY, gizlilik ve veri egemenliği endişelerine yanıt olarak blok zinciri ve ZKP çözümleri geliştirdi.

EY tarafından 2019 yılında, şirketlerin gizliliği korurken kamu blok zincirlerini kullanarak özel, güvenli işlemler gerçekleştirmelerini sağlayan bir kamu ZKP protokolü olan Nightfall yayınlandı.

EY, karmaşık iş anlaşmalarının taleplerini karşılamak için, rakiplerden gizliliği korurken ağ düzeyinde taraflar arasında işbirliğine izin vermek için ZKP protokolünü kullanan Starlight adlı bir prototip derleyici tasarlayacak.

Nightfall ve Starlight ile kullanıcılar, daha fazla güvenlik ve gizlilikle blockchain uygulamalarına erişebilir.

Mesaj tabanlı uygulamalar
Uçtan uca şifreleme sayesinde özel olarak mesaj göndermek mümkün oldu. Bununla birlikte, geleneksel mesajlaşma uygulamaları, kullanıcının sunucu ile kimliğini doğrulamasını gerektirir. ZKP'ler, bireylerin kişisel bilgilerini ifşa etmeden kimliklerini kanıtlamalarına olanak tanır.

Ayrıntılı belgeler
ZKP'lerin ve blok zincirinin birleşimi, kullanıcılara karmaşık belgeleri paylaşırken güvenlik sağlar. Verileri parçalar halinde şifrelemeye ek olarak, ZKP'ler belirli blokların ve içerdikleri bilgilerin görünürlüğünü kontrol edebilir, bazı kullanıcıların erişmesine izin verirken diğerlerini kısıtlayabilir.



Sıfır Bilgi Kanıtlarını kullanan en iyi projeler

---

NuCypher
NuCypher, proxy ağının yeniden şifrelenmesi için bir sistem oluşturmaya çalışan bir ICO projesidir. Sahip olduğunuz bir belgeyi özel bir anahtarla kilitlediğiniz (şifrelediğiniz) sahiplik fikrine dayanır. Bu belgeyi paylaşmak için alıcıya özel anahtarı sağlamanız gerekir. Bu, başlı başına yapılmaması gereken bir şeydir. Bu nedenle, bir proxy yeniden şifreleme ihtiyacı.

Proxy yeniden şifreleme ile şifrelenmiş anahtarınızı başka birinin genel anahtarıyla yeniden şifreleyebilirsiniz. Bu yapıldığında belgeyi yeniden şifrelenmiş anahtarla paylaşabilirsiniz. Böylece alıcının belgeyi ortak anahtarıyla açmasına izin verilir.

NuCypher, anahtarların yeniden şifrelenmesine izin veren bir dizi birbirine bağlı düğüm çalıştırır. Bu düğüm ağı, anahtarları tüm düğümler arasında parçalar halinde depolar ve böylece daha güvenli hale getirir. Bu işlemin hızı, NIKP (Etkileşimli Olmayan Sıfır Bilgi Kanıtı) adı verilen ZKP teknolojisi türevine bağlıdır. Bu teknoloji, her yeniden şifrelemenin KMS düğümlerinden doğru ve güvenli olmasını sağlamak için bir saat gibi çalışır.

külçeler
Bu program, kullanıcıların çevrimiçi ürün satın alırken satışları üzerinde daha fazla kontrol sahibi olmalarını sağlamaya odaklanmıştır. Bu proje ile kullanıcılar, çevrimiçi satıcılar aracılığıyla mal satın alırken serbest bıraktıkları kişisel veri miktarını oranlayabilirler.
Çalışma stratejisi, bu çevrimiçi satıcıların sahip olduğu merkezi veritabanlarının güvenli olmadığı gerçeğine dayanıyordu. Bu nedenle, bilgisayar korsanlığı ve veri ihlalleri için kolay hedeflerdir. Nuggets projesi, kullanıcıların özel bilgilerini gizlemek için ZKP teknolojisini kullanır.

ZCash
ZCash (veya Zero Cash), işlemlerini Bitcoin'in temel yazılımını ve protokolünü kullanarak uygular. Yakın zamanda, tüm defterlerinin şifrelenmesini ve çift harcamanın geçersiz kılınmasını sağlamak için blok zinciri ağına ZK-SNARK'ları ekledi. Bu blok zinciri protokolü, ZKP protokolünü kullanarak çalışır.

Oyların doğrulanması
Bu, bugün dünyada ZKP'nin yaygın bir uygulamasıdır. ZKP, seçimlerde oyları doğrulamanın demokratik bir yolunu oluşturmak için blok zincirinin yanında kullanılır. Tüm oylama sürecinin denetlenebildiği ve erişilebildiği şeffaf bir sistem sağlar.
Sonuç olarak, üçüncü bir tarafın seçim sonucunu doğrulamasına gerek yoktur. ZKP ayrıca seçmenlerin uygunluklarını doğrulamaları için bir platform sağlar. Bu da seçmenlerin kişisel bilgilerini korumalarına yardımcı olur.

ING işlem geçerliliği
Bu, gerçek dünyadaki bir sorunu çözmede blok zincirinin yanı sıra ZKP'nin başka bir pratik uygulamasıdır. ING kısa süre önce, platformdaki işlemleri doğrulamak için Corda adlı ünlü bir blok zinciri platformunun yanında ZKP'yi kullanmaya başlayacağını duyurdu.
Corda platformu, yalnızca güvenlik ve gizliliği seçmek için kullanılabildiğinden, daha önce kullanımı sınırlıydı. Şimdi, çok daha fazlasını yapabilir.





Yazar: Gate.io Gözlemci: M. Olatunji
Sorumluluk Reddi:
* Bu yazı sadece gözlemcilerin görüşlerini yansıtmakta olup herhangi bir yatırım önerisi niteliği taşımamaktadır.
*Gate.io bu makalenin tüm haklarını saklı tutar. Gate.io'ya atıfta bulunulması koşuluyla makalenin yeniden yayınlanmasına izin verilecektir. Diğer tüm durumlarda, telif hakkı ihlali nedeniyle yasal işlem yapılacaktır.