Tamga Network

Bölüm 3 · 3/5

Sıfır bilgi ispatı

Doğum tarihini göstermeden 18 yaşından büyük olduğunu kanıtlamak: matematik bunu nasıl yapar?

6 dk

Sıfır bilgi ispatıDoğum tarihi ispata girer, çıkan tek bilgi 18 yaşından büyük olmaktır; doğum tarihi doğrulayana gitmez.telefondaDoğum tarihiZKispat18 yaşındanbüyükdoğum tarihi doğrulayana gitmez

Seçici paylaşımla doğum tarihinizi gösterip adınızı gizleyebilirsiniz. Ama ya doğum tarihinizi de göstermek istemiyorsanız? Konser kapısının sorusu "Doğum tarihiniz ne?" değil, "18 yaşından büyük müsünüz?" idi. Bu sayfa, yalnız bu sorunun cevabını kanıtlamanın yolunu anlatıyor.

Bir şeyi göstermeden kanıtlamak

Bilinen bir örnek: renk körü bir arkadaşınıza, elinizdeki iki topun farklı renkte olduğunu kanıtlamak istiyorsunuz. O topları arkasına alıp karıştırıyor ya da karıştırmıyor, sonra size gösteriyor. Siz her seferinde "karıştırdın" ya da "karıştırmadın" diye doğru cevap veriyorsunuz. Yirmi turdan sonra arkadaşınız topların farklı renkte olduğuna ikna olur; ama hâlâ hangi topun hangi renk olduğunu bilmez.

Bu, zero-knowledge proofBir cümlenin doğru olduğunu, onu doğru yapan bilgiyi göstermeden kanıtlayan matematiksel yöntem. ruhudur: karşı taraf cümlenin doğru olduğuna ikna olur, ama cümleyi doğru yapan bilgiden hiçbir şey öğrenmez. Bugünkü sistemler bunu turlarla değil, tek seferde hesaplanan ve tek seferde doğrulanan bir matematiksel ispatla yapar.

Tamga'da yaş ispatı nasıl çalışır?

  1. Kurum, kimlik belgesini bugünkü gibi verir ve imzalar. Kurum tarafında hiçbir şey değişmez; bu önemli, çünkü ağdaki kurumların yeni bir sistem kurmasına gerek kalmaz.
  2. Bir site ya da kapı "18 yaşından büyük mü?" diye sorduğunda cüzdan bir ispat üretir. İspatın söylediği şudur: "Elimde, bu kurumun imzaladığı bir belge var ve o belgedeki doğum tarihi 18 yıldan eskidir."
  3. Doğrulayan ispatı kontrol eder. Gördüğü yalnız iki şeydir: cümlenin doğru olduğu ve belgeyi hangi kurumun verdiği. Doğum tarihini, belge numarasını, hatta belgenin kendisini görmez.

Tamga bunun için Longfellow ZKGoogle'ın açık kaynak olarak geliştirdiği, bağımsız güvenlik incelemelerinden geçmiş, mdoc belgeleri üzerinde çalışan sıfır bilgi ispatı sistemi. adlı açık kaynak sistemi kullanır. Avrupa'nın yaş doğrulama çalışmaları da bu sistem üzerine kurulu. Ağda yalnız incelenmiş ve kimliği güven listesinde yayımlanmış ispat devreleri geçerlidir; böylece kimse kendi yazdığı bir "ispatla" doğrulayanı kandıramaz.

Her yerde çalışır mı?

İspat üretmek telefonda biraz hesap gücü ister; çok eski cihazlar ya da henüz bu yöntemi desteklemeyen doğrulayıcılar olabilir. O durumda cüzdan bir yedek yönteme geçer: doğum tarihi yerine yalnız "18 yaşından büyük: evet" alanını içeren, tek kullanımlık belge kopyalarından birini gösterir. Bir sonraki sayfa bu kopyaları anlatıyor.

Neden önemli?

Yaş doğrulaması internette giderek zorunlu hâle geliyor: alkol, kumar, belirli içerikler, bazı platformlar. Kimlik kartı fotoğrafı yükletmek hem sızıntı riski taşır hem de insanları izlenebilir kılar. Sıfır bilgi ispatı, kuralı uygulamanın kişiyi ifşa etmeden de mümkün olduğunu gösterir.

Özet

  • Sıfır bilgi ispatı, bir cümlenin doğru olduğunu, cümleyi doğru yapan bilgiyi göstermeden kanıtlar.
  • Tamga'da kurumlar hiçbir şey değiştirmez; ispatı cüzdan, kurumun bugünkü imzalı belgesinden üretir.
  • Doğrulayan yalnız sonucu ve belgeyi veren kurumu görür; iki gösterim birbirine bağlanamaz.

Daha derine

Teknik ayrıntılar ve bağlayıcı kurallar: