Napad zkEVM-jev! Crypto's 10x moment – ​​Cointelegraph Magazine

Kripto trenutno propada tako kot internet leta 1996 s počasnimi hitrostmi in malo praktičnimi primeri uporabe, pravi Steve Newcomb, produktni direktor podjetja Matter Labs.

Toda veliko povečanje pasovne širine in varnosti je kmalu zatem povzročilo, da je internet postal ključni del vsakdanjega življenja po vsem svetu – in smo tik pred tem, da se bo to zgodilo za kripto v naslednjih nekaj mesecih.

»Nihče ni zaupal svoji kreditni kartici in vsi so mislili, da je to modna muha in da ni bilo primerov uporabe za to,« pojasnjuje Newcomb. 

»Potem smo imeli 10-krat večjo pasovno širino, nato pa je prišel SSL in HTTPS, kjer si dobil to ključavnico – to je bil 10-kratni trenutek zaupanja. Nenadoma je leta 2005 e-trgovina šla čez streho.«

Crypto's '10x' trenutek bi lahko končno prišel, z glavnim omrežjem, združljivim z navideznim strojem Ethereum zkSync, ki se bo začelo 28. oktobra. EVM je v bistvu operacijski sistem za Ethereum in omogočanje njegovega delovanja brez zbiranja znanja pomeni, da se lahko vse, kar se izvaja na Ethereumu, nemoteno prenese na izkušnjo velik skok v hitrosti in nižje stroške. 

Niso edini, ki napadajo težavo: Polygon je ta teden zagnal svojo testno mrežo za lasten zkEVM, pri čemer so se Aave, Uniswap in Lens vsi zavezali, da jo bodo namestili. Scroll je julija zagnal svojo »testno mrežo Pre Alpha«. Rešitev zk podjetja StarkWare prebija skozi milijone transakcij na mesec

Soustanovitelj Ethereuma Vitalik Buterin pravi, da zbiranje zk pomeni, da se lahko kripto končno spet uporablja za plačila
Soustanovitelj Ethereuma Vitalik Buterin pravi, da zbiranje ZK pomeni, da se lahko kripto končno spet uporablja za plačila. (Andrew Fenton)

Vse te rešitve so dobro financirane, pri čemer je Scroll zbral 30 milijonov USD, Starkware 150 milijonov USD in Polygon 450 milijonov USD. Newcomb namiguje, da je lastni krog financiranja zkSync na istem nivoju kot Polygonov, vendar še ni uradno objavljen.  

StarkWare je daleč pred ostalimi, saj je pred devetimi meseci lansiral lastno rešitev ZK zbirne rešitve in avgusta je vklopil rekurzivno skaliranje. Sprejel pa je tudi tvegano odločitev za uporabo prilagojenega programskega jezika, imenovanega Cairo, da bi bil učinkovitejši. To bi lahko pomenilo, da se bodo veliki protokoli premaknili na pot najmanjšega odpora pri rešitvah, združljivih z EVM.

Vse rešitve prav tako delajo na rekurzivnem skaliranju in/ali implementacijah 'Layer 3', ki bodo omogočile, da bodo transakcije Ethereum potencialno postale tisočkrat hitrejše, odstranile bodo potrebo po mostovih med verigami in omogočile kriptovaluti, da končno uresniči svoj pravi potencial.

Kaj je zbiranje z ničelnim znanjem ali zbiranje zk?

Zbirke ZK so danes med največjimi modnimi besedami v blockchainu. Tehnologija omogoča, da se na tisoče transakcij izračuna stran od boleče počasne verige blokov Ethereum, z majhnim "dokazom veljavnosti", ki potrjuje, da so bile vse transakcije izvedene pravilno. Tako lahko "združite" 10,000 transakcij, izvedenih drugje, v eno transakcijo ETH. To je velik posel, ker tudi potem, ko Merge Ethereum šepa pri 15 transakcijah na sekundo.

Zbirni paketi ZK se že nekaj časa uporabljajo za NFT in finančne transakcije na platformah, kot so Loopring, dyDx in druge. Toda kot je avgusta med ETH Seul poudaril soustanovitelj Vitalik Buterin: 

