Kas ir zk-SNARK?

Kas ir zk-SNARK?

Zk-SNARK ir akronīms, kas apzīmē “Zemes zināšanu kodolīgu neinteraktīvu zināšanu argumentu”. Zk-SNARK ir kriptogrāfiskais pierādījums, kas ļauj vienai pusei pierādīt, ka tās rīcībā ir noteikta informācija, to neatklājot informāciju. Šis pierādījums ir iespējams, izmantojot slepeno atslēgu, kas izveidota pirms darījuma. To izmanto kā daļu no kriptovalūtas protokola, Zkašs.

Izpratne par zk-SNARK

Daudziem sākotnējiem kriptovalūtas kopienas dalībniekiem - galvenokārt Bitcoin kopienai - privātums bija pieņemts mērķis un iezīme

kriptovalūtas. Tomēr privātums vienmēr bija otrās kārtas problēma, ņemot vērā kriptovalūtas nepieciešamību izveidot "neuzticamu" sistēmu, kas garantē elektroniskās valūtas un digitālo darījumu integritāti.

2010. gadu sākumā, Bitcoin lietotāji dažreiz uzskatīja, ka viņu darījumi ir anonīmi, jo viņu bezsaistes identitāte nebija saistīta ar lietotāju publiskajām atslēgām. Taču desmitgades beigās datu zinātnieku, hakeru un tiesībaizsardzības iestāžu saskaņoti centieni pierādīja, ka tas ir ne tikai iespējams, bet arī salīdzinoši viegli atpazīt cilvēkus kurš bija devis pseidonīmus datus vairākiem avotiem.

Tā kā dažām sākotnējām kriptovalūtām, piemēram, Bitcoin, trūkst privātuma, izstrādātāji sāka strādāt pie monētām, kas vērstas uz privātumu. The visredzamākā no šiem bija Zkašs, ko atbalsta tehnoloģija, kas pazīstama kā zk-SNARKs.

Nulles zināšanu pierādījums

A zk-SNARK ("īsu zināšanu īss neinteraktīvs zināšanu arguments") izmanto jēdzienu, kas pazīstams kā "nulles zināšanu pierādījums". Ideja aiz šiem pierādījumi pirmo reizi tika izstrādāta astoņdesmitajos gados. Vienkārši sakot, nulles zināšanu pierādījums ir situācija, kurā katra no divām darījuma pusēm spēj to pārbaudīt viens otram, ka viņiem ir noteikta informācijas kopa, vienlaikus neatklājot, kāda ir šī informācija ir.

Lielākajai daļai citu pierādījumu veidu vismaz vienai no abām pusēm ir jābūt piekļuvei visai informācijai. Tradicionālo pierādījumu var salīdzināt ar paroli, ko izmanto, lai piekļūtu tiešsaistes tīklam. Lietotājs iesniedz paroli, un pats tīkls pārbauda paroles saturu, lai pārliecinātos, ka tā ir pareiza. Lai to izdarītu, tīklam jābūt arī piekļuvei paroles saturam.

Šīs situācijas nulles zināšanu pierādījuma versijā lietotājs demonstrētu tīklu (izmantojot matemātisku pierādījumu), ka viņiem ir pareiza parole, neatklājot paroli pati. Privātuma un drošības priekšrocības šajā situācijā ir skaidras: ja tīklā verifikācijas nolūkos nav saglabāta parole, paroli nevar nozagt.

Zk-SNARKS matemātiskais pamats ir sarežģīts. Tomēr šāda veida pierādījumi ļauj vienai pusei pierādīt ne tikai to, ka pastāv konkrēts informācijas apjoms, bet arī to, ka attiecīgā puse ir informēta par šo informāciju. Zcash gadījumā zk-SNARK var pārbaudīt gandrīz uzreiz, un protokols neprasa nekādu mijiedarbību starp pārbaudītāju un verificētāju.

Zk-SNARK kritika

Protams, pastāv bažas saistībā ar zk-SNARK. Piemēram, ja kāds varēja piekļūt privātajai atslēgai ko izmanto, lai izveidotu pierādīšanas protokola parametrus, tie varētu radīt nepatiesus pierādījumus, kas tomēr izskatījās derīgi verificētājiem. Tas ļautu šai personai viltošanas procesā izveidot jaunus Zcash marķierus. Lai tas nenotiktu, Zcash tika izstrādāts tā, lai pierādīšanas protokoli būtu izstrādāti un izplatīti vairākās pusēs.

Kaut arī Zcash pierādīšanas procesa būvniecība tika pabeigta tā, lai iespējami samazinātu iespēju viltotus žetonus, izmantojot nepatiesus pierādījumus, ir vismaz viena cita problēma, kas saistīta arī ar kriptovalūtu. Zcash tika izveidots ar 20% "nodokli", kas tika iekasēts par visiem blokiem, kas izveidoti vairāku pirmo marķiera gadu laikā. Šis nodoklis ir pazīstams kā "dibinātāja nodoklis", un to izmanto, lai kompensētu kriptovalūtas izstrādātājus.

Kritiķi ir ierosinājuši, ka dibinātāji varētu izmantot šo sistēmas aspektu, lai izveidotu bezgalīgu skaitu Zcash žetonu, nevienam citam nezinot par šo žetonu esamību. Šī iemesla dēļ šobrīd nav pilnīgi iespējams uzzināt precīzu Zcash žetonu skaitu.

Kopš 2019. gada daži izstrādātāji ir strādājuši, lai uzlabotu zk-SNARK, noņemot uzticamo iestatījumu. Komandai ar nosaukumu Suterusu ir izstrādāja sistēmu sauca zK-ConSNARK kas apgalvo, ka ir darbināms bez uzticama iestatījuma, var nodrošināt privātuma aizsardzību tādām galvenajām blokķēdēm kā Bitcoin, un tai ir zemākā inflācija jebkurai pastāvošajai kriptovalūtai.