Belgenin Tamamını Vermeden Bir İddiayı Kanıtlamak

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

O çekince en üstte duruyor, çünkü durmak zorunda; altındaki mekanizma gerçek olmadığı için değil. Seçici açıklama, bir kimlik bilgisinden çekilmiş tek bir olguyu kanıtlamak demektir: "18 yaşından büyük", "bu adres doğrulandı", "bu lisans geçerli"; doğrulayıcıya o olgunun geldiği belgeyi göstermeden ve doğrulayıcının belgenin içerdiği başka hiçbir şeyi öğrenmesine izin vermeden. Bir barın yaş kontrolüne "18 yaşından büyük" olduğunu kanıtlayan ve sonra aynı olguyu bir kiralama platformuna kanıtlayan bir taşıyıcı, iki tarafa da geçerli bir kriptografik kanıt verir ve karşılaştıracakları hiçbir şey vermez.

Bunun ardındaki mekanizma, kimlik bilgisinin iddiaları üzerindeki bir BBS+ imzasıdır. Lexicon girdisi kriptografinin kendisini ele alır; bir taşıyıcının deneyimlediği şey, aynı imzalı kimlik bilgisinin her sunum için farklı bir kanıt üretebilmesidir; her biri yalnızca bir doğrulayıcının istediği alanları açıklar ve geri kalanını açığa çıkarmadan matematiksel olarak güvence altına alır. Burada atıf yapılan BBS+ uygulaması denetlenmemiştir.

Kendiniz çalıştırın

Kanıt bir şemadır değil, bir komuttur. Bu sayfa aynı koşumu alışverişin taşıyıcı tarafından okur: neyin açıklandığını ve neyin mühürlü kaldığını.

npm i @solidus-network/auth @solidus-network/bbs
node node_modules/@solidus-network/auth/demo/unlinkability-demo.mjs

Demo tek bir kimlik bilgisi verir ve taşıyıcının her doğrulayıcı için taze bir kanıt türetmesini sağlar; yalnızca o doğrulayıcının istediği iddiaları açıklayarak. Kendi sonucunu yazdırır; tam olarak alıntılanmış ve bayt bayt okunmuş hâli bağlanamazlık sayfasındadır; orada aynı koşumun ilişkilendirme kontrolü, tek bir kimlik bilgisinden çıkan iki kanıtın hizalanmadığını gösterir. Burada mesele, o koşumun gösterdiği diğer yarıdır: seçici açıklamanın kendisi. Burada atıf yapılan BBS+ uygulaması denetlenmemiştir.

Seçici açıklama gerçekte ne yapar

İşlemin üç hamlesi vardır ve kimlik bilgisi tam olarak bir kez imzalanır.

1. İhraççı bir iddialar vektörünü imzalar: ad, doğum tarihi, adres, lisans numarası, "18 yaşından büyük"; hepsini tek bir BBS+ imzası altında. Tek bir imza her alanı kapsar.
2. Taşıyıcı, seçilmiş bir alt kümeyi açıklayan bir kanıt türetir. Bir barın yaş kontrolüne "18 yaşından büyük" olduğunu kanıtlamak için taşıyıcı, o tek alanı açığa çıkaran ve geri kalanını göstermeden matematiksel olarak güvence altına alan bir kanıt üretir. "18 yaşından büyük" bilgisinin hesaplandığı doğum tarihi taşıyıcının cihazından hiç çıkmaz.
3. Doğrulayıcı kanıtı yerelde kontrol eder, ihraççının açık anahtarına karşı. Açıklanan alanın gerçekten özgün ihraççı tarafından onaylandığını, ihraççıyla yeniden temasa geçmeden ve taşıyıcının açıklamadığı hiçbir alanı öğrenmeden teyit eder. Burada atıf yapılan BBS+ uygulaması denetlenmemiştir.

