Aklınızdaki Sıfır Bilgi İspatı Muhtemelen Bizim Yayımladığımız Değil

İfadenin insanlara canlandırdığı

Bir uyum ekibine "sıfır bilgi ispatı" deyin, tek bir şey canlanır: müşterinin doğum tarihini açıklamadan on sekiz yaşından büyük olduğunu kanıtlamak.

Bu bir koşul ispatıdır. Her makalenin kullandığı örnektir, gerçekten değerlidir ve belirli ve zorlu bir kurgudur.

Bugün "sıfır bilgi" kimlik bilgileri yayımlayan çoğu sistemin gerçekte yaptığı şey değildir.

Adı paylaşan iki farklı şey

Bir bilgi sahipliğinin sıfır bilgi ispatı, ki bir BBS+ sunumunun taşıdığı şey budur. Taşıyıcı, ihraççı tarafından geçerli biçimde imzalanmış bir kimlik bilgisine sahip olduğunu kanıtlar ve yalnızca seçtiği alanları açar. Gizli alanlar gizli kalır ve doğrulayıcı onlar hakkında, meşru bir ihraççının kümenin tamamını imzaladığı gerçeğinin ötesinde hiçbir şey öğrenmez.

Bir koşul ispatı, ki gizli bir değer üzerinde hesap yapar. "İşte doğum tarihim" değil ve "işte sakladığım bir doğum tarihi içeren imzalı bir kimlik bilgisi" de değil, "asla göremeyeceğiniz bu kimlik bilgisinin içindeki doğum tarihi, on sekiz yaşından büyük koşulunu sağlıyor".

Birincisi alanları gizler. İkincisi onlar üzerinde hesap yapar. İkincisi daha zordur ve insanlar sıfır bilgi derken kastettikleri odur.

Solidus tam olarak neyi yayımlıyor

Yayımlanan: bir BBS+ sunumuna gömülü bilgi sahipliğinin sıfır bilgi ispatı. On alanlı bir kimlik bilgisi taşıyabilir, ikisini açabilir ve bir doğrulayıcı, diğer sekizini öğrenmeden ihraççının onunu da imzaladığını teyit edebilir.

Yayımlanmayan: kendi protokol teknik belgemizin anlattığı genel amaçlı koşul devreleri. Yaş aralığı, konum aralığı ve benzeri koşullar ayrı zk-SNARK kurguları gerektirirdi ve bunları uygulayan hiçbir kod yok. Teknik belge onları anlatıyor; depo onları içermiyor.

Yani gereksiniminiz "doğum tarihi ispatta hiç var olmadan on sekiz yaşından büyük olduğunu kanıtlamak" ise, bizde yok. Gereksiniminiz "bir kimlik bilgisinden iki niteliği paylaşmak ve geri kalanının aynı ihraççı tarafından imzalandığını açıklamadan kanıtlamak" ise, bizde var.

Ayrım neden akademik değil ticari

Çünkü farklı düzenleyici soruları cevaplıyorlar.

Alan gizleme, bir doğrulayıcının aldığını asgariye indirir, ki bu bir veri asgariliği argümanıdır ve güçlü bir argümandır. Koşul ispatları, bir doğrulayıcının ilkesel olarak alabileceğini asgariye indirir, ki bu daha güçlü bir argüman ve daha küçük bir ürün yüzeyidir.

Uyum yetkilisine bir daha asla doğum tarihi işlemeyeceği söylenmiş bir alıcı ikincisini bekliyordur ve bu alandaki çoğu satıcı ona birincisini satacaktır, dikkatsiz olursak biz dahil. Bu sayfanın var olma sebebi budur.

Dar olanı yine de önemsemek için dürüst sebep

Bağlanamazlıkla birlikte seçici açıklama bir teselli ödülü değildir. On yerine iki alan açmak ihlal maruziyetini azaltır, saklama yükümlülüklerini azaltır ve bir doğrulayıcının sunumlar arasında ilişkilendirebileceğini azaltır.

Bu üçü aynı anda doğrudur ve herhangi biri tek başına yanıltırdı.

Sıfır bilgi iddia eden bir satıcıya sorulacaklar

"İspatınız alanları gizliyor mu, yoksa onlar üzerinde hesap mı yapıyor?" Cevap iki kurguyu ayırır ve çoğu pazarlama sayfası bu ayrımı yapmamış olacaktır.

"Hangi belirli koşulları destekliyorsunuz ve devre nerede?" Bir koşul ispatı somut bir üründür. Bir satıcı koşulları adlandıramıyorsa, alan gizlemeyi anlatıyordur.

"Kriptografi denetlendi mi ve kim tarafından?" Bizde cevap hayır ve hiç kimse, denetim hedeflenmiş ve fona bağlı.

Bu karar için ne anlama geliyor

Gereksiniminiz koşul ispatlarıysa, satıcınız biz değiliz ve sıfır bilgi kimlik bilgisi reklamı yapanların çoğu da değil.

Bu uygulamanın denetim durumu

Burada tarif edilen bağlanamazlık uygulaması denetlenmemiştir.