Šis ir Vernacular Blockchain Original Author | 1943. gada numurs, kuru sagatavoja Huohuo |.

Ilgu laiku var iegūt tikai divus no trim neiespējamajiem blokķēdes trijstūriem (tas ir, mērogojamību, decentralizāciju un drošību), tāpēc pēc tam, kad Ethereum sasniedza augstāku drošības un privātuma pakāpi, paplašināšana kļuva par galveno prioritāti. Tāpēc tika izveidots 2. slānis Pašreizējā 2. slāņa paplašināšanas plānā Ethereum līdzdibinātājs Vitaliks Buterins (V Gods) uzskata ZK tehnoloģiju par labāko risinājumu paplašināšanas problēmai.

21. maijā konferencē EDCON 2023, bezpeļņas ikgadējā globālajā Ethereum konferencē, kas notika Melnkalnē, Buterīns sacīja, ka nākamajos 10 gados zk-SNARK ar ZK kā pamatā esošo tehnoloģiju būs tikpat svarīga kā blokķēde.

Tātad, kādi ir zk-SNARKi, kurus nesen reklamēja V Gods? Kādas neatrisināmas problēmas var atrisināt blokķēde? Apskatīsim šodienas ievadu. Šis ir teksts:

 

01 Kas ir zk-SNARK?

1. Kas izveidoja zk-SNARK?

Terminu "zk-SNARKs" ieviesa kriptogrāfu grupa, tostarp Nir Bitansky, Alesandro Chiesa un Eran Tromer, kuri sākotnēji publicēja zk-SNARK pamatprincipus rakstā. Kopš tā laika zk-SNARK ir pakāpeniski attīstījuši un uzlabojuši daudzi dažādi projekti un komandas.

2. Ko apzīmē zk-SNARK?

- ZK: nulles zināšanu nulle zināšanu

Nulles zināšanas nozīmē, ka persona, kas pārbauda pretenziju, nevar iegūt jaunu informāciju no pārbaudes procesa. Citiem vārdiem sakot, nulles zināšanu pierādīšanas procesā verificētājs zina tikai to, vai apgalvojums ir patiess vai nepatiess, un neko citu.

- S: vienkāršība

Īsie zk-SNARK pierādījumi ir īsi un viegli pārbaudāmi pierādījumi. Tas ir pretstatā parastajiem nulles zināšanu pierādījumiem, kas var būt ļoti gari un sarežģīti. Parasti zk-SNARK pierādījumus var pārbaudīt milisekundēs.

- N: neinteraktīvs, neinteraktīvs

Neinteraktīviem zk-SNARK pierādījumiem nav nepieciešama nekāda mijiedarbība starp pārbaudītāju un pārbaudītāju. Tas nozīmē, ka no pārbaudītāja verificētājam tiek nosūtīts tikai viens ziņojums. Tas ir pretstatā interaktīvajiem pierādījumiem, kur pārbaudītājam un pārbaudītājam ir savstarpēji jāsadarbojas, lai pabeigtu pierādījumu.

- AR: arguments

Arguments ir iemesls vai iemeslu kopums, kas atbalsta viedokli. Zk-SNARK kontekstā arguments ir matemātisko darbību secība, ko izmanto, lai pierādītu, ka norādītais arguments ir pareizs.

- K: zināšanas zināšanas

Zināšanas ir ideja, ka pierādītājs zina kādu informāciju, kas nepieciešama, lai pabeigtu pierādījumu. Piemēram, tā var būt konta privātā atslēga.

Rezumējot, zk-SNARK ir ZK sistēma (nulles zināšanu pierādījuma sistēma), kas ļauj lietotājiem (“sertificētājiem”) kaut ko pierādīt citai pusei (“verifikatoram”), piemēram, savu identitāti, līdzekļu īpašumtiesības utt. neizpaužot nekādu informāciju par šiem aktīviem. Piemēram:

- Lietotājam ir jāspēj pierādīt, ka viņa kontā ir pietiekams atlikums, lai iegādātos produktu vai pakalpojumu, nedalot precīzu summu, kāda viņam ir viņa personas dati.

Kā piemēru tam, kā “izskaidrot zk-SNARK 5 gadus vecam bērnam”, šeit ir spēle, lai izskaidrotu, kas ir zk-SNARK:

