Mitä zkSNARKit ovat? | Täydellinen opas

Kun yhä useammat ihmiset ovat omaksuneet Bitcoin ja hämmästyttävän tekniikan, joka saa sen toimimaan, he ovat myös löytäneet joitain sen tärkeimmistä sudenkuopista. Yksi niistä on täysin nimettömän kaupan käsite. Vaikka Bitcoinin ajatellaan usein olevan "anonyymi", se on tosiasiassa vain "salanimi", koska jokaista Bitcoin-osoitteen tapahtumia seurataan yleisöllä blockchain. On kuitenkin myös muita salaustekniikoita, jotka ovat kyenneet kehittämään lohkoketjuja, jotka tarjoavat täydellisen yksityisyyden protokolloissaan. Yksi tällainen kryptovaluutta on Zcash joka käyttää vallankumouksellista yksityisyyden toteutusta, jota kutsutaan zkSNARKs.

Tässä viestissä katsotaan zkSNARKien perusteita, kuinka he piilottavat yksityisyyden ja miten ne kehittyvät tulevaisuudessa.

Sen nolla tietämys

zkSNARK: t perustuvat suhteellisen viimeaikaiseen salaustekniikan periaatteeseen, jota kutsutaan nolla tietotodisteeksi. Alussa akateeminen paperi että teoreettiset nolla tietämysprotokollat ​​määritettiin seuraavasti:

"Nolladaton protokolla on menetelmä, jolla yksi osapuoli (todistaja) voi osoittaa toiselle osapuolelle (todentajalle), että jokin on totta, paljastamatta mitään tietoa paitsi tosiasia, että tämä tietty lausunto on totta."

Joten pohjimmiltaan nolla tietämystä voi antaa yhden ihmisen todistaa tietävänsä jotain salaa paljastamatta mitä tämä salaisuus on. Tällä on tärkeitä vaikutuksia moniin tilanteisiin, joissa meidän on vaihdettava salaisuus, mutta emme voi täysin luottaa siihen puolueeseen, jolle me lähetämme tietoja.

Ajattele esimerkiksi tapaa, jolla online-salasanasi toimivat. Kun lisäät salasanasi verkkosivustoon, se lähetetään palvelimelle ja tallennetaan hajautetussa muodossa. Vaikka hashit yrittävät peittää salasanan, toimivaltainen hakkeri käsissä hash voi olla yhtä vaarallinen kuin pelkkä teksti. Siksi paljastat salaisuuden verkkosivustolle ja luotat sivuston oletettuun luotettavuuteen sen suojelemiseksi. Eikö olisi paljon turvallisempaa, jos voisit osoittaa tietosi salasanasta ratkaisemalla salakirjoitustodistuksen?

Juuri näin nolla tietotodistus toimii ja ne ovat erityisen tärkeitä salausteknisissä protokollissa. Haluat pystyä todistamaan osapuolelle, että olet tekemässä kauppaa sillä, että pidät todella lompakon yksityistä avainta paljastamatta sitä yksityistä avainta. Teorian mukaan, jotta nolla tietämystodistetta olisi pätevä, sen on täytettävä seuraavat vaatimukset:

• täydellisyys: Jos syöte on totta, todistus palaa aina “totta”.
• vakaus: Jos syöte on väärä, et voi huijata nolla-tietoturvaa palataksesi "totta".
• Nollatietotodistuksen: Varmentaja ei oppi muuta kuin onko lausunto totta

Nyt kun olemme luoneet perustan nollalle tietoturvallisuudelle, katsotaanpa miten ne on sisällytetty zkSNARKSiin.

zkSNARK ja blokkiketjut

zkSNARK: t laajentavat nolla tietotodistuksen matemaattista teoriaa ja sallivat niiden käytön lohkoketjuissa, joissa laskennallinen monimutkaisuus on heikko. “ZkSNARKs” tarkoittaa Zero Knowledge Succinct -ohjelman ei-interaktiivista tiedon perustelua. Kyllä, se on suurta, mutta murtataan se sana sanalta.

• Nollatietotodistuksen: Selitetty yllä
• ytimekäs Voidaan varmistaa nopeasti
• Ei vuorovaikutteinen: Todiste siitä, että yksi sanoma voidaan lähettää sananlaskijasta todentajalle. Viestejä ei tarvitse edestakaisin.
• Tiedon peruste: Sananlasku voi vakuuttaa todentajan, että tietoja on olemassa ja että he ovat ainoa henkilö, joka voi käyttää näitä tietoja paljastamatta mainittua tietoa.

Säännöllisissä tapahtumissa, kun maksu lähetetään osapuolelta toiselle, tämän maksun yksityiskohdat ovat näkyvissä kaikille verkon solmuille. Tämä sisältää kaikki tapahtuman tulot ja lähdöt, jotka sisältävät tietoja julkisista osoitteista ja määristä. Kuitenkin nolla tietotapahtumassa ainoa tieto, jota voidaan kerätä, on, että tapahtuma on tapahtunut. Lähettäjästä, vastaanottajasta tai summasta ei ole tietoja. Alla on yksinkertainen visuaalinen esitys siitä, kuinka nolla tietotapahtuma toimii lohkoketjussa.