"Na splošno mislim, da smo se naučili, da si ljudje ne želijo samo razširljivega denarja, ampak želijo razširljiv EVM."

To je eden od tistih, ki jih Newcomb imenuje "pet čarobnih elementov" za zbiranje ZK. Po njegovem mnenju bi morala biti skupna rešitev ZK splošnega namena, združljiva z EVM in podpirati programski jezik Ethereum Solidity. Prav tako bi moral biti odprtokoden, da bi ustrezal ustanovitvenemu etosu kriptovalute, in moral bi imeti distribucijo žetonov, ki decentralizira protokol, namesto da koncentrira bogastvo med ekipo.

Po nenavadnem naključju je zkSync dosegel vseh pet teh meritev, ki so si jih sami vsilili. (Newcomb pravi, da ne more podrobno opisati natančne porazdelitve žetonov, vendar pravi, da je približno 30 % za insajderje "soglasje".)

Kontrolni seznam je nekakšna prikrita kritika konkurenta StarkWare, ki naj bi dal 49.9 % svoje ponudbe žetonov StarkNet vlagateljem in glavnim sodelavcem. Prav tako ni odprtokoden, čeprav načrtuje, da bo nadzor nad IP-jem prepustil svoji skupnosti. 

Soustanovitelj Eli Ben-Sasson pojasnjuje, da je edini način, da v celoti izkoristite skaliranje, ki ga ponujajo zbiranja ZK, uporaba jezika po meri, kot je Cairo.

»Zelo sem prepričan, da bodo ljudje spoznali, ko bodo vklopili dokaze, da cilj ni simulacija EVM. Cilj je doseči razširljivost. Spraviti 10,000, 100,000, en milijon transakcij in njihov dokaz namestiti v en sam blok Ethereuma,« pravi.

»Pripravljen sem staviti, da ne boste videli popolnega ZK EVM, ki bi lahko spravil milijon transakcij v en sam dokaz na Ethereumu. Kot z lahkoto počnemo danes in počnemo že mesece in leta.«

Eli Ben-Sasson pravi, da je njegova rešitev hitrejša in boljša od kludgy EVM. (Andrew Fenton)

Skaliranje v primerjavi z združljivostjo

StarkWarejev Odin-Free je na Twitterju pojasnil, da za potrebo po jeziku po meri stojijo zapleteni matematični razlogi, ker "dokazni sistemi, kot je Stark, temeljijo na polinomih nad končnimi polji, kar daje veliko učinkovitejšo polinomsko enačbo." V redu, verjemimo mu na besedo.

Za Ben-Sassona je poskušanje povečati EVM preprosto neumno:

»Če bi želeli rešiti problem transporta, bi lahko vzeli velik tovornjak in ga dali v letalo, ki bi ga letalo dostavilo,« pravi.

»Obstajajo letala, ki lahko notri spravijo tovornjak, vendar je to zelo neučinkovit način. Veliko boljši način je, da preprosto vzameš stvari in jih daš neposredno v letalo.«

Kljub temu ima ekosistem transpiler, imenovan Warp, ki pretvori kodo Solidity v kodo Cairo in ki je bil pravkar uporabljen za prenos prek razcepa Uniswap na StarkNet.

V bistvu je pri zbiranjih ZK treba izbirati med popolno združljivostjo z EVM in skaliranjem. Popolna združljivost omogoča, da se DApps in protokoli nemoteno prenašajo in vse deluje natanko tako kot na Ethereumu za razvijalce in uporabnike, vendar je v smislu skaliranja hitreje očitno boljše.

Newcomb priznava, da bo rešitev StarkWare dosegla boljši obseg, vendar pravi, da žrtvovanje dostopnosti pomeni, da je bolj primerna za prilagojene poslovne aplikacije, kot da bi bil temeljni del Ethereuma zaradi "trenja pri sprejemanju".

»Niso združljivi z EVM, zato jih je res težko prenesti. Videli smo projekte, ki potrebujejo sedem mesecev, da se prenesejo nanje.«

Združljivo, a manj elegantno

Ni dogovorjene definicije, vendar 'enakovrednost EVM' običajno pomeni "popolnoma enako kot EVM", tako da lahko preprosto namestite obstoječo pametno pogodbo na rešitev brez kakršnih koli sprememb.