"Iedomājieties, ka spēlējaties ar trim draugiem. "Kur ir ķīniešu skolotājs? ”, balva ir 1000 $ likme, kas vienādās daļās tiek sadalīta starp uzvarētājiem.

Jums ir jāatrod attēlā redzamā ķīniešu skolotāja. Kad esat atradis ķīniešu skolotāju, jums jāpierāda, ka esat viņu atradis, taču jūs nevarat atklāt viņas atrašanās vietu vai citu informāciju. Citiem vārdiem sakot, jūs vēlaties pierādīt zināšanas par faktiem, neatklājot nekādu informāciju, kas pārsniedz jūsu apgalvojumu pamatotību.

Izmantojot zkSNARK, varat paņemt tāda paša izmēra papīra lapu un attēlā atzīmēt punktu uz ķīniešu skolotājas pozīcijas. Pēc tam papīru var paslēpt kastē, un, tiklīdz jūsu draugi ir atrisinājuši mīklu, viņi paši varēs redzēt jūsu atzīmētā ķīniešu skolotāja atrašanās vietu. "

Citiem vārdiem sakot, zk-SNARK ļauj jums pierādīt nepieciešamo verifikācijas informāciju, neatklājot šīs informācijas konkrēto vērtību. Pašreizējā pārrobežu ķēžu ekosistēmā zk-SNARKs tehnoloģijas izmantošana var saglabāt tās platformā izveidoto blokķēžu un DApps privātumu. Šeit galvenā doma ir tāda, ka verificētājam nav iespējams iegūt nekādu informāciju par pierādījumu (tātad nosaukums "nulles zināšanu" pierādījums).

02 Kā darbojas zk-SNARKs

zk-SNARK ir īpaši svarīgi kriptovalūtu jomā, kur privātums ir īpaši svarīgs, jo daudzas blokķēdes ir publiskas. Slavenākais piemērs ir Zcash, privātuma kriptogrāfijas līdzeklis. Kad Zcash tiek tirgots publiskās ķēdēs, piemēram, Bitcoin un Ethereum, pārbaudei tiek izmantota informācija, piemēram, sūtītāja un saņēmēja adrese, kā arī ievades un izvades vērtības (t.i., cik daudz tika iztērēts un cik daudz netika iztērēts). Bet ar zk-SNARK Zcash var pierādīt, ka darījums ir derīgs, neatklājot tādu informāciju kā adrese un vērtība.

Kā Zcash izmanto zkSNARKS, lai nodrošinātu privātuma līmeni kriptovalūtu lietotājiem Avots: Blockchainhub.net

Kā darbojas zk-SNARK? Ciparparaksti veido zk-SNARK darbību. Digitālie paraksti izmanto šifrēšanas algoritmus, lai aizsargātu sensitīvu informāciju, slēpjot to no otras puses, vienlaikus nodrošinot tai nepieciešamos pierādījumus. Tātad, kā tieši tas tiek darīts? Darbības ir šādas: 1. Pārbaudītājs vispirms ģenerē atslēgu pāri, vienu publisko atslēgu un vienu privāto atslēgu. Viņš paraksta darījumu, izmantojot savu privāto atslēgu. 2. Pēc tam pārbaudītājs kodē šo darījumu zk-SNARK, kas ir matemātisks pierādījums, ka darījums ir derīgs. 3. Pierādījums tiek nosūtīts verificētājam kopā ar publisko atslēgu. Pēc tam verificētājs izmanto publisko atslēgu, lai pārbaudītu, vai formula ir pareiza, nezinot nekādu citu informāciju par darījumu. Tā kā tiek pārbaudīts tikai neliels informācijas apjoms, šo pārbaudi var pabeigt ļoti ātri, lai apstiprinātu, ka darījums ir derīgs.

03 Īpaši zk-SNARK lietošanas gadījumi

1. Kuri marķieri izmanto zk-SNARK?

SNARK kriptogrāfiskais marķieris ir kriptogrāfisks līdzeklis, kas izmanto zk-SNARK, lai uzlabotu privātumu, kas pazīstams arī kā privātuma marķieris. Šādu privātuma marķieru piemēri ir: - Zcash (ZEC) - Verge (XVG) - Monero (XMR) - Dash (DASH) - Beam (BEAM) - Horizen (ZEN) - Bytecoin (BCN) Galvenais zk-SNARK izaicinājums ir Ja privātā atslēga ir apdraudēta, var izveidot viltotus pierādījumus. Tas varētu ļaut viltotu pierādījumu veidotājiem veikt krāpšanu, piemēram, radot un izmantojot viltotas privātuma monētas.