Toinen termi näille liiketoimille on ”suojattu kauppa”. zkSNARK-merkkejä käytetään todistamaan, että voimassa olevan kaupan ehdot täyttyvät paljastamatta mitään. Tämän tapahtuman lähettäjän on rakennettava todiste, joka osoittaa seuraavat:

• Tuloarvot ovat samat kuin lähtöarvot
• Lähettäjällä on todellakin mahdollisuus hallita lompakon yksityisiä avaimia
• Yksityisen kulutusavaimen ja tapahtuman allekirjoituksen välillä on salauslinkki. Tämä eliminoi mahdollisuuden, että kolmas osapuoli voi vääristää kauppaa.

Tietenkin, tämä on zkSNARKSin ja nolla tietoturvan perustana oleva teoria. Syvempi tarkastelu edellyttäisi kehittyneen laskennallisen matematiikan ja kryptografian ymmärtämistä (kuu - matematiikka KTM: n mukaan) Vitalik Buterin).

zkSNARKS käytössä

Koska zkSNARK-merkeillä on niin tärkeä vaikutus kryptovaluutoihin, niitä käytetään jo monissa ketjuissa ja muut harkitsevat niitä. Erityisesti niitä suosittiin käytettäväksi Zcash-protokolla.

Zcash on yksi maailman suosituimmista kryptovaluutoista Nykyinen markkinakatto on 4.3 miljardia dollaria. Siellä on myös ollut useita Zcash-haarukoita ja haarukat. Esimerkiksi, sinulla on Zclassic, joka on Zcashin haarukka. Zclassic on myös syntynyt kaksi omaa haarukkakolikkoaan ZenCash ja Bitcoin Yksityinen. Molemmat ketjut käyttävät zkSNARK-tuotteita suojattuihin liiketoimiinsa. Sitten on myös toiseksi arvokkaimman salausvaluutan tavoitteet, Ethereum, sisällyttää zkSNARK-protokollat ​​protokollaan. Tämä tulee osa heidän Metropolis-päivitystä, joka sisältää useita ominaisuuksia, kuten Proof-of-Panos.

zk-SNARK-tuki on avainominaisuus ethereumin etenemissuunnitelmassa

- Vitalik “Ei anneta ETH: tä” Buterin (@VitalikButerin) Helmikuu 3, 2017

Tällä hetkellä laskennallinen monimutkaisuus, joka liittyy monien näiden todisteiden tuottamiseen, on melko korkea. Tämä rajoittaa niiden soveltamista monissa muissa mahdollisissa käyttötapauksissa. Koska kuitenkin tehdään lisää työtä tämän suhteen ja laskentateho kasvaa, näemme todennäköisesti samanlaista tekniikkaa monissa yksityisyyttä koskevissa sovelluksissa.

Mahdolliset haasteet

Yksi tärkeimmistä nollaosaamisketjujen huolenaiheista on, että niiden on luottava tiettyyn ”pääavaimeen”. Aktiivisen pääavaimen saaminen miljardien arvoiseen lohkoketjuun on epäilemättä iso asia. Tämä on varjo, joka on säilynyt Zcash-lohkon yli sen perustamisesta lähtien. Vaikka ZCash-ryhmä on väittänyt tuhottaneensa pääavaimen Zcash-seremoniassaan, on aina vaara, että se olisi voinut vuotaa tai joku saa kopion. Pian tähän voi kuitenkin löytyä vaihtoehto toisen ainutlaatuisen sovituksen, nimeltään “zkSTARK”, muodossa. Tämän tekniikan tärkein etu zkSNARK-laitteisiin nähden on, että sen ei tarvitse luottaa pääavaimeen tai julkisen avaimen kryptografiaan. He tarvitsevat vain yksinkertaisen algoritmin toimiakseen. zkSTARKs voisi myös olla paljon tehokkaampi laskentatehon suhteen, jota tarvitaan todisteiden suorittamiseen. Teknologia on kuitenkin vasta alkuvaiheessa, ja sitä tutkitaan edelleen lukuisissa salaustekniikoissa. Olisi mielenkiintoista nähdä miten tekniikka kehittyy seuraavien vuosien aikana.

Yhteenveto

Bitcoin kehitettiin useista syistä, joista yksi oli antaa henkilökohtainen varainhoidon hallinta yksilöille. Haltijan yksityisyys on todennäköisesti ollut toinen tärkeimmistä näkökohdista. Mutta kun kryptovaluuttojen käyttöönotto on kasvanut, hallitusten ja virastojen kyky seurata huolellisesti näitä tapahtumia hyvin julkisessa blockchainissa.

ZkSNARK-tekniikan kaltaisella tekniikalla tällaiset liiketoimet kuitenkin suojataan ja osapuolet pysyvät täysin nimettöminä. On myös paljon muita sovelluksia, jotka hyötyvät näistä teknologisista edistyksistä. Vaikka tekniikka on vielä uutta ja kysymyksiä on edelleen, ei voida alentaa todella yksityisen salausvaluutan kysyntää.

Lähde: https://unhashed.com/cryptocurrency-coin-guides/what-are-zksnarks/