Sıfır Bilgi Kanıtı Nedir ve Kriptoda Kullanım Alanları Nelerdir?

Bir krediyi ödeyebileceğinizi veya vücudunuzda önemli bir sorun olmadığını kanıtlamak için utanç verici derecede özel bilgiler içerebilecek bir mali veya sağlık kaydı sundunuz mu hiç? Peki ya onlara 100 dolar değerinde Nutella aldığınızı ya da bisikletten düşüp dizinizi yaraladığınızı göstermeden gelir akışınızın istikrarlı ve bol olduğunu ya da sağlığınızın yerinde olduğunu gösterebilirseniz? Bu, Sıfır Bilgi kanıtının en iyi örneğidir - aynı zamanda potansiyel bir kullanım durumudur.

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

Örneğimizden tahmin etmişsinizdir, Sıfır Bilgi kanıtı (ZKP), bir ifadenin geçerliliğini ifadeyi açığa çıkarmadan kanıtlama yöntemi veya sürecidir.

Diyelim ki bugünün Wordle'ını (Evet, insanlar hala bunu oynuyor) arkadaşlarınızdan önce bitirdiniz. Onlara kelimenin ne olduğunu söylemek yerine, tek yapmanız gereken Wordle sonuç resminizi beş düz yeşil kutuyla paylaşmak. Bu şekilde, resmi gören herkes kelimeyi doğru bildiğinizi anlayacak, ancak zaten bilmedikleri sürece kimse ne olduğunu söyleyemeyecektir. Daha da kullanışlı olanı, bu görüntüyü Twitter'ınızda yalnızca bir kez paylaşmanız yeterlidir ve herkes sizinle daha fazla etkileşime girmeden (sizi tanımaları bile gerekmez) bunu çözdüğünüzü bilecektir. Bu, doğrulayıcıların ikna olup olmadıklarına karar vermek için kanıtlayıcılarla bir dizi alışverişte bulunmaları gereken etkileşimli ZKP'lerin aksine etkileşimli olmayan ZKP olarak bilinir.

Söylemeye gerek yok, bu karmaşık mekanizma (etkileşimli ve etkileşimsiz), özellikle gizliliğin diğer birçok şeyden daha değerli olduğu sektörlerde - kripto para birimi akla geliyor - birçok yeni ve ilginç kullanım durumu yaratacaktır. Bu alandaki en ünlü gelişmelerden ikisi zk-SNARK’lar ve zk-STARK'lardır.

zk-SNARK’lar ve. zk-STARK’lar Karşılaştırması

zk-SNARK, zero-knowledge Succinct Non-Interactive Argument of Knowledge (Sıfır Bilgi Özlü Etkileşimsiz Bilgi Argümanı) anlamına gelir ve etkileşimsizliği vurgular, yani herkes kanıtlayıcı ile etkileşime girmeden bir ifadeyi doğrulayabilir. Bu, bir blok zincir ağının hesapların sahipliğini doğrulamasına ve belirli bir işlemdeki göndericinin adresleri veya işlem tutarlarını ifşa etmeden yeterli bakiyeye sahip olmasını sağlamasına olanak tanır.

Rastgele eliptik eğriler zk-SNARK'ların güvenlik modelinin merkezinde yer alır. zk-SNARK'ları kullanarak bir protokolü başlatmak için güvenilir bir kurulum da gereklidir. Bu, daha sonra işlemler ve doğrulamalar için kanıtlar oluşturmak üzere kullanılan özel anahtarların oluşturulmasını içerir. Sonuç olarak, zk-SNARK'lar kuantum saldırılarına ve özel anahtar sızıntılarına maruz kalır. Bununla birlikte, zk-SNARK'lar blok boyutlarını ve gas tüketimini önemli ölçüde azaltabilir ve 2012'deki başlangıcından bu yana zaten büyük bir topluluk oluşturmuştur.

Sıfır bilgi Ölçeklenebilir Şeffaf Bilgi Argümanı anlamına gelen zk-STARKs, 2018 yılında tanıtıldı. Adından da anlaşılacağı gibi, zk-STARK'lar ölçeklenebilirlik ve şeffaflığa odaklanır. zk-SNARK'ların kanıtlayıcı ve doğrulayıcı süreleri tanık boyutuyla doğrusal olarak artar, ancak zk-STARK'lar söz konusu olduğunda, bunu yarı doğrusal olarak yapar, bu da onları büyük veri kümelerini işlerken çok daha çevik hale getirir. zk-STARK'lar ayrıca kamuya açık olarak doğrulanabilir rastgelelik ve karma işlevlerden yararlanır, bu da başlangıçta güvenilir bir kurulum gerektirmedikleri ve kuantuma dirençli oldukları anlamına gelir.