Na splošno se strinja, da je Scroll enakovreden, vendar še ni na pravem testnem omrežju in za drugimi zaostaja več mesecev s sorazmerno majhnim proračunom. Polygonova rešitev zkEVM trdi, da je enakovredna (vendar se to izpodbija). ZkSync bo medtem združljiv z EVM – kar pomeni, da je skoraj enak, vendar nekaj stvari morda ne bo delovalo zaradi nekaterih oblikovalskih odločitev, da bi rešitev delovala bolje.

Steve Newcomb je navdušen nad tem, zakaj verjame, da ima zkSync vseh pet sestavin, potrebnih za uspeh. (posnetek zaslona intervjuja)

poligon je v ponedeljek zagnal svojo javno testno mrežo zkEVM, pri čemer je trdil, da je »Polygon prvi projekt, ki je zagotovil polnofunkcionalno odprtokodno implementacijo zkEVM; prelomen mejnik, ne le za Polygon, ampak za celotno industrijo.« Polygon pravi, da testna mreža "vključuje popolnoma odprtokodni zk-Prover - prvi te vrste, ki je bil javno objavljen."

Soustanovitelj Mihailo Bjelic je za Magazine povedal, da zgodnji testi kažejo, da "lahko Polygonov zkEVM zniža omrežnine Ethereuma za približno 90 % in poveča prepustnost omrežja za več stopenj velikosti."

Pravi, da odprtokodna tehnologija »dokazuje našo usklajenost z etosom industrije in povečuje varnost rešitve, saj jo lahko kdorkoli pregleda in opozori na morebitne napake. To ne velja za StarkNet ali zkSync, ki ohranjata kritične dele svojih izvedb zaprtokodno, vsaj za zdaj.«

Tehnični del

Po Luozhu Zhangu iz Scrolla obstajajo tri možne vrste zkEVM: raven bajtne kode, jezikovna raven in raven soglasja. zkSync in StarkWare sta na ravni jezika in zahtevata korak prevajalnika ali transpilerja, medtem ko sta Scroll in Polygon pristopa na ravni bajtne kode. Človeku berljiva oblika bajtne kode se imenuje opcode.

Bjelic pravi, da je rešitev Polygona zasnovana tako, da je enakovredna EVM, medtem ko:

»Projekti, kot sta StarkNet in zkSync, ubirajo drugačno pot – imajo lastne virtualne stroje po meri, nato pa poskušajo Solidity, najbolj priljubljen jezik, zgrajen na vrhu EVM, prenesti v jezike, ki jih ti virtualni stroji lahko interpretirajo,« pravi.

»Ta pristop ima dva velika izziva: (i) težko je zgraditi transpiler, ki bo podpiral 100 % pametnih pogodb Solidity in (ii) tudi če imate transpiler, še vedno ne morete izkoristiti vseh razvijalcev in končnih uporabnikov. orodja, kot je Polygon zkEVM, lahko."

Newcomb pravi, da krožijo slabe informacije. "Ne prevajamo, ampak sestavljamo," pravi. In vrne udarec proti Polygonu, rekoč, da glede na projektni Github pravi, da še niso razvili delujočega splošnega dokazovalnika, integriranega z delujočim sekvencerjem.  

»Če je temu tako, potem to pomeni, da morajo opraviti nedoločljivo količino dela. Zadnjih 10 % katerega koli kompleksnega sistema je vedno najtežjih. To je videti podobno kot smo bili ali celo zadaj, kjer smo bili, ko smo zagnali testnet. Potem pa smo potrebovali devet mesecev.”

Mihailo Bjelic iz Polygona pravi, da je njegova rešitev 100-odstotno enakovredna EVM. (Twitter)

Večinoma kompatibilen

Medtem je zkSync združljiv z vsemi, razen s tremi od 141 kod Ethereum – ena je bila opuščena, druga je opuščena, tretjo pa uporablja manj kot 1/10 od 1 % projektov glede na Newcomb.

