Како верификујете информације без дељења приступа? Ово је изазов који докази без знања покушавају да реше.
Доказ без знања (ЗКП) у последње време добија велику популарност у различите сврхе. Омогућава верификацију информација без откривања основних података, чиме се нуди виши степен сигурности и приватности осетљивим информацијама.
Али шта је тачно доказ без знања, како функционише и који су случајеви употребе система са доказом о нултом знању? Хајде да сазнамо.
Шта је доказ без знања?
Голдвассер, Мицали и Рацкофф предложили су доказе без знања у свом раду "Сложеност знања интерактивних система доказивања."
У систему доказа без знања, једна страна (доказивач) мора да докаже другој страни (верификатору) да конкретна изјава је тачна без откривања икаквих додатних информација осим да је реченица истина. Ово се постиже представљањем минималне количине информација верификатору како би он могао да потврди да је изјава заиста тачна.
На пример, Пол жели да Анита докаже своје знање о тајном коду магичних врата који повезује два пута (А и Б) унутар пећине. Анита више пута пролази кроз врата, почевши од стазе А и излази кроз стазу Б, док Пол остаје напољу.
Понављајући овај подвиг више пута, Анита доказује да зна шифру за отварање магичних врата унутар пећине без откривања шифре Полу.
Како функционише доказ без знања?
Докази без знања раде тако што доказивач и верификатор изводе низ интеракција. Ове интеракције обично укључују више кругова комуникације. Током сваке интеракције, доказивач конструише доказ који подржава истинитост исказа доказивача.
Верификатор често ствара више изазова у вези са тврдњом која се доказује. А доказивач сваки пут одговара пажљиво израђеним доказом како би уверио верификатора у истинитост изјаве без откривања било какве информације у вези са изјавом.
Изазови и интеракције се понављају више пута како би се елиминисале шансе да доказивач нагађа о изјави.
Доказ без знања омогућава вам да поделите доказ знања са другом страном без откривања додатних детаља о знању. Да би се то догодило, протокол са нултим знањем зависи од алгоритама који узимају неке податке као улаз и враћају излаз као тачан или нетачан за дати улаз.
Ево три критеријума које систем доказа без знања мора да задовољи.
1. Потпуност
Ако је изјава тачна, поштен доказивач може уверити поштеног верификатора у истинитост изјаве.
2. Соунднесс
Ако је изјава нетачна (што значи да доказивач не зна тачну тврдњу), онда ниједан непоштени доказивач не може убедити поштеног верификатора у истинитост изјаве.
3. Зеро-Кновледге
Докази без знања (ЗКП) обезбеђују да верификатор не добије никакво знање о исказу који се доказује осим да ли је истинит или нетачан. Штавише, верификатор није у могућности да извуче било какву информацију о изјави из доказа који је пружио доказивач, а који је конструисан да покаже истинитост изјаве.
Врсте доказа без знања
Следе две главне врсте доказа без знања о којима треба да знате.
Интерактивни докази о нултом знању
У интерактивном систему доказа без знања, доказивач конструише доказ о исказу и шаље га верификатору. Затим, верификатор поставља питања и ствара изазове. Доказивач одговара на изазове верификатора и наставља интеракцију. Овај процес комуникације напред-назад омогућава верификатору да се увери у истинитост изјаве.
Неинтерактивни докази о нултом знању
У неинтерактивном систему доказа без знања, доказивач ствара један доказ који доказивач може независно да провери без икакве даље интеракције.
Од два, интерактивни докази са нултим знањем су рачунарски интензивнији јер интерактивна ЗКП технологија врши додатна израчунавања због интеракција напред-назад.
Апликације и случајеви употребе без доказа
Ево неколико случајева употребе протокола без знања.
Аутентикација
Докази без знања (ЗКП) може се користити за аутентификацију корисника без размене тајних информација, као што су корисничка имена или лозинке. Ово може побољшати корисничко искуство и ослободити компаније да чувају огромне количине корисничких података на својим серверима.
Приватне трансакције
Блоцкцхаин трансакције нису приватне. Уместо тога, они су повезани са псеудонимним адресама крипто новчаника. И владе могу пратити те трансакције, омогућавајући им да ухвате мрачне криминалце.
Легитимно је ухватити криминалце праћењем тих трансакција. Али шта је са репресивним режимом који прати редовне крипто кориснике путем информација које се чувају у јавној књизи?
Имплементацијом доказа без знања, компаније могу омогућити заштићене трансакције у којима су адресе пошиљаоца и примаоца и износи трансакција скривени од јавног блоцкцхаина.
На пример, ЗЦасх и Монеро нуде приватне трансакције користећи доказе без знања.
Осигурани ланци снабдевања
Употреба доказа без знања може побољшати сигурност у ланцу снабдевања. Може да провери интегритет података, потврди акредитиве добављача, докаже аутентичност производа или услуга и омогући безбедно праћење без потребе за откривањем било каквих осетљивих информација.
Штавише, докази без знања омогућавају компанијама да докажу регулаторима и властима да се придржавају важећих закона и индустријских стандарда.
Верификација приватног идентитета
Докази без знања помажу у заштити приватности корисника. Власти могу да верификују идентитет било ког појединца без потребе за откривањем осетљивих информација.
На пример, а апликација за децентрализоване финансије (ДеФи). можда ће морати да потврди да корисник припада одређеној земљи. Традиционални процес ће захтевати од корисника да достави податке о свом пасошу или броју возачке дозволе. Али уз помоћ протокола идентитета заснованог на ЗКП-у треће стране, корисник може доказати да је са листе дозвољених земаља чак и без да каже име своје земље.
Доказ о чланству
Доказ без знања може омогућити корисницима да докажу да су део великог јавног скупа без да кажу којем делу јавног скупа припадају.
На пример, холандска ИНГ банка покренула је своје чланство без знања (ЗКСМ), омогућавајући корисницима да докажу да су чланови Европске уније, а да не кажу у којим земљама живе.
Недостаци коришћења доказа без знања
Доказ без знања нуди значајне предности. Али они такође имају неке препреке.
Највећи изазов су трошкови хардвера. Генерисање доказа без знања захтева сложене прорачуне, који се често изводе на специјализованим машинама које су скупе за куповину.
Штавише, верификација доказа такође захтева сложена израчунавања. Дакле, није изводљиво имплементирати доказ без знања осим ако компаније немају велике буџете за исто.
Такође, недостатак ресурса за обуку и развојних алата за ЗКП апликације омета шире усвајање доказа без знања.
Докази без знања за побољшање приватности
Хакери и актери претњи непрестано покушавају да дођу до ваших осетљивих информација. Зато предузмите неопходне кораке да заштитите своје податке. Тражите апликације засноване на доказима без знања и користите их да заштитите своју приватност и безбедност.
Такође, требало би да користите шифровање без знања да бисте заштитили своје осетљиве податке.