Bununla birlikte, zk-STARK'lar çok daha büyük bloklar üretir ve çok daha fazla hesaplama gücü gerektirir, bu da daha fazla gas tüketimi ve daha uzun doğrulama süresi anlamına gelir. zk-STARK'lar ayrıca büyük kardeşine kıyasla çok daha az geliştiriciye ve mevcut kaynağa sahiptir.

ZKP'nin kriptodaki kullanım alanları nelerdir?

Kimlik Kanıtı

Kimlik bilgilerimizden daha fazla özel veri yoğunluğu olan bir yer yoktur. Geleneksel olarak, bir kimlik kanıtı, kanıtlayıcının - sizin - kimlik bilgilerinizi - sizinle ilgili olan veya olmayan her şeyi şok edici ayrıntılarla - doğrulayıcıya sunmasını gerektirir.

ZKP'lerde ise tek yapmanız gereken, kimliğinizin sahipliğini ve sağlamlığını kanıtlayan bir kimlik bilgisi oluşturmaktır. Doğrulayıcıların, tüm kişisel bilgilerinize erişmek yerine, kimlik bilgilerinizin geçerliliğini kontrol etmek için yalnızca bazı hesaplamalar yapması gerekir.

Merkle Ağacı Rezerv Kanıtı

Merkle Ağacı, yapraklarında veri depolanan ikili bir ağaçtır. Her yaprağın kendi hash değeri vardır ve bu hash değerleri, tek bir değer - kök hash - kalana kadar daha fazla hash için farklı gruplara (nodelara) sıralanacaktır.

Doğrulayıcıların Merkle Ağacındaki her şeyin bütünlüğünü 1'ler ve 0'lar denizine dalmadan doğrulamak için yalnızca birkaç nodedan hash değerleri alması gerekir. Bu, bir borsanın yeterli rezerve fona sahip olduğunu ve traderların fonlarını tarif edilemez amaçlar için başka bir yere taşımadığını kanıtlamak için yaygın olarak kullanılır.

Bitget her zaman müşterilerine öncelik vermiştir ve Merkle Ağacı Rezerv Kanıtımız herkesin doğrulamasına açıktır: Bitget'in Rezerv Kanıtı .

Merkle Tree Proof of Reserves hakkında daha fazla bilgi için, Merkle Ağacı tanıtımımıza bakınız.

Zk-rollup’lar

Rollup, adından da anlaşılacağı gibi, bir dizi işlemi tek bir işlemde toplayan bir ölçeklendirme çözümüdür. Bu, örneğin Ethereum'un mainnetinden çok daha hızlı ve ucuz işlemlere olanak tanır. Ethereum'un rollup çözümlerinde iki grup vardır: İyimser ve Sıfır bilgi. Bu makalede ikincisine odaklanacağız.

Sıfır bilgi rollup’lar (zk-rollups); hesaplamayı zincir dışında yürütür ve zincir üzerinde yalnızca bir geçerlilik kanıtı (tüm toplanmış işlemlerin bir 'özeti') sunar. Bu kanıt zincir üzerinde doğrulandıktan sonra, tüm toplanmış işlemler tek bir vuruşta sonuçlandırılacaktır.

Ethereum'un zk-rollup çözümlerinde birkaç büyük oyuncu vardır. Polygon , zkEVM mainnet beta sürümünün Mart ayı sonunda piyasaya sürüleceğini duyurdu. Polygon'a karşı koymak amacıyla, bir diğer yarışmacı olan zkSync, Polygon'un duyurusundan sadece bir gün sonra geliştiriciler için 'mainnetlerine' kayıt açtı.

Bu yarıştaki diğer önemli katılımcılar şunlardır Loopring ; zk-rollup'tan yararlanarak yüksek verim ve düşük uzlaştırma maliyeti sunan merkeziyetsiz bir borsa; Immutable X ; zk-rollup'lar ile neredeyse anında, sıfır gas ücreti deneyimi sunan NFT'lere odaklanan bir Layer2 çözümüdür.

Bitget'in sıfır bilgi bölgesinde, Poligon , Loopring , Immutable X , Mina ve sıfır bilgi diyarındaki diğer birçok kaşif ile işlem yapabilirsiniz . Şimdi kaydolun ve Bitget Zero Bilgi Alanı adresinden seçilmiş varlıkların işlemlerine başlayın !