»Torej, kaj smo dobili, ker nismo bili popolnoma enakovredni? Imamo dve stvari, naši stroški za zmogljivost so veliko boljši od katere koli rešitve, ki sledi enakovrednosti. Smo veliko hitrejši, veliko cenejši. In druga stvar, ki smo jo dobili, je, da smo lahko v našo verigo vtaknili prevajalnik LLVM, česar ne morete storiti, če delate enakovredno. Prevajalnik LLVM pa je, da že gledamo tretjo plast.«

LLVM bi svoji rešitvi dovolil razvijalsko kodo Python, Rust ali C++, ki se nato prevede, da deluje na enak način s Solidity. 

»To je ogromno za posvojitev. Torej, če je ta projekt, ki je trajal sedem mesecev tukaj v Kairu, se je isti projekt ekosistema prenesel k nam v sedmih dneh. To je združljivost.”

Priznava, da bi bil prenos potreben le en dan, če bi imel zkSync popolno enakovrednost, vendar bi zamudil LLVM in povečano skaliranje. Zato pravi, da je to kompromis, ki ga je vredno narediti.

Plast 3 in rekurzivno skaliranje

Najbolj kul stvar pri stiskanju velikega števila transakcij v en sam dokaz veljavnosti je, da vam tehnologija omogoča stiskanje številnih druga dokazila tudi v en sam dokaz. 

Imenuje se rekurzivno skaliranje in Declan Fox, produktni vodja za zbiranje pri Consensys, verjame, da je tako močno, da bi teoretično lahko celoten svetovni finančni sistem deloval na Ethereumu. "Imamo tehnologijo za doseganje takšne vrste prepustnosti, ki je potrebna," pravi. "Z rekurzivnimi združevanji in dokazi lahko teoretično neskončno merimo."

Preberite tudi: Ethereum žre svet: — 'Potrebujete samo en internet' 

StarkWare je vklopil rekurzivno skaliranje že avgusta in je od uporabe tehnologije obdelal več kot 30 milijonov transakcij.

»Rekurzija je že v tej zgodnji fazi povečala število transakcij v enem dokazu za približno 8x,« pojasnjuje Ben-Sasson. »Še več, izkazalo se je za tako učinkovito, da je kmalu po začetku proizvodnje prišlo do znižanja naših lastnih stroškov v oblaku za ustvarjanje dokazov za približno 40 %.

»To niso napovedi ali številke, za katere upamo, da jih bomo videli, temveč številke iz tega, kar je danes v proizvodnji. In poudarjam: to je šele začetek in spremembe, ki jih bomo naredili, bodo pomenile, da bodo te številke vedno bolj impresivne.

Ekosistem Starkware raste. (ZK Daily Twitter)

Polygon je tik pred implementacijo svoje rešitve Plonky2 po besedah ​​Bjelica. Je odprtokodna rešitev zk-SNARK. »Ta rekurzivni SNARK se lahko uporablja za preverjanje velikosti transakcij hitreje kot obstoječe alternative. Plonky2 je prav tako izvorno združljiv z navideznim strojem Ethereum, kar je Polygonu omogočilo razvoj zkEVM.«

Kmalu bo izdana tudi testna mreža za 3. plast zkSync, pravočasno, da lahko izkoristite nadgradnjo Ethereuma, imenovano Proto-Danksharding, v začetku naslednjega leta, ki je zasnovana posebej za zagotavljanje prostora na Ethereumu za razcvet. Newcomb pričakuje, da bo Layer 3 v proizvodnji v enem letu. Imenujejo ga Pathfinder, ekosistem 'fraktalnih hiperverig'.

Verjetno bi lahko nadaljevali ure in ure z vidika inženiringa, toda funkcionalno dlje kot se oddaljite od Etheriuma v rekurzivni verigi, nižji so stroški podatkov in to je 10x, 10x, 10x, 10x, ko se vrnete s stroški podatkov, in to je edinstveno za zk.”

»Tam pridemo do 100,000 TPS in milijona TPS,« pravi. Visa se na običajen dan dvigne s približno 4000 TPS, ob konicah, kot so božični prazniki, narastejo do približno 65,000 TPS.

»ZK je edini način, da dosežete približno 100,000 TPS, tako da lahko dosežete ravni, kjer nekaj, kot je Visa, zamenja svoj osnovni protokol z verigo blokov. In ko to storite, je to trenutek vaše množične posvojitve.”

