OPREDELITEV zk-SNARK
Zasebnost je že dolgo osrednji cilj in značilnost kripto valut. Vendar pa se tisto, kar se je v zgodovini industrije v preteklosti lahko štelo za zasebno, pogosto ne zdi več tako. Na primer, trditve, da je bitcoin anonimen, zdaj pogosto ovržejo, saj so blockchains pregledni in odprti: Čeprav posamezni bitcoin naslov ni povezan z eno osebo v omrežju, je mogoče slediti vsem transakcijam, ki se odvijajo v bitcoin svetu. in preslikana. Blockchain analiza te vrste je bila osrednja značilnost vladnih in organov pregona pri odpravljanju različnih zločinov, povezanih s kripto valutami, in podobnih vprašanj, poroča Blockonomi. Zaradi zaznane pomanjkljivosti zasebnosti nekaterih prvotnih kripto valut, vključno z bitcoini, je v zadnjih letih nov val zasebnih žetonov in kovancev, ki so usmerjeni v zasebnost. Enega od teh, zcash, podpira tehnologija, znana kot zk-SNARK.
BREAKING DOWN zk-SNARK
Zk-SNARK ("nuklearno neaktiven argument znanja") uporablja koncept, znan kot "dokaz o ničelnem znanju." Ideja za te dokaze je pravzaprav precej uveljavljena, saj so bili prvič zasnovani v osemdesetih letih. Preprosto povedano, dokaz z ničelnim znanjem je situacija, v kateri lahko vsaka od strank v transakciji drug drugemu preveri, ali ima določen nabor informacij, hkrati pa ne razkrije, kaj so te informacije. Za večino drugih vrst dokazovanja mora imeti vsaj ena od obeh strank dostop do vseh informacij, kar pomeni, da je dokaz o ničemernem znanju odstopanje od norme.
Za primer tradicionalnega dokaza razmislite o geslu, ki se uporablja za dostop do spletnega omrežja. Uporabnik vnese geslo, omrežje pa sam preveri vsebino gesla, da preveri, da je pravilno. Za to mora imeti omrežje tudi dostop do vsebine gesla. Različica, ki ni dokazana z ničelnim znanjem, bi uporabnika omrežju (z matematičnim dokazom) dokazala, da ima pravilno geslo, ne da bi dejansko razkrila geslo. Prednosti za zasebnost in varnost v tej situaciji so jasne: Če omrežje nima gesla, ki je nekje shranjeno za namene preverjanja, gesla ni mogoče ukrasti.
Matematična osnova zk-SNARKS je zapletena. Kljub temu takšni dokazi omogočajo eni strani, da dokaže, da ne obstaja le določen del informacij, ampak tudi, da zadevna stranka te informacije pozna. V primeru zcash je mogoče zk-SNARK preveriti skoraj takoj, protokol pa ne zahteva nobene interakcije med dokaznikom in preveriteljem.
Seveda obstajajo pomisleki, povezani tudi zk-SNARK. Na primer, če je nekdo lahko dostopal do tajne naključnosti, ki je bila uporabljena za ustvarjanje parametrov dokaznega protokola, je lahko ustvaril lažne dokaze, ki so bili kljub temu videti veljavni za preveritelje. To bi osebi omogočilo ustvarjanje novih žetonov zcash s postopkom ponarejanja. Da bi preprečili, da bi se to zgodilo, je bil zcash zasnovan tako, da so dokazili protokoli izpopolnjeni in razporejeni po več strankah.
Medtem ko je bila konstrukcija postopka dokazovanja zcash končana tako, da je zmanjšana možnost ponarejanja žetonov z lažnimi dokazi, obstaja še vsaj ena težava, povezana s kriptovalutami. Zcash je bil ustvarjen z 20-odstotnim davkom na vse bloke, ustvarjene v prvih nekaj letih žetona. Ta davek je znan kot "davek ustanovitelja", uporablja pa se za nadomestilo razvijalcem kripto valute. Kritiki predlagajo, da bi ustanovitelji potencialno lahko uporabili to plat sistema za ustvarjanje neskončnega števila zcash žetonov, ne da bi se kdo drug zavedal teh žetonov. Iz tega razloga na tem mestu ni povsem mogoče vedeti natančnega števila obstoječih žetonov zcash.
