EDCON konferencē Melnkalnē @VitalikButerin skaidroja Ethereum tīkla tehniskos izaicinājumus attiecībā uz paplašināšanos, privātumu, drošību utt., un visbeidzot secināja, ka zk-SNARK nākamajos 10 gados būs tikpat svarīga kā blokķēde. Kas ir zk-SNARK, kura popularizēšanai V Dievs nežēlo spēkus? Kādas pašreizējās blokķēdes problēmas var atrisināt zk-SNARK tehnoloģija? Tālāk, Thread, ļaujiet man iemest dažas idejas diskusijā. 1/n

SNARK apzīmē (īss neinteraktīvs zināšanu arguments), kas ir kodolīgs, neinteraktīvs zināšanu arguments. Tā pamatā ir izveidot pierādījumu sistēmu, izmantojot matemātiskos algoritmus, kas ļauj pārbaudītājam pārbaudīt datu pareizību, nezinot oriģinālu. datus. Ieviešanas process ietver sarežģītas tehnoloģijas, piemēram, pārbaudāmas shēmas, eliptiskās līknes kriptogrāfijas principus, jaucējfunkcijas, šifrēšanas algoritmus utt., tāpēc es šeit neiedziļināšos. 2/n

Tā kā SNARK var saspiest sākotnējos datus ļoti mazā pierādījumā, lai pārbaudītu savu ievades datu pareizību, kopā ar zk nulles zināšanu tehnisko pamatu, zk-SNARK var spert lielus panākumus mērogojamības, privātuma, drošības un citos aspektos. Īpaši pēc tam, kad Ethereum 2018. gadā uzsāka Makarov Random Algorithm (MAST), zk-SNARK var tieši integrēt Ethereum sistēmā, lai atrisinātu pašreizējo Ethereum tīkla sašaurinājuma problēmu. 3/n

Tāpēc, lai gan zk-STARK tehnoloģija, kas ir vietējā @Statrknet, var tikt galā ar sarežģītākām skaitļošanas problēmām (izvairoties no kvantu skaitļošanas uzbrukumiem utt.), zk-SNARK ir lielākas cerības. Jo īpaši dažus blokķēdes paradoksi, par kuriem visi ir neizpratnē, var efektīvi atrisināt pēc zk-SNARK apakšējā slāņa nomaiņas, piemēram: privātuma aizsardzība un iespējamās hakeru naudas atmazgāšanas problēmas, sociālās atveseļošanas problēmas, kas nevar izvairīties no centralizētu iestāžu iejaukšanās. utt. 4/n

Vispirms parunāsim par mērogojamību. zk-rollup ir krietni priekšā op-rollup un ir galīgais risinājums otrajam Ethereum slānim. OP vispirms noklusē optimismu attiecībā uz visiem darījumiem un pēc tam iziet 7 dienu krāpšanas pārbaudes periodu pēc tā iesniegšanas ķēdē. ZK var ātri un droši nodrošināt, ka katrs darījums ķēdē ir likumīgs, pamatojoties uz matemātiskiem algoritmiem. 5/n

https://twitter.com/tmel0211/status/1649274901596094464?s=20 Šeit zk-SNARK atrisina paradoksālu Ethereum mērogojamības problēmu, pretrunu starp mērogojamību un centralizāciju, lai gan op-rollup risinājums patiesībā ir ieviests scenārijā. vairāk nobriedušu, taču tam joprojām ir potenciāls sekvencēra centralizācijas risks un optimistisks izaicinājuma pārbaudes process. Protams, mēs varam būt "optimistiski", bet, lai panāktu absolūti decentralizētu apkopojumu, mums ir jābūt SNARK. 6/n

Apskatīsim privātumu. Pamatojoties uz pašreizējo blokķēdes tehnoloģiju, mūsu privātuma tehnoloģiju attīstība nonāks loģiskā paradoksā. Vai tā galu galā kalpos hakeriem? Tomēr, ja tas ir balstīts uz zk-SNARK, var izstrādāt Proof of Inocence (POI) risinājumu, lai aizsargātu lietotājus no naudas noguldīšanas un izņemšanas, izmantojot privātumu, vienlaikus izvairoties no noziedzniekiem no tā izmantošanas ļaunuma izdarīšanai. Konkrēti, POI tehnoloģiju var pielietot protokoliem, kas līdzīgi Tornado 7/n

POI tehnoloģija nodrošina katram lietotājam digitālo pirkstu nospiedumu, kas ģenerēts, pamatojoties uz blokķēdes stāvokļa vēsturi un privātajām atslēgām, kad hakeris mēģina atmazgāt naudu, izmantojot Tornado valūtas sajaukšanas darījumu kopu, ja viņa norādītā izņemšanas pieprasījuma adrese un depozīta adrese ir pretrunā ( ja privātā adrese. atslēga ir atšķirīga), tā tiks pārtverta un atgriezta sākotnējā sajaukšanas adresē. Neidentificēti aktīvi, kas ir vienādi ar hakeriem, nevar izvairīties no izsekošanas, izmantojot valūtu sajaukšanas sistēmu 8/n

Protams, jūs varat arī tieši izveidot izslēgšanas sarakstu Merkeles koku, kā Buterin norādīja savā runā, kas ir līdzvērtīgs melnā saraksta mehānisma pievienošanai tornado protokolam. Parastie lietotāji var ģenerēt nevainīgus pierādījumus, ja viņu noguldījumi nav sarakstā, un tad būs normāli ar Tornado ir otrādi. Lai gan melnais saraksts ir efektīvs, tas rada centralizācijas risku. Efektīvāk ir bloķēt darījumus ar nekonsekventām iemaksas un izņemšanas privātajām atslēgām.

9/n Visbeidzot, parunāsim par trešo pušu pretcenzūras paradoksu (drošības) jautājumu. Nav šaubu, ka sociālās atkopšanas funkcija ir neizbēgams ceļš liela mēroga blokķēdes pielietošanai. Tomēr no kopienas protestiem, ko Līgers cieta, atverot šo funkciju pirms divām dienām, nevar būvēt sociālo atkopšanu. pieņēmums, ka trešā puse ir centralizēta. Un zk-SNARK tehnoloģija var atrisināt šo problēmu. 10/n

Vienkārši sakot, kad lietotājs ģenerē vairākus privātās atslēgas fragmentus, viņš var šifrēt fragmentus un izmantot zk-SNARK sertifikācijas sistēmu, lai ģenerētu sertifikātu, un pēc tam izplatīt sertifikātu uzticamai iestādei vai draugam. to var pieprasīt Trešā puse nodrošina sadrumstalotus datu sertifikātus un pēc tam izmanto zk-SNARK, lai pārbaudītu šo sertifikātu precizitāti, tādējādi realizējot sociālās atkopšanas funkciju, neatklājot privātās atslēgas sadrumstalotību. 11/n

Pēc tam, kad iepriekš minētais saturs ir pilnībā izprasts, nav grūti saprast zk-SNARK tehnoloģijas nozīmi blokķēdes sistēmā. Tā var atrisināt dažādas problēmas pašreizējā Ethereum tīklā, piemēram, mērogojamību un centralizāciju, privātumu un ļaunumu, drošību un pretestību. cenzūra Attīstības paradoksa problēma. Tāpēc Buterīns teica, ka pēc 10 gadiem zk-SNARK būs tikpat svarīgs kā blokķēde. Varbūt arī Ethereum apakšējais slānis būs zk-SNARKS. 12/12