Tā kā datortehnoloģijas turpina uzlaboties digitālajā laikmetā, mēs tagad varam tiešsaistē viegli uzglabāt, koplietot un analizēt milzīgu daudzumu uzņēmējdarbības un personas datu, radot bažas par tiesībām. Uzlabojas arī privātums un datu drošība.
Nulles zināšanu pierādījums ir kriptogrāfijas veids. Saskaņā ar ZKP teoriju, prover pusei ir jāpierāda verificētājam, ka viņa sniegtā informācija ir precīza, nedaloties ar reālām detaļām.
#zkp piedāvā brīvību un izvēli patērētājiem, kuri vēlas kontrolēt un neatkarīgi pār savu informāciju. Apvienojot ZKP un #blockchain tehnoloģiju, var tikt galā ar vairākiem lietošanas gadījumiem.
Ir pieejami arī interaktīvi un neinteraktīvi nulles zināšanu pierādījumi.
Interaktīvajiem nulles zināšanu pierādījumiem (IZKP) ir nepieciešama jautājumu un atbilžu apmaiņa starp pārbaudītāju un pārbaudītāju. Šī mijiedarbība var notikt bezsaistē vai tiešsaistē, izmantojot tīklu, piemēram, internetu. Verificētājam ir vairākkārt jāsazinās ar verificētāju, lai tas varētu lūgt sīkāku informāciju par pierādāmo apgalvojumu. Pierādītājam katrā kārtā jāatbild uz pārbaudītāja jautājumu.
Dažām milzīgām problēmām šī interaktīvā pierādīšanas metode ir iespējama, taču tā rada problēmas ar laiku un skaitļošanas izmaksām un prasa visu dalībnieku sadarbību.
No otras puses, neinteraktīviem nulles zināšanu pierādījumiem (NIZKP) nav nepieciešama saziņa starp pārbaudītāju un pārbaudītāju. Tā vietā pārbaudītājs izveido atsevišķu neatkarīgu pierādījumu, ko verificētājs var pārbaudīt neatkarīgi bez papildu saziņas nepieciešamības. Tas var būt ērtāk un efektīvāk nekā interaktīvie pierādījumi, jo pārbaudītājam un pārbaudītājam nav jābūt vienlaikus tiešsaistē vai jāapmainās ar daudziem ziņojumiem.
Interaktīvo pierādījumu analīze un komunikācija prasa ilgāku laiku nekā neinteraktīvie pierādījumi. Tomēr ir situācijas, kad tas var nebūt praktiski, piemēram, kad ir nepieciešama sīkāka informācija, lai pierādītu vai parādītu ļoti sarežģītu argumentu.
Viena no galvenajām atšķirībām starp interaktīvajiem un neinteraktīvajiem nulles zināšanu pierādījumiem ir uzticamības līmenis, kas nepieciešams pārbaudītājam un pārbaudītājam. Interaktīvā pierādījumā pārbaudītājam ir jātic, ka pārbaudītājs ievēros noteikumus un sniegs patiesas atbildes uz saviem jautājumiem. Atšķirībā no interaktīviem pierādījumiem, neinteraktīvie pierādījumi ļauj pārbaudītājam neatkarīgi pārbaudīt pierādījumu, nepaļaujoties uz pārbaudītāja informāciju.
Labākā pieeja konkrētai situācijai būs atkarīga no vajadzībām un ierobežojumiem. Gan interaktīvie, gan neinteraktīvie nulles zināšanu pierādījumi piedāvā priekšrocības un trūkumus.
Interaktīvie pierādījumi var būt piemērotāki gadījumos, kad pārbaudītājs un pārbaudītājs ir tiešsaistē un var viegli sarunāties.
No otras puses, neinteraktīvie pierādījumi var būt piemērotāki gadījumos, kad pārbaudītājs un pārbaudītājs nav vienlaikus tiešsaistē vai ir apšaubāma pārbaudītāja uzticamība. Visbeidzot, interaktīvi un neinteraktīvi nulles zināšanu pierādījumi bieži tiek atlasīti, pamatojoties uz konkrētiem izaicinājumiem un pielietojuma situācijām.
Interaktīvā nulles zināšanu pārbaude ir viena no agrāk pētītajām un visbiežāk izmantotajām nulles zināšanu pierādīšanas formām. Visā šajā pierādīšanas procesā būs vairākas mijiedarbības kārtas starp pārbaudītāju un pārbaudītāju.
Nepieciešama mijiedarbība starp pārbaudītājiem un pārbaudītājiem, kas var būt laikietilpīga un neefektīva. Pierādītājam un pārbaudītājam ir plaši jāsazinās, lai pabeigtu pierādījumu. Tā varētu būt problēma situācijās, kad ātrums ir būtisks, piemēram, augstas frekvences tirdzniecība vai lēmumu pieņemšana reāllaikā.
Piemēram, ja jaunam veikalniekam rodas aizdomas, jums jāieiet iestādē, lai nopirktu alkoholu, bet jūs nevarat pierādīt savu vecumu ne ar ko citu, kā tikai ar savu ārējo izskatu. Šajā posmā jums būs jāapraksta, kā iegādāties alkoholu, izmantojot balsi.
IZKP pieņem, ka gan pierādītājs, gan pārbaudītājs runā patiesību un nemēģinās viltot vai mainīt pierādījumus. Tomēr tas ne vienmēr tā ir, un pārbaudītājs var mēģināt apmānīt verificētāju, nosūtot nepatiesas norādes vai citādi mainot pierādījumus. Tas var apdraudēt pierādījumu derīgumu un padarīt tos mazāk noderīgus.
Vienkārši sakot, jūs neesat pietiekami vecs, lai dzertu, bet jūs joprojām mēģināt argumentēt šo jautājumu ar vārdiem. Šāda situācija būtu postoša.
Tādējādi, neskatoties uz IZKP augstajām drošības un privātuma garantijām, to plašo ieviešanu ir ierobežojuši iepriekš minētie trūkumi.
Nulles zināšanu īss, neinteraktīvs zināšanu arguments ir pazīstams arī kā ZK-SNARK. Uz ZK-SNARK protokolu attiecas šādas pazīmes:
Verificētāji ar nulles informāciju var apliecināt apgalvojuma patiesumu, neko citu par to nezinot. Vienīgais, ko verificētājs zina par apgalvojumu, ir tas, vai tā ir patiesa vai nepatiesa.
Vārdu sakot, nulles zināšanu pierādījums ir vienkāršāks nekā pierādījums, un to var ātri parādīt.
Neinteraktīvie pierādījumi atšķiras no interaktīviem pierādījumiem ar to, ka pārbaudītāji un pārbaudītāji sazinās tikai vienu reizi, atšķirībā no interaktīviem pierādījumiem, kas ietver vairākas saziņas kārtas.
Arguments: tā kā pierādījumi atbilst “racionalitātes” prasībai, krāpšana ir maz ticama.
(Zināšanas): Ir grūti izveidot nulles zināšanu pierādījumu bez piekļuves sensitīvai informācijai. Pierādītājam, kuram nav liecinieku, derīga nulles zināšanu pierādījumu aprēķināšana būs ļoti sarežģīta, ja ne neiespējama.
Lietotājam ir jātic dalībniekiem, kuri izveido parametru, lai varētu izmantot uzticamo iestatījumu. Tomēr ZK-STARK attīstība ir ļāvusi demonstrēt protokolus, kas darbojas nenoteiktā vidē.
Nulles zināšanu mērogojams caurspīdīgs zināšanu arguments tiek saukts par ZK-STARK. ZK-STARK un ZK-SNARK ir identiski, izņemot šādus punktus:
Mērogojams: ja liecinieka izmērs ir lielāks, ZK-STARK ģenerē un pārbauda pierādījumus ātrāk nekā ZK-SNARK. Izmantojot STARK pierādījumus, pārbaudītāju un pārbaudītāju laiks palielinās tikai minimāli, pieaugot liecinieku skaitam (SNARK pārbaudītāja un pārbaudītāja laiks palielinās lineāri līdz ar liecinieku skaitu).
Pārredzamība: tā vietā, lai vairotu uzticēšanos, ZK-STARK paļaujas uz publiski pārbaudāmu randomizāciju, lai iegūtu publiskus parametrus pierādījumiem un pārbaudei. Rezultātā tie ir mazāk necaurredzami nekā ZK-SNARK.
Iespējams, ka ir lielākas verifikācijas izmaksas, jo ZK-STARK ģenerē lielākus pierādījumus nekā ZK-SNARK. #ZK-STARK tomēr dažās situācijās (piemēram, apjomīgu datu kopu pārbaude) tas var būt ekonomiskāks nekā #ZK-SNARK .
#ZK-STARK ir izveidoti, pamatojoties uz īsiem, interaktīviem pierādījumiem, kas norāda, ka pierādījumus var ātri pārbaudīt, bez nepieciešamības mijiedarboties starp pārbaudītāju un pārbaudītāju. Šī iemesla dēļ ZK-STARK priekšrocības drošības un mērogojamības ziņā ir labākas.
Tehnoloģijas, kurās nav zināšanu, turpinās attīstīties un izmantot, kad tehnoloģija pilnveidosies.
Lai gan blokķēde piedāvā decentralizāciju, caurspīdīgumu un daudzas citas priekšrocības, adrešu, nevis identitātes izmantošana vien negarantē privātumu.
Nulles zināšanu drošs #technology piedāvā plašu lietojumprogrammu klāstu privātuma un drošības pārbaudei. Lai gan tā nav jauna tehnoloģija, joprojām ir daudz jaunu lietu, kas jāapgūst un jāpierāda praksē, pielietojot to blokķēdes nozares attīstībā.