Zk-SNARK-MÄÄRITELMÄ
Tietosuoja on pitkään ollut kryptovaluuttojen keskeinen tavoite ja piirre. Sen, mitä voidaan pitää yksityisenä aikaisemmin teollisuuden historiassa, ei kuitenkaan useinkaan näytä olevan kyse. Esimerkiksi väitteet bitcoin-nimettömyydestä hylätään nyt usein, koska lohkoketjut ovat avoimia ja avoimia: Vaikka yksittäistä bitcoin-osoitetta ei linkitetä yhdelle verkossa olevalle henkilölle, kaikkia bitcoinimaailmassa tapahtuvia tapahtumia voidaan seurata ja kartoitettu. Tämän tyyppinen blockchain-analyysi on ollut Blockonomin mukaan keskeinen piirre hallitusten ja lainvalvontaviranomaisten pyrkimyksissä torjua erilaisia salausvaluuttaan liittyviä rikoksia ja vastaavia kysymyksiä. Joidenkin alkuperäisten salaustekijöiden, mukaan lukien bitcoinien, yksityisyyden havaittavan puutteen vuoksi viime vuosina on tapahtunut uusi tietosuojaan keskittyvien rahakkeiden ja kolikoiden aalto. Yhtä näistä, zcash, tukee tekniikka, joka tunnetaan nimellä zk-SNARK.
JAKAUTUMINEN zk-SNARK
Zk-SNARK ("nollatiedon ytimekäs ei-interaktiivinen tiedon argumentti") käyttää käsitettä, joka tunnetaan nimellä "nollatiedon todiste". Näiden todisteiden idea on oikeasti vakiintunut, koska ne suunniteltiin ensimmäisen kerran 1980-luvulla. Yksinkertaisesti sanottuna nolla tietämystä todistava tilanne on tilanne, jossa molemmat kaupan osapuolet voivat varmistaa toisilleen, että niillä on tietty tietoryhmä, samalla kun he eivät paljasta mitä nämä tiedot ovat. Useimpien muun tyyppisten todisteiden suhteen vähintään yhdellä osapuolelta on oltava pääsy kaikkiin tietoihin, mikä tarkoittaa, että nolla-tietoturva on poikkeus normista.
Esimerkki perinteisestä todisteesta harkitse salasanaa, jota käytetään verkkoverkkoon pääsyyn. Käyttäjä lähettää salasanan, ja verkko itse tarkistaa salasanan sisällön oikein. Tätä varten verkolla on oltava pääsy myös salasanan sisältöön. Tietämättömän version tilanteesta edellyttäisi, että käyttäjä osoittaa verkolle (matemaattisen todistuksen avulla), että hänellä on oikea salasana, paljastamatta itse salasanaa. Yksityisyyden ja turvallisuuden edut tässä tilanteessa ovat selvät: Jos verkossa ei ole salasanaa tallennettu jonnekin tarkistustarkoituksia varten, salasanaa ei voida varastaa.
Zk-SNARKSin matemaattinen perusta on monimutkainen. Tästä huolimatta tämän tyyppiset todisteet antavat yhdelle osapuolelle mahdollisuuden osoittaa paitsi tietyn tietomäärän olemassaolo myös sen, että kyseinen osapuoli on tietoinen kyseisistä tiedoista. Zcash-tapauksessa zk-SNARK: t voidaan tarkistaa melkein heti, eikä protokolla vaadi mitään vuorovaikutusta proverin ja todentajan välillä.
Tietenkin huolenaiheita liittyy myös zk-SNARK-tuotteisiin. Esimerkiksi, jos joku pystyi pääsemään salaiseen satunnaisuuteen, jota käytettiin todistusprotokollan parametrien luomiseen, hän voi luoda vääriä todisteita, jotka näyttivät silti kelpoisilta todentajille. Tämän avulla henkilö voisi luoda uusia zcash-tunnuksia väärentämisprosessin avulla. Tämän estämiseksi zcash suunniteltiin siten, että todistuspöytäkirjat kehitettiin ja jaettiin useille osapuolille.
Vaikka zcash-todistusprosessin rakentaminen saatiin päätökseen tavalla, joka minimoi rahakkeiden väärentämisen mahdollisuuden vääriä todisteita käyttämällä, on myös ainakin yksi muu huolenaihe, joka liittyy salausvaluuttaan. Zcash luotiin 20-prosenttisella "verolla", joka kannettiin kaikista lohkoista, jotka luotiin kuuden ensimmäisen vuoden aikana. Tätä veroa kutsutaan "perustajaveroksi", ja sitä käytetään korvaamaan kryptovaluutan kehittäjille. Kriitikot ovat ehdottaneet, että perustajat voisivat mahdollisesti käyttää tätä järjestelmän puolta luomalla äärettömän määrän zcash-tokeneja ilman, että kukaan muu olisi tietoinen näiden kuponkien olemassaolosta. Tästä syystä ei ole täysin mahdollista tietää tarkkaa tällä hetkellä olemassa olevien zcash-tokenien lukumäärää.
