Kas yra zk-SNARK?
Kas yra ZK-SNARK?
„Zk-SNARK“ yra akronimas, reiškiantis „Nulinis žinių glaustas neinteraktyvus žinių argumentas“. A zk-SNARK yra kriptografinis įrodymas, leidžiantis vienai šaliai įrodyti, kad ji turi tam tikros informacijos, jos neatskleisdama informacija. Šis įrodymas yra įmanomas naudojant slaptą raktą, sukurtą prieš įvykdant sandorį. Jis naudojamas kaip kriptovaliutos protokolo dalis, Zcash.
Pagrindiniai išsinešimai
- „Zk-SNARK“ yra nulinių žinių įrodymo protokolas, naudojamas šifruojant, ir yra akronimas, reiškiantis „Zero-Knowledge Laucinct Non-Interactive Argument of Knowledge“.
- Šis įrodymas pirmą kartą buvo sukurtas ir pristatytas devintojo dešimtmečio pabaigoje, o dabar jį naudoja kriptovaliuta „Zcash“, kad išspręstų suvokiamą anonimiškumo problemą su „Bitcoin“ tipo blokinėmis grandinėmis.
- „Zk-SNARK“ įrodymai remiasi pradine „pasitikėjimo sistemos“ sąranka, kuri buvo kritikuojama kaip būdingas saugumo trūkumas.
„Zk-SNARK“ supratimas
Daugeliui originalių kriptovaliutų bendruomenės narių, pirmiausia „Bitcoin“, privatumas buvo numatytas tikslas ir ypatybė
kriptovaliutos. Tačiau privatumas visada buvo antros eilės rūpestis, atsižvelgiant į kriptovaliutos poreikį sukurti „nepatikimą“ sistemą, užtikrinančią elektroninės valiutos ir skaitmeninių operacijų vientisumą.2010 -ųjų pradžioje, Bitcoin vartotojai kartais manė, kad jų operacijos buvo anoniminės, nes jų tapatybės neprisijungus nebuvo susietos su naudotojų viešaisiais raktais. Tačiau dešimtmečio pabaigoje suderintos duomenų mokslininkų, įsilaužėlių ir teisėsaugos pastangos įrodė, kad tai ne tik įmanoma, bet ir palyginti lengva atpažinti žmones kurie davė pseudoniminius duomenis keliems šaltiniams.
Kadangi kai kurios originalios kriptovaliutos, tokios kaip „Bitcoin“, manė, kad neturi privatumo, kūrėjai pradėjo kurti į privatumą orientuotas monetas. The ryškiausias iš jų buvo Zcash, paremta technologija, žinoma kaip zk-SNARK.
Nulis žinių įrodymas
A zk-SNARK („nulinis žinių glaustas neinteraktyvus žinių argumentas“) naudoja sąvoką, žinomą kaip „nulinių žinių įrodymas“. Idėja už šių įrodymai pirmą kartą buvo sukurta 1980 m. Paprasčiau tariant, nulinių žinių įrodymas yra situacija, kai kiekviena iš dviejų sandorio šalių gali tai patikrinti vienas kitam, kad jie turi tam tikrą informacijos rinkinį, tuo pačiu neatskleisdami, kokia ta informacija yra.
Daugumos kitų tipų įrodymų atveju bent viena iš dviejų šalių turi turėti prieigą prie visos informacijos. Tradicinį įrodymą galima palyginti su slaptažodžiu, naudojamu prisijungti prie interneto tinklo. Vartotojas pateikia slaptažodį, o pats tinklas tikrina slaptažodžio turinį, kad patikrintų, ar jis teisingas. Norėdami tai padaryti, tinklas taip pat turi turėti prieigą prie slaptažodžio turinio.
Šios situacijos versijoje, kurioje nėra žinių, vartotojas demonstruotų tinklą (matematiškai įrodant), kad jie turi teisingą slaptažodį, faktiškai neatskleisdami slaptažodžio pats. Privatumo ir saugumo pranašumai šioje situacijoje yra aiškūs: jei tinkle nėra slaptažodžio, kuris kažkur saugomas tikrinimo tikslais, slaptažodis negali būti pavogtas.
Matematinis zk-SNARKS pagrindas yra sudėtingas. Nepaisant to, tokio tipo įrodymai leidžia vienai šaliai įrodyti ne tik, kad yra tam tikra informacijos dalis, bet ir tai, kad atitinkama šalis tą informaciją žino. „Zcash“ atveju „zk-SNARK“ galima patikrinti beveik akimirksniu, o protokolas nereikalauja jokios sąveikos tarp patvirtintojo ir tikrintojo.
Zk-SNARK kritika
Žinoma, yra problemų, susijusių su zk-SNARK. Pavyzdžiui, jei kas nors galėjo pasiekti privatų raktą naudojami kuriant įrodymo protokolo parametrus, jie galėjo sukurti klaidingus įrodymus, kurie vis dėlto atrodė galiojantys tikrintojai. Tai leistų tam asmeniui suklastoti naujus „Zcash“ žetonus. Kad taip nenutiktų, „Zcash“ buvo sukurtas taip, kad įrodymų protokolai būtų parengti ir paskirstyti kelioms šalims.
Nors „Zcash“ įrodymo procesas buvo baigtas taip, kad būtų sumažinta galimybė suklastotų žetonų, suklastotų įrodymų, yra bent vienas kitas su kriptovaliuta susijęs susirūpinimas. „Zcash“ buvo sukurtas taikant 20% „mokestį“ už visus blokus, sukurtus per pirmuosius kelerius metus. Šis mokestis yra žinomas kaip „steigėjo mokestis“ ir yra naudojamas kompensuoti kriptovaliutos kūrėjams.
Kritikai pasiūlė, kad steigėjai galėtų panaudoti šį sistemos aspektą, kad sukurtų begalinį skaičių „Zcash“ žetonų, niekam kitam nežinant apie tų žetonų egzistavimą. Dėl šios priežasties šiuo metu nėra visiškai įmanoma žinoti tikslų „Zcash“ žetonų skaičių.
Nuo 2019 m. Kai kurie kūrėjai stengiasi tobulinti „zk-SNARK“ pašalindami patikimą sąranką. Komanda vadinama Suterusu sukūrė sistemą paskambino zK-ConSNARK kuri teigia veikianti be patikimos sąrankos, gali apsaugoti privatumą tokiose pagrindinėse blokų grandinėse kaip „Bitcoin“ ir turi mažiausią infliaciją bet kuriai išlikusiai kriptovaliutai.
