Crypto pašlaik nīkuļo tāpat kā internets 1996. gadā ar lēnu ātrumu un dažiem praktiskiem lietošanas gadījumiem, saka Stīvs Ņūkombs, Matter Labs galvenais produktu virsnieks.
Taču, strauji palielinoties joslas platumam un drošībai, internets kļuva par būtisku ikdienas dzīves sastāvdaļu visā pasaulē — un mēs esam tieši uz sliekšņa, kas nākamajos mēnešos notiks kriptovalūtu jomā.
"Neviens neuzticējās savai kredītkartei, un visi uzskatīja, ka tā ir iedoma, un tam nebija nekādu lietošanas gadījumu," skaidro Ņūkombs.
“Un tad mums bija 10 reizes joslas platuma mirkļi, un tad nāca SSL un HTPS, kur jūs ieguvāt šo bloķēšanu — tas bija 10 reizes uzticības brīdis. Pēkšņi 2005. gadā e-komercija vienkārši izgāja cauri.
Kripto '10x' brīdis beidzot varētu būt klāt, jo zkSync ar Ethereum Virtual Machine saderīgais galvenais tīkls tiks palaists 28. oktobrī. EVM būtībā ir Ethereum operētājsistēma, un, ļaujot tai darboties, izmantojot nulles zināšanu apkopojumus, viss, kas darbojas Ethereum, var nemanāmi pāriet uz pieredzi. milzīgs ātruma lēciens un zemākas izmaksas.
Viņi nav vienīgie, kas uzbrūk šai problēmai: Polygon šonedēļ palaida savu testtīklu savam zkEVM, un Aave, Uniswap un Lens apņēmās to izmantot. Scroll palaida savu “Pre Alpha testnet” jūlijā StarkWare zk risinājums ir veicis miljoniem darījumu mēnesī.
Šie risinājumi ir labi finansēti — Scroll piesaista 30 miljonus USD, Starkware — 150 miljonus USD un Polygon — 450 miljonus USD. Ņūkombs norāda, ka paša zkSync finansējuma kārta atrodas tādā pašā līmenī kā Polygon, taču tas vēl nav oficiāli paziņots.
StarkWare ir daudz priekšgalā, jo pirms deviņiem mēnešiem ir izlaidusi savu ZK apkopošanas risinājumu un augustā tas ieslēdza rekursīvo mērogošanu. Bet tas arī pieņēma riskantu lēmumu izmantot pielāgotu programmēšanas valodu, ko sauc par Kairo, lai efektīvāk mērogotu. Tādējādi lielo protokolu pieņemšana varētu virzīties uz vismazākās pretestības ceļu EVM saderīgajos risinājumos.
Visi risinājumi strādā arī pie rekursīvās mērogošanas un/vai 3. slāņa ieviešanas, kas redzēs, ka Ethereum transakcijas, iespējams, kļūs tūkstošiem reižu ātrākas, novērsīs nepieciešamību pēc starpķēžu tiltiem un ļaus kriptovalūtai beidzot realizēt savu patieso potenciālu.
Kas ir nulles zināšanu apkopojums vai zk apkopojums?
ZK apkopojumi mūsdienās ir vieni no lielākajiem blokķēdes modēļiem. Šī tehnoloģija ļauj aprēķināt tūkstošiem transakciju ārpus sāpīgi lēnās Ethereum blokķēdes, ar nelielu “derīguma pierādījumu”, kas pārbauda, vai visi darījumi tika veikti pareizi. Tādējādi vienā ETH darījumā varat “apkopot” 10,000 XNUMX citur veiktu darījumu. Tas ir liels darījums, jo pat pēc tam, kad Merge Ethereum klibos līdzi ar 15 darījumiem sekundē.
ZK apkopojumi jau kādu laiku tiek izmantoti NFT un finanšu darījumiem tādās platformās kā Loopring, dyDx un citās. Bet, kā ETH Seula laikā augustā norādīja līdzdibinātājs Vitaliks Buterins:
"Kopumā es domāju, ka esam iemācījušies, ka cilvēki nevēlas tikai mērogojamu naudu, viņi vēlas mērogojamu EVM."
Tas ir viens no tiem, ko Ņūkombs sauc par “pieciem burvju elementiem” ZK apkopojumiem. Pēc viņa domām, ZK apkopojuma risinājumam ir jābūt vispārējam mērķim, saderīgam ar EVM un jāatbalsta Ethereum programmēšanas valoda Solidity. Tam vajadzētu būt arī atvērtam avotam, lai tas atbilstu kriptovalūtu dibināšanas ētikai, un tam vajadzētu būt marķiera izplatīšanai, kas decentralizē protokolu, nevis koncentrē bagātību komandā.
Ziņkārīgas sakritības dēļ zkSync ir sasniedzis visus piecus šos pašu uzliktos rādītājus. (Ņūkombs saka, ka viņš nevar precizēt precīzu marķiera sadalījumu, taču saka, ka aptuveni 30% no iekšējās informācijas ir "vienprātība".)
Kontrolsaraksts ir kaut kas tāds kā aizsegta kritika pret konkurentu StarkWare, kas ir paredzēts ieguldītājiem un galvenajiem ieguldītājiem 49.9% no StarkNet marķieru piedāvājuma. Tas arī nav atvērts avots, lai gan plāno nodot IP kontroli savai kopienai.
Līdzdibinātājs Eli Ben-Sasson skaidro, ka vienīgais veids, kā pilnībā izmantot ZK apkopojumu sniegtās mērogošanas priekšrocības, ir izmantot pielāgotu valodu, piemēram, Kairo.
"Es esmu ļoti pārliecināts, ka cilvēki sapratīs, kad viņi ieslēgs pierādījumus, ka mērķis nav simulēt EVM. Mērķis ir sasniegt mērogojamību. Lai veiktu 10,000 100,000, XNUMX XNUMX, vienu miljonu darījumu un to pierādījumi tiktu ievietoti vienā Ethereum blokā, ”viņš saka.
“Esmu gatavs saderēt, ka jūs neredzēsit pilnvērtīgu ZK EVM, kas vienā Ethereum pierādījumā varētu ievietot miljonu darījumu. Kā mēs to varam viegli izdarīt šodien un esam darījuši vairākus mēnešus un gadus.
Mērogošana pret saderību
StarkWare Odin-Free vietnē Twitter paskaidroja, ka pielāgotas valodas nepieciešamībai ir sarežģīti matemātiski iemesli, jo "pierādīšanas sistēmas, piemēram, Stark, ir balstītas uz polinomiem virs ierobežotiem laukiem, nodrošinot daudz efektīvāku polinoma vienādojumu." Labi, pieņemsim viņa vārdu par to.
Benam-Sasonam mēģinājums izveidot EVM ir vienkārši muļķīgi:
"Ja vēlaties atrisināt transportēšanu, varat paņemt lielu kravas automašīnu un ievietot to lidmašīnā un likt lidmašīnai to piegādāt," viņš saka.
"Ir lidmašīnas, kurās var ievietot kravas automašīnu, taču tas ir ļoti neefektīvs veids, kā to izdarīt. Daudz labāks veids ir vienkārši paņemt lietas un ievietot tās tieši lidmašīnā.
Tomēr ekosistēmā ir transpilators ar nosaukumu Warp, kas Solidity kodu pārvērš Kairas kodā un kas tikko tika izmantots, lai pārslēgtu Uniswap uz StarkNet.
Tātad būtībā ar ZK apkopojumiem ir jāizdara izvēle starp pilnīgu saderību ar EVM un mērogošanu. Pilnīga saderība ļauj DApps un protokolus nemanāmi pārslēgt, un viss darbojas tieši tāpat kā Ethereum izstrādātājiem un lietotājiem, taču mērogošanas ziņā ātrāk ir acīmredzami labāk.
Ņūkombs atzīst, ka StarkWare risinājums nodrošinās labāku mērogu, taču saka, ka pieejamības upurēšana nozīmē, ka tas ir vairāk piemērots īpaši pielāgotām uzņēmuma lietojumprogrammām, nevis kā būtiska Ethereum sastāvdaļa “pieņemšanas berzes” dēļ.
“Tie nav saderīgi ar EVM, tāpēc tos ir patiešām grūti portēt. Mēs esam redzējuši projektus, kuru ieviešanai nepieciešami septiņi mēneši.
Saderīgs, bet mazāk elegants
Nav saskaņotas definīcijas, taču “EVM ekvivalents” parasti nozīmē “tieši tāds pats kā EVM”, lai jūs varētu vienkārši izvietot risinājumā esošo viedo līgumu bez jebkādām izmaiņām.
Ir plaši atzīts, ka Scroll ir līdzvērtīgs, taču tas arī vēl nav izveidots atbilstošā testtīklā un daudzus mēnešus atpaliek no citiem ar salīdzinoši nelielu budžetu. Daudzstūra zkEVM risinājums apgalvo, ka ir līdzvērtīgs (lai gan tas tiek apstrīdēts). Tikmēr zkSync būs saderīgs ar EVM — tas nozīmē, ka tas ir gandrīz identisks, taču dažas lietas var nedarboties dažu dizaina izvēļu dēļ, kas uzlabo risinājuma darbību.
Daudzstūris Pirmdien atklāja savu zkEVM publisko testu tīklu, apgalvojot, ka “Polygon ir pirmais projekts, kas nodrošina pilnvērtīgu, atvērtā koda zkEVM ieviešanu; revolucionārs pavērsiens ne tikai daudzstūrim, bet arī visai nozarei. Polygon saka, ka testnetā "ietver pilnīgi atvērtā koda zk-Prover - pirmo šāda veida versiju, kas tiek izlaista publiski."
Līdzdibinātājs Mihailo Bjelic stāsta žurnālam Magazine agrīnie testi liecina, ka "Polygon's zkEVM var samazināt Ethereum tīkla maksas par aptuveni 90% un palielināt tīkla caurlaidspēju par vairākām kārtām."
Viņš saka, ka tehnoloģiju atklātā avota iegūšana "pierāda mūsu atbilstību nozares ētikai un palielina risinājuma drošību, jo ikviens var to pārskatīt un norādīt uz iespējamām kļūdām. Tas neattiecas uz StarkNet vai zkSync, kuru ieviešanas kritiskās daļas vismaz pagaidām patur slēgtā avotā.
Tehnisks mazliet
Saskaņā ar Scroll's Luozhu Zhang ir trīs iespējamie zkEVM veidi: baitkoda līmenis, valodas līmenis un vienprātības līmenis. zkSync un StarkWare ir valodas līmenī, un tiem ir nepieciešams kompilatora vai transpilētāja solis, savukārt ritināšana un daudzstūris ir baitkoda līmeņa pieejas. Cilvēkam lasāmo baitkoda formu sauc par opkodu.
Bjelic saka, ka Polygon risinājums ir izstrādāts tā, lai tas būtu līdzvērtīgs EVM, turpretim:
“Projekti, piemēram, StarkNet un zkSync, izmanto atšķirīgu ceļu — tiem ir savas pielāgotās virtuālās mašīnas, un pēc tam viņi mēģina pārsūtīt Solidity, vispopulārāko valodu, kas veidota uz EVM, uz valodām, kuras šīs virtuālās mašīnas var interpretēt,” viņš saka.
“Šai pieejai ir divas galvenās problēmas: (i) ir grūti izveidot transpilatoru, kas 100% atbalstītu Solidity viedo līgumu, un (ii) pat ja jums ir transpilators, jūs joprojām nevarat piesaistīt visu izstrādātāju un gala lietotāju. var izmantot tādus rīkus kā Polygon zkEVM.
Ņūkombs saka, ka cirkulē slikta informācija. "Mēs netranspilējam, mēs apkopojam," viņš saka. Un viņš atskatās uz Poligonu, sakot, ka, skatoties uz projekta Github, viņiem vēl ir jāizstrādā funkcionējošs vispārējas nozīmes pārbaudītājs, kas integrēts ar darbojošos sekvenceseri.
“Ja tas tā ir, tas nozīmē, ka viņiem ir jāpaveic nenosakāms darba apjoms. Pēdējie 10% jebkuras sarežģītas sistēmas vienmēr ir visgrūtākie. Tas izskatās līdzīgi tam, kur bijām vai pat aiz tā, kur bijām, kad palaižām testnetu. Un pēc tam mums pagāja deviņi mēneši.
Pārsvarā saderīgi
Tikmēr zkSync ir saderīgs ar visiem Ethereum 141 opkodiem, izņemot trīs, no kuriem viens ir novecojis, otrs tiek novecojis, bet trešo izmanto mazāk nekā 1/10 daļa no 1% projektu saskaņā ar Newcomb.
“Tātad, ko mēs saņēmām par to, ka nebija pilnībā līdzvērtīgi? Mums ir divas lietas: mūsu izmaksas par veiktspēju ir daudz labākas nekā jebkurš risinājums, kas atbilst ekvivalencei. Mēs esam daudz ātrāki, daudz lētāki. Un otrā lieta, ko mēs saņēmām, ir tas, ka mēs varējām mūsu ķēdē ievietot LLVM kompilatoru, ko jūs nevarat izdarīt, ja darāt līdzvērtīgu. Un tas, ko dara LLVM kompilators, mēs jau skatāmies uz trešo slāni.
LLVM savam risinājumam ļautu izmantot Python, Rust vai C++ izstrādātāja kodu, kas pēc tam tiek kompilēts, lai darbotos tāpat kā ar Solidity.
"Tas ir milzīgi adopcijai. Tātad, kur šis projekts, kas aizņēma septiņus mēnešus šeit, Kairā, tas pats ekosistēmas projekts tika pārnests uz mums septiņās dienās. Tā ir saderība. ”
Viņš atzīst, ka pārejai būtu nepieciešama tikai viena diena, ja zkSync būtu pilnīga ekvivalence, taču tam nepalaistu garām LLVM un palielināto mērogošanu. Tāpēc viņš saka, ka ir vērts veikt kompromisu.
3. slānis un rekursīvā mērogošana
Pats stilīgākais, kas ļauj saspiest lielu skaitu darījumu vienā derīguma apliecinājumā, ir tas, ka tehnoloģija ļauj saspiest daudzus citi pierādījumi arī vienā pierādījumā.
To sauc par rekursīvo mērogošanu, un Deklans Fokss, Consensys apkopojumu produktu menedžeris, uzskata, ka tas ir tik spēcīgs, ka teorētiski visa globālā finanšu sistēma varētu darboties Ethereum. "Mums ir tehnoloģija, lai sasniegtu šādu nepieciešamo caurlaidspēju," viņš saka. "Izmantojot rekursīvus apkopojumus un pierādījumus, mēs teorētiski varam bezgalīgi mērogot."
Arī lasīt: Ethereum apēd pasauli: “Jums ir nepieciešams tikai viens internets”
StarkWare augustā ieslēdza rekursīvo mērogošanu un kopš šīs tehnoloģijas izmantošanas ir apstrādājis vairāk nekā 30 miljonus darījumu.
"Rekursija jau šajā agrīnajā posmā ir palielinājusi darījumu skaitu vienā pierādījumā aptuveni 8x," skaidro Ben-Sasson. “Turklāt tas ir izrādījies tik efektīvs, ka drīz pēc tam, kad tas tika sākts ražošanā, mūsu pašu mākoņdatošanas izmaksas par pierādījumu ģenerēšanu ir samazinātas par aptuveni 40%.
"Tās nav prognozes vai skaitļi, ko mēs ceram redzēt, bet gan skaitļi no šodienas produkcijas. Un es uzsveru: šis ir tikai sākums, un izmaiņas, ko mēs veiksim, nozīmēs, ka šie skaitļi kļūs arvien iespaidīgāki.
Daudzstūris gatavojas ieviest savu Plonky2 risinājumu saskaņā ar Bjelic. Tas ir atvērtā koda zk-SNARK risinājums. "Šo rekursīvo SNARK var izmantot, lai pārbaudītu darījumus daudz ātrāk nekā esošās alternatīvas. Plonky2 ir arī sākotnēji saderīgs ar Ethereum virtuālo mašīnu, kas ļāva Polygon izstrādāt zkEVM.
Drīzumā tiks izlaists zkSync 3. slāņa testtīkls, lai nākamā gada sākumā varētu izmantot Ethereum jauninājumu, ko sauc par Proto-Danksharding, kas īpaši izstrādāts, lai Ethereum apkopotajiem elementiem būtu brīva vieta. Newcomb sagaida, ka Layer 3 tiks ražots gada laikā. Viņi to sauc par Pathfinder, “fraktāļu hiperķēžu” ekosistēmu.
"Mēs, iespējams, varētu turpināt stundām inženierzinātņu jomā, taču funkcionāli, jo tālāk rekursīvajā ķēdē jūs attālināties no Etherium, jo lētākas kļūst datu izmaksas, un tās ir 10x, 10x, 10x, 10x, ja jūs atgriežaties ar datu izmaksām. un tas ir unikāls zk.
"Tieši tur mēs sasniedzam 100,000 4000 TPS un miljonu TPS," viņš saka. Visa parastā dienā maksā apmēram 65,000 TPS, bet pīķa laikā, piemēram, Chrismats, sasniedz aptuveni XNUMX XNUMX TPS.
"ZK ir vienīgais veids, kā sasniegt 100,000 XNUMX TPS, lai jūs varētu sasniegt līmeni, kurā kaut kas līdzīgs Visam aizstāj savu pamata protokolu ar blokķēdi. Un, kad jūs to darāt, tas ir jūsu masveida adopcijas brīdis.
Vēl viens pārsteidzošs notikums, saskaņā ar Ņūkombu, ir tas, ka 3. slānis var atbrīvoties no prasības pēc starpķēžu tiltiem, kas ir vieta, kur šogad vien ir notikuši vairāk nekā 2 miljardu dolāru uzlauzumi.
“Viena no lietām, ko mēs jau esam sasnieguši 3. slānī, mēs atbrīvojamies no visiem tiltiem. Un, ja jums var likt vienam pārbaudītājam izveidot ķēdi visām L3 hiperķēdēm, jebkura saziņa no vienas blokķēdes uz otru tagad ir vietējā. Tas ir otrs iemesls, kāpēc Vitaliks teica, ka šī ir beigu spēle, jo vairs nav tiltu.
“Ja jūs padarīsit to ātrāku, lētāku par apmēriem, ja padarīsit to vieglāk lietojamu un ērtāku plašākai izstrādātāju auditorijai, piedāvājot vairāk valodu, un tad liksiet cilvēkiem tam uzticēties, jo jūs atbrīvojaties no tiltiem. Tas ir tas, ko es vienmēr saku, ka L10 zvaigžņu kopa ir 3 reizes lielāka, un tieši tur būs spēle.
Vēl nav salabots
Tātad tas ir viss? Līdz ar ZK apkopojumu un ar EVM saderīgu mērogošanas risinājumu ienākšanu viss ir atrisināts?
Diemžēl nē. ZK apkopojumi pašlaik ļoti labi noņem aprēķinus no Ethereum, taču tiem joprojām ir jāieraksta pietiekami daudz datu atpakaļ galvenajā ķēdē, lai gadījumā, ja apkopojums pārstātu darboties vai to pārņemtu ļaundari, tad kāds cits apģērbs varētu iekļūt pārkāpumā. un noskaidrot, kurš kuram ko ir parādā.
To sauc par datu pieejamības problēmu, un ievērojama daļa Ethereum ceļvežu ar proto danksharding un pilnu danksharding cenšas to atrisināt un ļaut iekļaut vairāk datu. Pašlaik ir vairāki veidi, kā to apiet, tostarp datu glabāšana Validiums, kas ir lētāki, bet mazāk droši.
Apmaksa
Vispievilcīgākie lasījumi blokķēdē. Piegādāts vienu reizi a
nedēļā.
“Tāpēc mēs to aprakstām, ja jums ir beisbola karšu kolekcija, un daudzas no šīm kartēm nemaksā daudz un esat tās saglabājis Validium, taču tad jūs, iespējams, saņemsit vienu retu karti, kas ir daudz naudas vērta. ietaupiet uz 1. slāni,” saka Bens-Sasons.
Polygon strādā pie vairākiem šīs pašas problēmas risinājumiem, tostarp Avail “blokķēde, kurā informācija ir pieejama ikvienam jebkurā laikā, tika izstrādāta īpaši šim nolūkam,” saka Bjelics.
zkSync's Pathfinder ļaus izstrādātājiem izvēlēties no trim datu pieejamības iespējām: Validium, zkPorter (sajaukšana ķēdē un ārpus ķēdes) un ZKRollup (pilna drošība).
Negaidiet lielu sprādzienu no zkSync galvenā tīkla palaišanas 28. oktobrī. Sākotnēji tas būs diezgan neapmierinošs, jo pāris mēnešus veiks tikai Matter Labs testēšana un lietotājiem tiks piedāvātas balvas, lai mēģinātu to uzlauzt vai izmantot. Pēc tam DApps varēs pārslēgties un sākt veidot un pārbaudīt drošību.
"Un tad, kad mums šķiet, ka viss ir izdarīts, mēs darām to, ko sauc par liftu vārtos," saka Ņūkombs. "Un tad visi lietotāji var ienākt sistēmā vienlaikus, un to sauc par godīgas izlaišanas programmu. Tāpēc mēs neatbalstām nevienu projektu par citu. Viņš saka, ka tajā brīdī tiks uzsākti 150 projekti, un vairs nebūs iemesla, lai projekts gaidītu, kamēr Poligona risinājums tiks pabeigts.
"Tas ir tā, it kā viņi dotos uz sacīkšu trasi un parādās ar automašīnas šasiju, kurai nav riteņu, stūres un absolūti bez dzinēja," viņš saka.
"Un mēs esam pagatavojuši visu produktu. Jūs zināt, ka mums ir Ferrari, un mēs esam gatavi doties ceļā.
Avots: https://cointelegraph.com/magazine/2022/10/12/attack-zkevms-cryptos-10x-moment