Həm real həyatda, həm də rəqəmsal dünyada biz tez-tez başqalarına bir şeyi sübut etmək istəyirik. Ofis binasına girməzdən əvvəl işçilər adətən içəri girməzdən əvvəl bir növ şəxsiyyət vəsiqəsini təqdim edirlər.
İstifadəçilər Facebook və ya Twitter kimi proqrama daxil olmağa cəhd etdikdə, bu xidmətlər əvvəlcə istifadəçidən parol ilə daxil olmağı xahiş etməlidir və bəzən onların mobil cihazına birdəfəlik parol (OTP) göndərilir.
Sübut təqdim etməyin mənfi tərəfi odur ki, biz tez-tez başqa cür məlumat veririk. Veb sayta parol təqdim etmək hələ də veb-saytın özünün serverlərində hashed parolun bir nüsxəsini saxlaması deməkdir. Əgər kimsə ofis binasının işçi şəxsiyyət vəsiqəsi skanerini sındırsa, hər kəsin şəxsi açarlarını əldə edə bilər.
Sıfır bilik sübutları və ya ZKP-lər əlavə məlumat təqdim etmədən şəxsiyyəti və ya əməliyyatı təsdiqləmək üçün bir yol təqdim edir. Kriptoqrafiyada tətbiqləri sayəsində ZKP-lər tərəfindən uyğunlaşdırılmışdır blokçeynlər təhlükəsiz və genişlənə bilən doğrulama protokolları yaratmaq.
Sıfır Bilik Sübutları nədir?
Sıfır bilik sübutları ilk dəfə MIT tədqiqatçıları Silvio Micali, Charles Rackoff və Shafi Goldwasser tərəfindən 1985-ci ildə öz məqalələrində təklif edilmişdir. “İnteraktiv sübut sistemlərinin bilik mürəkkəbliyi”
Bu məqalə bilik mürəkkəbliyi anlayışını təqdim etdi. Bu, sübut edəndən yoxlayıcıya ötürülən sübut haqqında biliklərin miqdarına aiddir. Sıfır bilik sübutları tərəfə hər hansı digər məlumatı açıqlamadan konkret bəyanatın digər tərəf üçün doğru olduğunu sübut etməyə imkan vermək məqsədi daşıyır.
ZKP-lər cari autentifikasiya sistemlərinə təhlükəsiz alternativ kimi istifadə edilə bilər və həmçinin əməliyyatları gizli saxlamaq üçün blokçeyn protokollarına əlavə edilə bilər.
ZKP necə işləyir?
Real Dünya Nümunəsi
Sıfır bilik sübutlarının necə işlədiyini göstərmək üçün gəlin ZKP-nin mücərrəd nümunəsinə nəzər salaq.
Deyək ki, qırmızı-yaşıl rəng kor olan bir dostunuz var. Sizinlə yalnız rəngləri ilə fərqlənən iki eyni top var: biri qırmızı, biri yaşıl. Dostunuza eyni görünürlər, lakin rəng korluğu olmayan bir insan olaraq onları asanlıqla ayırd edə bilərsiniz.
Hansı topun qırmızı və ya yaşıl olduğunu göstərmədən dostunuza onların fərqli rəngdə olduğunu sübut etmək mümkündürmü?
Əslində, topların rənglərini açıqlamadan bunu sübut etməyin bir yolu var. Əvvəlcə dostunuza hər iki topu arxasına qoymağa icazə verməlisiniz və ona istənilən topu göstərib yenidən gizlətməsini söyləməlisiniz. Sonra, dostunuza eyni topu yenidən göstərmək və ya digəri ilə dəyişmək seçimi olduğunu söyləyirsiniz.
Hər dəfə yeni top göstərildikdə siz ona topu dəyişib-dəyişmədiyini deyə bilərsiniz. Düzgün zəngi təxmin etməyə davam etsəniz, topların fərqli rəngdə olması ehtimalı getdikcə artır. Dostunuz indi hansı topların hansı rəngdə olduğunu söyləmədən topların fərqli rəngdə olduğuna əmin olmalıdır.
Praktiki Proqramlar
Sıfır bilik sübutlarının əksər praktik nümunələri iki növə bölünür.
Birincisi, ZKP-lərdən protokollar tərtib edilərkən istifadə edilə bilər. Fərqli tərəflərin protokoldan fırıldaqçı və ya faydalana bilməməsini təmin edə bilərik. İkincisi, ZKP-lər identifikasiya üçün istifadə edilə bilər.
Məsələn, parolun özünü aşkar etmədən veb proqrama təhlükəsiz şəkildə daxil olmaq üçün ZKP-lərdən istifadə edə bilərik.
Gəlin sıfır bilik sübutlarından necə istifadə edə biləcəyimizə dair bir neçə nümunəyə baxaq.
Elektron Səsvermə
ZKP-lərin ümumi müzakirə olunan tətbiqlərindən biri onların onlayn səsvermədə mümkün roludur. Deyək ki, istifadəçilərin təklif olunan siyasətə səs verə biləcəyi qarşıdan gələn referendumumuz var. Səsvermə hüququna malik olan hər bir seçici bülletendə 1 və ya 0 səs verə bilər.
ZKP-lərdən istifadə edərək seçicilər kimliklərini açıqlamadan səsvermə hüquqlarını sübut edə bilərlər. Bu, hər bir səsin həqiqətən anonim olmasını təmin edir. Müəyyən istifadəçinin səsinin səslərin yekun hesablamasının bir hissəsi olduğunu sübut etmək üçün əlavə ZKP də istifadə olunacaq.
Bülletenlərin məzmunu ilə bağlı səsvermə sistemi həmçinin hər bir bülletendə 1 və ya 0 olması ilə bağlı sıfır məlumatlı sübut yarada bilər. Bu, seçki bülleteninin özünün məzmununu bilmədən həyata keçirilir.
Blockchain Məxfilik
Bitcoin və Ethereum kimi blokçeynlər özəl əməliyyatları dəstəkləmir. Bitcoin cüzdanınız ictimai olduğu müddətcə hər kəs blok tədqiqatçısına gedə bilər, məsələn Blockstream cüzdanın bir hissəsi olduğu bütün əməliyyatları görmək.
Eyni zamanda, bank kimi bir xidmətdən və ya Cash App və ya Venmo kimi ödəniş xidmətlərindən istifadə sizə şəxsi əməliyyatlar aparmaq imkanı verir. Bununla belə, bu rahatlıq məlumatlarınızı mərkəzləşdirilmiş xidmətə açıqlamaq bahasına başa gəlir.
Blockchain protokoluna ZKP əlavə etməklə anonimliyi mərkəzsizləşdirmə ilə birləşdirə bilərik. ZCash kimi kriptovalyutalar, sikkə sahiblərinə anonimliklərini qorumağa imkan verən şəxsi əməliyyatlar yaratmaq üçün ZKP-lərdən istifadə edir. Bu kriptovalyutalardan bəziləri zk-SNARK kimi tanınan ZKP növündən istifadə edir.
Bu ZKP-lər sübut edən və yoxlayan arasında qarşılıqlı əlaqə tələb etmir.
Sıfır Bilik Topluları
ZK-rollups, zəncirdənkənar əməliyyatların dərhal və minimal qaz haqları ilə təsdiqlənməsinə imkan verən genişlənmə həllidir. Onlar çoxlu sayda Layer 2 əməliyyatlarını birləşdirmək və onları Layer 1 protokoluna təqdim etmək üsuludur.
Məxfiliyi təmin etməklə yanaşı, ZKP-lər mürəkkəb sistemlərin miqyasını genişləndirməyə imkan verir. Blockchain protokolları istifadəçilərin düzgün əməliyyatlar apardıqlarını, müvafiq balansa malik olduqlarını və s. sübut etmək üçün ZKP-lərdən istifadə edə bilər. Bu təhlükəsiz, lakin genişlənə bilən həllər yalnız ZKP-lərdə zəncirdən kənar edilən riyazi sübutlar vasitəsilə mümkündür.
Loopring kimi protokollar təhlükəsizliyə güzəştə getmədən zəncirdənkənar əməliyyatları emal etməyə kömək etmək üçün sıfır bilik sübutlarından istifadə edir.
Sıfır Bilik Sübutlarının Faydaları
- ZKP-lər PIN və ya identifikasiya kartları kimi daha az etibarlı autentifikasiya formalarını əvəz edir
- ZKPS blokçeynlərin miqyasını artırır
- ZKP-nin həyata keçirilməsi sadə şifrələmə üsullarını tələb edir
- ZKPS-dən istifadə sistemdə lazımsız məlumatların saxlanmasını tələb etməməklə sistemləri daha təhlükəsiz edə bilər.
Nəticə
Məlumatların məxfiliyi həm mərkəzləşdirilmiş, həm də mərkəzləşdirilməmiş sistemlərdə artıq əsas problemdir. Sıfır bilik sübutları müxtəlif tərəflərə əməliyyatları və şəxsiyyətləri qeyd olunan əməliyyatları və ya şəxsiyyətləri açıqlamadan sübut etmək və ya təsdiqləmək üçün bir yol təqdim edir.
Blockchain texnologiyası daha geniş istifadə olunduqca, yoxlamanı təhlükəsiz idarə etmək üçün ZKP-lərin qəbulu miqyaslılıq problemləri üçün əsas olacaqdır.
Cavab yaz