Še en osupljiv razvoj po Newcombu je, da se lahko sloj 3 znebi zahteve po medverižnih mostovih, kjer so se samo letos zgodili vsi več kot 2 milijardi dolarjev vdorov.

»Ena od drugih stvari, ki smo jih že dosegli na ravni 3, je, da se znebimo vseh mostov. In ko imate lahko enega dokazovalnika, ki dela vezje za vse hiperverige v L3, je vsaka komunikacija iz ene verige blokov v drugo zdaj izvorna. To je drugi razlog, zakaj je Vitalik rekel, da je to konec igre, ker ni več mostov.«

»Če ga naredite hitrejšega, cenejšega za več razredov velikosti, če ga naredite enostavnejšega za uporabo in bolj prijaznega za širšo publiko razvijalcev, tako da imate na voljo več jezikov, in potem poskrbite, da mu ljudje zaupajo, ker se znebite mostov. To je tisto, kar vedno pravim, da je zvezdna kopica 10-kratnih trenutkov navzgor v L3 in tam se bo igra."

Še ni popravljeno 

Torej je to to? Je bilo s prihodom ZK rollups in EVM združljivih rešitev za skaliranje vse rešeno?

Žal ne. Zbirni paketi ZK so trenutno zelo dobri pri odvzemanju računanja Ethereumu, vendar morajo še vedno zapisati dovolj podatkov nazaj v glavno verigo, tako da bi lahko v kršitev vdrla kakšna druga ekipa, če bi skupni paket prenehal delovati ali bi ga prevzeli negativci. in ugotovi, kdo komu kaj dolguje.

Imenuje se težava z razpoložljivostjo podatkov in znatna količina Ethereumovega načrta s proto dankshardingom in popolnim dankshardingom jo želi rešiti in omogočiti vključitev več podatkov. Trenutno obstaja nekaj načinov za to, vključno s shranjevanjem podatkov na Validiumih, ki so cenejši, a manj varni. 

»Torej opisujemo tako, da imate zbirko bejzbolskih kart in mnoge od teh kart ne stanejo veliko in ste jih shranili v Validium, a eno redko karto, ki je vredna veliko denarja, boste verjetno prihranite na ravni 1,« pravi Ben-Sasson.

Polygon dela na številnih rešitvah za ta isti problem, vključno z Availom, »verigo blokov, kjer so informacije na voljo vsem kadar koli, je bila zasnovana posebej za ta namen,« pravi Bjelic. 

zkSync's Pathfinder bo razvijalcem omogočil izbiro med tremi možnostmi za razpoložljivost podatkov, Validium, zkPorter (mešanje v verigi in izven verige) in ZKRollup (polna varnost).

zkSync je že na poti. (Pexeli)

Ne pričakujte velikega poka od predstavitve glavnega omrežja zkSync 28. oktobra. Sprva bo nekako premalo, saj bo nekaj mesecev testiranja Matter Labs in ponujanja nagrad uporabnikom, da poskusijo vdreti ali izkoristiti. Nato bo aplikacijam DApps dovoljen prenos in bodo začele graditi in preizkušati varnost.

»In potem, ko se nam zdi, da smo opravili vse, naredimo tisto, kar se imenuje dvigovanje vrat,« pravi Newcomb. »In potem lahko vsi uporabniki istočasno vstopijo v sistem in to se imenuje program poštene izdaje. Zato nobenemu projektu ne dajemo prednosti pred drugim.” Pravi, da se bo takrat začelo 150 projektov in ne bo več razloga, da bi projekt čakal na dokončanje Polygonove rešitve.

»Kot bi šli na dirkališče in se tam pojavili s šasijo avtomobila, ki nima nobenih koles, brez volana in prav nobenega motorja,« pravi.

»In imamo narejen celoten izdelek. Veste, da imamo Ferrarija in da smo pripravljeni na pot.”

Andrew Fenton

Andrew Fenton s sedežem v Melbournu je novinar in urednik, ki pokriva kriptovalute in blockchain. Delal je kot nacionalni razvedrilni pisec za News Corp Australia, za SA Weekend kot filmski novinar in za The Melbourne Weekly.

Vir: https://cointelegraph.com/magazine/2022/10/12/attack-zkevms-cryptos-10x-moment