Galvenie punkti:
Nulles zināšanu pierādījums ir tehnoloģija, kas pilna ar ieguves potenciālu. Tomēr tā piemērošana ir cits jautājums.
Ir divu veidu nulles zināšanu pierādījumi: interaktīvie un neinteraktīvie.
IZKP pieprasa savstarpēju pārbaudi starp pārbaudītāju un verificētāju. NIZKP nav nepieciešama mijiedarbība, prover rada pašpietiekamus pierādījumus, lai noskaidrotu jautājumu.
Nulles zināšanu pierādījumiem un to lietojumiem joprojām ir liels prakses potenciāls. Ne tikai metode, bet, atkarībā no situācijas, var piemērot katru ZKP veidu.
Tomēr vai šīs tehnoloģijas pielietojums ir vienāds? Kopā ar Coincu mēs atbildēsim uz šo problēmu, lai jūs varētu izlasīt nākamajā rakstā.
Kas ir nulles zināšanu pierādījums (ZKP)?
Datortehnoloģijām nepārtraukti attīstoties digitālajā laikmetā, mēs varam viegli uzglabāt, pārsūtīt un analizēt milzīgu daudzumu personas un uzņēmumu datu internetā, radot bažas par tiesībām. Pieaug arī datu drošība un privātums.
Nulles zināšanu pierādījums ir sava veida kriptogrāfija. ZKP darbojas pēc principa, ka sakāmā puse verificētājam parāda, ka viņa sniegtā informācija ir patiesa, neizpaužot nekādu reālās dzīves informāciju.
Cilvēkiem, kuri pieprasa kontroli un neatkarību pār savu informāciju, ZKP nodrošina gan elastību, gan izvēli. Apvienojot blokķēdes tehnoloģiju un ZKP, tiks risināti vairāki lietošanas gadījumi.
Nulles zināšanu pierādījumu veidi
Ir divu veidu nulles zināšanu pierādījumi: interaktīvie un neinteraktīvie.
Interaktīvajiem nulles zināšanu pierādījumiem (IZKP) ir nepieciešama tieša saruna starp pārbaudītāju un verificētāju, kurā pārbaudītājs atbild uz pārbaudītāja jautājumiem. Šī iesaistīšanās var notikt personīgi vai izmantojot tīklu, piemēram, internetu. Ir nepieciešamas vairākas mijiedarbības ar verificētāju, lai verificētājs varētu pieprasīt papildu informāciju par apstiprināmo apgalvojumu. Katrā kārtā pārbaudītājam ir jāatbild uz pārbaudītāja jautājumu.
Šī interaktīvā pierādīšanas pieeja ir iespējama noteiktām lielām problēmām, taču tā rada bažas par laika un skaitļošanas izmaksām un prasa visu dalībnieku saziņu.
No otras puses, neinteraktīvajiem nulles zināšanu pierādījumiem (NIZKP) nav nepieciešama mijiedarbība starp pārbaudītāju un pārbaudītāju. Tā vietā pārbaudītājs ģenerē vienu, patstāvīgu pierādījumu, ko verificētājs var pārbaudīt neatkarīgi, bez nepieciešamības veikt turpmāku saziņu. Tā kā pārbaudītājam un pārbaudītājam nav vienlaikus jābūt tiešsaistē vai jāapmainās ar daudziem ziņojumiem, tas var būt ērtāk un efektīvāk nekā interaktīvie pierādījumi.
Neinteraktīvie pierādījumi ir ātrāki nekā interaktīvie pierādījumi, un tie ietver mazāku apstrādi un saziņu. Tomēr dažkārt tā var nebūt īstenojama pieeja, piemēram, kad ir nepieciešama papildu informācija pierādījumiem vai pierādot ārkārtīgi sarežģītu priekšlikumu.
Pārliecības apjoms, kas nepieciešams starp pārbaudītāju un pārbaudītāju, ir viena no galvenajām atšķirībām starp interaktīviem un neinteraktīviem nulles zināšanu pierādījumiem. Interaktīvā pierādījumā verificētājam ir jāuzticas pārbaudītājam, ka viņš ievēros protokolu un godīgi atbild uz viņa pieprasījumiem. Turpretim neinteraktīvā pierādījumā pārbaudītājam nav jāuzticas pārbaudītājam, jo viņš var neatkarīgi pārbaudīt pierādījumu, neatkarīgi no pārbaudītāja sniegtās informācijas.
Gan interaktīviem, gan neinteraktīviem nulles zināšanu pierādījumiem ir priekšrocības un trūkumi, un optimālo variantu konkrētajam gadījumam noteiks vajadzības un ierobežojumi.
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.
IZKP nevar plaši ieviest
Viens no vecākajiem izpētītajiem un plaši izmantotajiem nulles zināšanu pierādījumu veidiem ir interaktīvs nulles zināšanu pierādījums. Šīs pierādīšanas procedūras laikā starp pārbaudītāju un verificētāju būs daudz kontaktu.
IZKP ir nepieciešama mijiedarbība starp pārbaudītājiem un pārbaudītājiem, kas var būt neefektīva un laikietilpīga. Lai pabeigtu pierādījumu, pārbaudītājam ir jāapmainās ar daudziem ziņojumiem ar verificētāju. Ja ātrums ir ļoti svarīgs, piemēram, ātrās tirdzniecības vai reāllaika lēmumu pieņemšanas gadījumā, tā var būt problēma.
Piemēram, jums ir jāieiet veikalā, lai iegādātos alkoholu, bet jūs nevarat pārbaudīt savu vecumu pēc izskata, kad veikalnieks nepilngadīgais kļūst aizdomīgs. Šajā brīdī jums būs jāpaskaidro, kā jūs varat iegādāties alkoholu, izmantojot balsi.
IZKP pieņem, ka pārbaudītājs un pārbaudītājs ir patiesi un nemēģinās krāpties vai mainīt pierādījumus. Tomēr šis pieņēmums ne vienmēr ir pareizs, un pārbaudītājs var mēģināt maldināt verificētāju, nosūtot viltus signālus vai kaut kādā veidā modificējot pierādījumus. Tas var apdraudēt pierādījumu integritāti un samazināt tā izmantošanu.
Skaidri sakot, jūs neesat pietiekami vecs, lai dzertu, bet jūs joprojām lietojat vārdus, lai pierādītu pretējo. Ja tā, tad tas būtu postoši.
Tāpēc, lai gan IZKP spēj piedāvāt izcilu drošības un privātuma garantiju, iepriekš minētie trūkumi ir ierobežojuši to plašo izmantošanu.
ZK-SNARK
ZK-SNARK apzīmē nulles zināšanu kodolīgu neinteraktīvu zināšanu argumentu. ZK-SNARK protokolam ir šādas īpašības:
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.
(Par) zināšanām: bez piekļuves sensitīvai informācijai ir grūti izveidot pierādījumu bez zināšanām. Pierādītājam, kuram nav liecinieku, derīga nulles zināšanu pierādījuma aprēķināšana būs ļoti sarežģīta, ja ne neiespējama.
Lai izmantotu uzticamo iestatījumu, lietotājam ir jāuzticas dalībniekiem, kas veido parametru. Tomēr ZK-STARK izveide ir ļāvusi demonstrēt protokolus, kas darbojas nestabilos kontekstos.
ZK-STARK
Termins ZK-STARK apzīmē Zero-Knowledge Scalable Transparent Argument of Knowledge. ZK-STARK ir identisks ZK-SNARK, taču ar šādām atšķirībām:
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.
ZK-STARK rada lielākus pierādījumus nekā ZK-SNARK, kas nozīmē lielākas verifikācijas izmaksas. Tomēr noteiktos apstākļos (piemēram, milzīgu datu kopu pierādījums) ZK-STARK var būt rentablāks nekā ZK-SNARK.
Secinājums
Atšķirībā no zkSNARK, zkSTARK pamatā ir kodolīgi, interaktīvi pierādījumi, kas nozīmē, ka pierādījumus var ātri pārbaudīt, neprasot nekādu mijiedarbību starp pārbaudītāju un pārbaudītāju. Tā rezultātā zkSTARK ir labākas priekšrocības drošības un mērogojamības ziņā.
Taču, tehnoloģijām attīstoties, bez zināšanām drošas tehnoloģijas turpinās attīstīties un tiks izmantotas.
Lai gan blokķēde nodrošina decentralizāciju, caurspīdīgumu un daudzas citas priekšrocības, tikai adrešu izmantošana identitātes vietā nenodrošina privātumu.
Attiecībā uz privātuma un drošības verifikāciju nulles zināšanu droša tehnoloģija piedāvā plašu lietojumu klāstu. Lai gan tā nav jauna tehnoloģija, tās izmantošanai blokķēdes sektora izaugsmei joprojām ir daudz jaunu lietu, kas jāatklāj un jāparāda praksē.
ATRUNA: Informācija šajā tīmekļa vietnē ir sniegta kā vispārīgs tirgus komentārs un nav ieguldījumu konsultācijas. Mēs iesakām pirms ieguldīšanas veikt savu izpēti.
Pievienojieties mums, lai sekotu līdzi jaunumiem: https://linktr.ee/coincu
Harolds
Coincu ziņas