Vad är zk-SNARK?

Vad är zk-SNARK?

Zk-SNARK är en förkortning som står för "Zero-Knowledge Succinct Non-Interactive Knowledge Argument." En zk-SNARK är ett kryptografiskt bevis som gör att en part kan bevisa att den har viss information utan att avslöja det information. Detta bevis görs möjligt med hjälp av en hemlig nyckel som skapades innan transaktionen äger rum. Det används som en del av protokollet för kryptovalutan, Zcash.

Förstå zk-SNARK

För många ursprungliga medlemmar i kryptovaluta -gemenskapen - främst Bitcoin -gemenskapen - var integritet ett antaget mål och en egenskap hos

kryptovalutor. Sekretess var emellertid alltid ett problem av andra ordningen, med tanke på kryptovalutans behov av att skapa ett "förtroendefritt" system för att garantera integriteten hos elektronisk valuta och digitala transaktioner.

I början av 2010 -talet Bitcoin användare antog ibland att deras transaktioner var anonyma eftersom deras offline -identiteter inte var kopplade till användarnas offentliga nycklar. Men genom slutet av decenniet visade samordnade insatser av datavetenskapare, hackare och brottsbekämpning att det inte bara är möjligt utan relativt lätt att identifiera människor igen som hade gett pseudonym data till flera källor.

På grund av den upplevda bristen på integritet hos några av de ursprungliga kryptovalutorna som Bitcoin, började utvecklare arbeta med sekretessfokuserade mynt. De mest framträdande av dessa var Zcash, backas upp av en teknik som kallas zk-SNARKs.

Zero-Knowledge Proof

A zk-SNARK ("noll-kunskap kortfattat icke-interaktivt kunskapsargument") använder ett begrepp som kallas ett "noll-kunskapsbevis". Tanken bakom dessa bevis utvecklades först på 1980 -talet. Enkelt uttryckt är ett nollkunskapsbevis en situation där var och en av två parter i en transaktion kan verifiera varandra att de har en viss uppsättning information, samtidigt som de inte avslöjar vad den informationen innebär är.

För de flesta andra typer av bevis måste minst en av de två parterna ha tillgång till all information. Ett traditionellt bevis kan jämföras med ett lösenord som används för att få åtkomst till ett online -nätverk. Användaren skickar in lösenordet och nätverket kontrollerar själva lösenordets innehåll för att verifiera att det är korrekt. För att göra detta måste nätverket också ha åtkomst till innehållet i lösenordet.

En nollkunskapssäker version av denna situation skulle innebära att användaren demonstrerar för nätverket (via matematiskt bevis) att de har rätt lösenord utan att faktiskt avslöja lösenordet sig. Sekretess- och säkerhetsfördelarna i denna situation är tydliga: Om nätverket inte har lösenordet lagrat någonstans för verifieringsändamål kan lösenordet inte stulas.

Den matematiska grunden för zk-SNARKS är komplex. Ändå tillåter bevis av denna typ en part att visa inte bara att en viss bit information finns, utan också att den aktuella parten har medvetenhet om den informationen. När det gäller Zcash kan zk-SNARK verifieras nästan omedelbart, och protokollet kräver ingen interaktion mellan provaren och verifieraren.

Kritik av zk-SNARKs

Det finns naturligtvis problem med zk-SNARK. Till exempel om någon kunde komma åt den privata nyckeln används för att skapa parametrarna för provprotokollet, kan de skapa falska bevis som ändå såg giltiga ut verifierare. Detta skulle göra det möjligt för den personen att skapa nya tokens för Zcash genom en förfalskningsprocess. För att förhindra att detta händer har Zcash utformats på ett sådant sätt att bevisprotokollen utvecklas och sprids ut över flera parter.

Medan konstruktionen av Zcash -bevisprocessen slutfördes på ett sådant sätt att man minimerade möjligheten att förfalskningstoken via falska bevis, finns det åtminstone en annan oro relaterad till kryptovalutan också. Zcash skapades med en 20% "skatt" som tas ut på alla block som skapats under de första åren av token. Denna skatt är känd som "grundarens skatt", och den används för att kompensera utvecklarna av kryptovalutan.

Kritiker har föreslagit att grundarna potentiellt kan använda denna aspekt av systemet för att skapa ett oändligt antal Zcash -tokens utan att någon annan är medveten om att dessa tokens finns. Av den anledningen är det inte helt möjligt att veta det exakta antalet Zcash -tokens som existerar vid denna tidpunkt.

Sedan 2019 har några utvecklare arbetat med att förbättra zk-SNARK genom att ta bort den pålitliga konfigurationen. Ett team som heter Suterusu har utvecklat ett system kallad zK-ConSNARK som påstår sig fungera utan en pålitlig inställning, kan ge integritetsskydd för vanliga blockchains som Bitcoin och har den lägsta inflationen för någon befintlig kryptovaluta.