Hvad er zk-SNARK?

Hvad er zk-SNARK?

Zk-SNARK er et akronym, der står for "Zero-Knowledge Succinct Non-Interactive Knowledge Argument." En zk-SNARK er et kryptografisk bevis, der tillader en part at bevise, at den besidder visse oplysninger uden at afsløre det Information. Dette bevis gøres muligt ved hjælp af en hemmelig nøgle, der er oprettet, før transaktionen finder sted. Det bruges som en del af protokollen til kryptokurrency, Zcash.

Forståelse af zk-SNARK

For mange originale medlemmer af kryptovaluta -samfundet - primært Bitcoin -samfundet - var privatlivets fred et antaget mål og træk ved

kryptokurver. Fortrolighed var imidlertid altid en anden ordens bekymring i betragtning af kryptokurrencyens behov for at oprette et "tillidsløst" system til at garantere integriteten af ​​elektronisk valuta og digitale transaktioner.

I begyndelsen af ​​2010’erne, Bitcoin brugere antog undertiden, at deres transaktioner var anonyme, fordi deres offline identiteter ikke var forbundet med brugernes offentlige nøgler. Men i slutningen af ​​årtiet viste koordinerede bestræbelser fra dataforskere, hackere og retshåndhævelse, at det ikke kun er muligt, men relativt let at genidentificere mennesker der havde givet pseudonyme data til flere kilder.

På grund af den opfattede mangel på beskyttelse af personlige oplysninger for nogle af de originale kryptokurver som Bitcoin, begyndte udviklere at arbejde med fortrolighedsfokuserede mønter. Det mest fremtrædende af disse var Zcash, understøttet af en teknologi kendt som zk-SNARKs.

Nul-videns bevis

EN zk-SNARK ("nul-viden kortfattet ikke-interaktivt vidensargument") anvender et begreb kendt som et "nul-viden bevis". Ideen bag disse beviser blev først udviklet i 1980'erne. Kort sagt, et nul-viden bevis er en situation, hvor hver af to parter i en transaktion er i stand til at verificere til hinanden, at de har et bestemt sæt oplysninger, samtidig med at de ikke afslører, hvad disse oplysninger er er.

For de fleste andre typer beviser skal mindst en af ​​de to parter have adgang til alle oplysninger. Et traditionelt bevis kan sammenlignes med et kodeord, der bruges til at få adgang til et online netværk. Brugeren indsender adgangskoden, og netværket kontrollerer selv indholdet af adgangskoden for at kontrollere, at den er korrekt. For at gøre dette skal netværket også have adgang til indholdet af adgangskoden.

En nul-videns bevis version af denne situation ville indebære, at brugeren demonstrerede for netværket (via matematisk bevis), at de har den korrekte adgangskode uden egentlig at afsløre adgangskoden sig selv. Privatlivs- og sikkerhedsfordelene i denne situation er klare: Hvis netværket ikke har adgangskoden gemt et sted til verifikationsformål, kan adgangskoden ikke stjæles.

Det matematiske grundlag for zk-SNARKS er komplekst. Ikke desto mindre tillader denne type beviser, at en part ikke kun demonstrerer, at der findes en bestemt bit information, men også at den pågældende part har bevidsthed om disse oplysninger. I tilfælde af Zcash kan zk-SNARK'er verificeres næsten øjeblikkeligt, og protokollen kræver ikke nogen interaktion mellem beviseren og verifikatoren.

Kritik af zk-SNARKs

Der er naturligvis bekymringer relateret til zk-SNARKs. For eksempel, hvis nogen kunne få adgang til den private nøgle, der var bruges til at oprette parametrene for bevisprotokollen, kunne de oprette falske beviser, som ikke desto mindre så gyldige ud for verifikatorer. Dette ville give denne person mulighed for at oprette nye tokens for Zcash gennem en forfalskningsproces. For at forhindre dette i at ske, blev Zcash designet på en sådan måde, at bevisprotokollerne blev uddybet og spredt ud over flere parter.

Mens konstruktionen af ​​Zcash -bevisprocessen blev afsluttet på en sådan måde, at det minimerede muligheden for forfalskningstokener via falske beviser, er der også mindst en anden bekymring relateret til kryptokurrency. Zcash blev oprettet med en 20% "skat" opkrævet på alle blokke oprettet i løbet af de første mange år af token. Denne skat er kendt som "grundlægger skat", og den bruges til at kompensere udviklerne af kryptokurrency.

Kritikere har antydet, at grundlæggerne potentielt kunne bruge denne facet af systemet til at oprette et uendeligt antal Zcash -tokens, uden at andre er klar over eksistensen af ​​disse tokens. Af den grund er det ikke helt muligt at kende det nøjagtige antal Zcash -tokens, der findes på dette tidspunkt.

Siden 2019 har nogle udviklere arbejdet på at forbedre zk-SNARK'er ved at fjerne den pålidelige opsætning. Et hold ved navn Suterusu har udviklet et system hedder zK-ConSNARK der hævder at kunne fungere uden en betroet opsætning, kan yde beskyttelse af privatlivets fred for almindelige blockchains som Bitcoin og har den laveste inflation for enhver eksisterende kryptokurrency.