"Belgenin tamamını vermeden bir iddiayı kanıtlamak"ın mekanik olarak anlamı budur: açıklanmayan alanlar matematiğin içinde vardır, kanıtlanabilir biçimde imzalıdır ve hiçbir zaman iletilmez. Ve taşıyıcı ihraççının imza baytlarını tekrar oynatmak yerine her sunum için yeni bir kanıt türettiği için, tek bir kimlik bilgisi her seferinde farklı kanıt malzemesi verir; bu, bağlanamazlık demosunun doğrudan ölçtüğü özelliktir ve bir taşıyıcının bir bara, sonra bir kiralama platformuna "18 yaşından büyük" olduğunu, ikisine ilişkilendirecek hiçbir şey vermeden kanıtlayabilmesinin sebebidir. Burada atıf yapılan BBS+ uygulaması denetlenmemiştir.

Tek satırda: ihraççı bir kez imzalar, taşıyıcı seçici olarak kanıtlar ve doğrulayıcı yerelde kontrol eder; ihraççıyla yeniden temas yok ve taşıyıcının seçmediği hiçbir alan açıklanmaz.

Bu neye karşı savunur, neye karşı savunmaz

Düz okunduğunda: bu, sunum katmanında bağlanamazlıktır. Bir doğrulayıcının kimlik bilgisi kanıtının kendisinden çıkarabileceği ilişkilendirme tutamağının, yani paylaşılan bir tanımlayıcının, tekrarlanan bir imza artefaktının, iki sunum arasında sızan bir değerin orada olmadığı anlamına gelir. Burada atıf yapılan BBS+ uygulaması denetlenmemiştir.

Taşıyıcının görünmez olduğu anlamına gelmez. Demo şunlara karşı savunma iddiasında bulunmaz ve bu sayfa da bulunmaz:

• IP adresi: aynı ağ adresinden yapılan iki sunum, kimlik bilgisi kanıtının yaptığı hiçbir şeyden bağımsız olarak ağ katmanınca kolayca ilişkilendirilebilir.
• Zamanlama: saniyeler arayla ya da öngörülebilir bir takvimde gönderilen iki sunum, yalnızca istek zamanlamasını izleyen bir gözlemci tarafından ilişkilendirilebilir.
• Cihaz parmak izi: tarayıcı, TLS ve cihaz özellikleri, kimlik bilgisi kanıtının ne içerdiğinden bağımsız olarak her HTTP isteğiyle birlikte gider.
• Kayıt dışı veri havuzlama (bu şemada hiçbir şey, iki dayanan tarafın tamamen başka bir kanaldan (paylaşılan bir analitik satıcısı, bir veri simsarı, bir mahkeme celbi) not karşılaştırmasını engellemez) kimlik bilgisi katmanı bunu önleyecek konumda hiç olmadı.

Ayrım önemlidir, çünkü bu terimin bazen ima ettiği daha geniş anlamdaki bağlanamazlıkla karıştırmak kolaydır. Bugün sevk edilen şey sunum katmanında bağlanamazlıktır: gerçek, belirli ve bağımsız olarak kontrol edilebilir bir özellik; bu sistemi kullanan bir taşıyıcının hiçbir yolla izlenemeyeceği iddiası değil. Daha geniş özelliğe ihtiyacı olan herkesin ağ ve cihaz katmanı problemlerini ayrıca çözmesi gerekir; bu sayfanın işi, demonun kendisinin yazdırdığı sınırı belirtmektir, onu yukarı yuvarlamak değil. Burada atıf yapılan BBS+ uygulaması denetlenmemiştir.

Bunun yeri

Bu, nasıl çalıştığı sayfasındaki InteractiveDisclosureDemo tanıtımını derinleştirir: o sayfa alışverişin biçimini gösterir, bu sayfa gerçeğini çalıştırır. Ayrıca yeniden kullanımı yeniden kimliklendirme olmadan mümkün kılan kimlik hikâyesinin yarısıdır: taşıyıcının tanımlayıcısının doğrulayıcılar arasında ilişkilenmesini önleyen ikili DID'lerle eşleştirin; seçici açıklama ise iddia içeriğinin ilişkilenmesini önler. Birlikte, kimlik bilgisi taşınabilirliğini, yani verilmiş tek bir kimlik bilgisini birçok dayanan taraf arasında yeniden kullanmayı, mahremiyet etiketi takmış tek bir izleme numarasından başka bir şey yapan şeydirler.