2. Citi zk-SNARKS pielietojumi

Filecoin ir decentralizēts krātuves nodrošinātājs, kas darbojas vairākās frontēs.

Pirmkārt, Filecoin tīkla krātuves nodrošinātājiem (nodrošinot krātuves vietu apmaiņā pret bloka atlīdzību) un “sertificētājiem” ir jāpierāda, ka viņi pareizi glabā datus ķēdē. No otras puses, mums ir “validatori”, t.i., mezgli, kuriem ir jāpārbauda, ​​vai krātuves nodrošinātājs pareizi glabā un aizsargā datus. Šiem pārbaudītājiem jābūt apmierinātiem ar krātuves nodrošinātāja sniegto pierādījumu. Tas prasa, lai krātuves nodrošinātāji un mezgli sazinātos, kad dati mainās. Kā jau varat iedomāties, šis process būs resursietilpīgs. Oficiālajā Filecoin emuāra ierakstā ir paskaidrots: “Datu apjoms, kas šodien ir jāpierāda vienam krātuves pakalpojumu sniedzējam, lai pārbaudītu to glabāšanu, ir milzīgs un laika gaitā tikai pieaugs. Filecoin tīkla bloķēšanas laiks ir 30 sekundes Laikā nemainīgs un ļaujot mērogojamām metodēm, Filecoin bija nepieciešams risinājums, kas ļāva veikt ātru, efektīvu un stabilu verifikāciju.

Izmantojot zk-SNARK, Filecoin tīkls var palielināt tā mērogojamību un efektivitāti, samazinot laiku, kas nepieciešams katrai pusei, lai pārbaudītu krātuvi. Krātuves nodrošinātājiem zk-SNARK samazina pārsūtāmo datu apjomu, lai pierādītu glabāšanu, tādējādi samazinot darbības izmaksas.

3. zk-SNARK var izmantot arī citām lietām, piemēram:

- Autentifikācija: pārbaudiet lietotāja akreditācijas datus bez paroles, novēršot nepieciešamību pēc dokumentācijas, piemēram, pasēm un dzimšanas apliecībām, lai aizsargātu sensitīvu informāciju, piemēram, dzimšanas vietu un dzimšanas datumu.

- Balsošanas sistēma: vēlētāja identitāti var pārbaudīt bez identifikācijas, un vēlētāja identitāti nevar identificēt pat tad, ja balsojums ir nopludināts, tādējādi aizsargājot vēlētāju privātumu.

- Datu saspiešana: tas ir interesants zk-SNARKS lietojums, un tas ir pelnījis savu sadaļu.

04 Kopsavilkums

Kopumā zk-SNARKS ir trīs galvenie punkti: 1. zkSNARKS ir nulles zināšanu pierādījuma sistēma, kas ļauj vienai pusei pierādīt otrai pusei, ka tā zina vērtību x, nesniedzot nekādu citu informāciju par x. 2. Galvenā doma ir tāda, ka pārbaudītājs nevar neko izsecināt par x vienkārši no tā, ka pārbaudītājs var pierādīt, ka viņš zina x. Tas aizsargā pārbaudītāja datu privātumu. 3. Nulles zināšanu pārbaudes sistēmas tiek izmantotas dažādās lietojumprogrammās, tostarp drošos sakaros, kriptogrāfijā un datu analīzē, kas aizsargā privātumu. Lai gan nulles zināšanu pārbaudes sistēmas pašlaik ir salīdzinoši jauna pētniecības joma, joprojām ir daudz atklātu jautājumu par to iespējamību un praktiskumu. Tomēr tie ir izmantoti, lai radītu dažus iespaidīgus produktus.

Ko jūs domājat par zk-SNARKs, lūdzu, atstājiet ziņojumu komentāru zonā.

Sākotnējā saite: https://phemex.com/academy/what-is-zksnark Oriģinālais nosaukums: What Is zkSNARK: A Beginner-Friendly Explainer Sākotnējais autors: Līdzstrādnieks Sastādītājs: Huohuo

BEIGAS