Matter Labsi tootejuht Steve Newcomb ütleb, et krüpto on praegu nõrk, nagu Internet 1996. aastal, aeglase kiiruse ja väheste praktiliste kasutusjuhtude tõttu.
Kuid ribalaiuse ja turvalisuse märkimisväärne suurenemine varsti pärast seda muutus Internetist kogu maailmas igapäevaelu oluliseks osaks – ja me oleme just selle tipul, et see lähikuudel krüpto puhul juhtub.
"Keegi ei usaldanud oma krediitkaarti ja kõik arvasid, et see on moeröögatus ja sellel polnud mingeid kasutusjuhtumeid," selgitab Newcomb.
„Ja siis oli meil 10-kordne hetk ribalaiuses ja siis tuli SSL ja HTPS, kus sa selle luku said – see oli 10-kordne usaldushetk. Järsku 2005. aastal läks e-kaubandus lihtsalt läbi.
Krüpto 10x hetk võib lõpuks käes olla, zkSynci Ethereumi virtuaalmasinaga ühilduv põhivõrk käivitatakse 28. oktoobril. EVM on sisuliselt Ethereumi operatsioonisüsteem ja selle töö võimaldamine nullteadmiste koondfailide abil tähendab, et kõik Ethereumis töötav saab sujuvalt üle kogeda. tohutu hüppe kiiruses ja madalamad kulud.
Nemad pole ainsad, kes probleemi ründavad: Polygon käivitas sel nädalal oma zkEVM-i testvõrgu, kus Aave, Uniswap ja Lens võtsid kõik kohustuse seda kasutusele võtta. Scroll käivitas oma "Pre Alpha testnet" juulis StarkWare'i zk-lahendus on teinud miljoneid tehinguid kuus.
Need lahendused on kõik hästi rahastatud: Scroll kogub 30 miljonit dollarit, Starkware 150 miljonit dollarit ja Polygon 450 miljonit dollarit. Newcomb vihjab, et zkSynci enda rahastamisvoor on Polygoniga samas palliplatsil, kuid seda pole veel ametlikult välja kuulutatud.
StarkWare on oma edumaast kaugel, sest ta käivitas üheksa kuud tagasi oma ZK koondlahenduse ja see lülitas augustis sisse rekursiivse skaleerimise. Kuid see tegi ka riskantse otsuse kasutada kohandatud programmeerimiskeelt nimega Kairo, et tõhusamalt skaleerida. See võib näha, et suurte protokollide kasutuselevõtt liigub EVM-iga ühilduvate lahenduste puhul vähima takistuse teele.
Kõik lahendused töötavad ka rekursiivse skaleerimise ja/või 3. kihi juurutuste kallal, mis muudavad Ethereumi tehingud potentsiaalselt tuhandeid kordi kiiremaks, kaotavad vajaduse ahelatevaheliste sildade järele ja võimaldavad krüptol lõpuks oma tegelikku potentsiaali realiseerida.
Mis on nullteadmiste koond või zk koond?
ZK-rullimised on tänapäeval plokiahela suurimad moesõnad. Tehnoloogia võimaldab arvutada tuhandeid tehinguid eemal valusalt aeglasest Ethereumi plokiahelast koos väikese "kehtivustõendiga", mis kinnitab, et kõik tehingud viidi läbi õigesti. Nii saate 10,000 XNUMX mujal tehtud tehingut kokku panna üheks ETH-tehinguks. See on suur asi, sest isegi pärast seda, kui Merge Ethereum kaasa lonkab 15 tehingut sekundis.
ZK koondfaile on juba mõnda aega kasutatud NFT-de ja finantstehingute jaoks sellistel platvormidel nagu Loopring, dyDx ja teised. Kuid nagu kaasasutaja Vitalik Buterin märkis augustis ETH Seouli ajal:
"Üldiselt arvan, et oleme õppinud, et inimesed ei taha lihtsalt skaleeritavat raha, nad tahavad skaleeritavat EVM-i."
See on üks neist, mida Newcomb nimetab ZK kokkuvõtete jaoks "viieks maagiliseks elemendiks". Tema arvates peaks ZK koondlahendus olema üldotstarbeline, EVM-iga ühilduv ja toetama Ethereumi programmeerimiskeelt Solidity. See peaks olema ka avatud lähtekoodiga, et sobituda krüpto loomise eetosega, ja sellel peaks olema märgijaotus, mis detsentraliseerib protokolli, mitte ei koondaks rikkust meeskonna vahel.
Uudishimuliku kokkusattumusega on zkSync saavutanud kõik viis isekehtestatud mõõdikut. (Newcomb ütleb, et ta ei saa täpset märgijaotust üksikasjalikult kirjeldada, kuid ütleb, et umbes 30% siseringi isikute jaoks näib olevat konsensus.)
Kontrollnimekiri kujutab endast konkurendi StarkWare'i varjatud kriitikat, mis peaks andma 49.9% oma StarkNeti märgi pakkumisest investoritele ja põhipanustajatele. See ei ole ka avatud lähtekoodiga, kuigi kavatseb anda IP kontrolli oma kogukonnale.
Kaasasutaja Eli Ben-Sasson selgitab, et ainus viis ZK koondfailide pakutava skaleerimise täielikuks ärakasutamiseks on kasutada kohandatud keelt nagu Kairo.
"Ma olen väga kindel, et inimesed mõistavad pärast tõendite sisselülitamist, et eesmärk ei ole EVM-i simuleerimine. Eesmärk on jõuda mastaapsuseni. Teha 10,000 100,000, XNUMX XNUMX, üks miljon tehingut ja panna nende tõendid ühte Ethereumi plokki, ”ütleb ta.
"Olen nõus kihla vedama, et te ei näe täielikku ZK EVM-i, mis suudab panna Ethereumis ühe tõendi sisse miljon tehingut. Nagu me täna hõlpsasti teha saame ja oleme teinud kuid ja aastaid.
Skaleerimine versus ühilduvus
StarkWare'i Odin-Free selgitas Twitteris, et kohandatud keele vajaduse taga on keerulised matemaatilised põhjused, sest "tõestussüsteemid nagu Stark põhinevad lõplike väljade polünoomidel, andes palju tõhusama polünoomivõrrandi." OK, võtame tema sõna.
Ben-Sassoni jaoks on EVM-i kokku tõmbamine lihtsalt loll:
"Kui soovite transporti lahendada, võite võtta suure veoauto ja panna selle lennukisse ja lasta lennukil see kohale toimetada," ütleb ta.
“On lennukeid, kuhu veoauto sisse mahub, aga see on väga ebaefektiivne viis. Palju parem viis on lihtsalt asjad võtta ja otse lennukisse panna.
Sellegipoolest on ökosüsteemil transpiler nimega Warp, mis muudab Solidity koodi Kairo koodiks ja mis on just kasutatud Uniswapi portimiseks StarkNeti.
Nii et sisuliselt tuleb ZK koondfailide puhul teha valik EVM-iga täieliku ühilduvuse ja skaleerimise vahel. Täielik ühilduvus võimaldab DAppidel ja protokollidel sujuvalt üle pordida ning kõik töötab arendajate ja kasutajate jaoks täpselt nagu Ethereumis, kuid skaleerimise mõttes on kiirem ilmselgelt parem.
Newcomb möönab, et StarkWare'i lahendus toodab paremini mastaapi, kuid ütleb, et juurdepääsetavuse ohverdamine tähendab, et see sobib paremini kohandatud ettevõtterakenduste jaoks, mitte olla Ethereumi põhiosa, kuna see on "vastuvõtmishõõrdumine".
"Need ei ühildu EVM-iga, seega on neid väga raske portida. Oleme näinud projekte, mille elluviimiseks kulub seitse kuud.
Ühildub, kuid vähem elegantne
Kokkulepitud määratlust ei ole, kuid "EVM-i ekvivalent" tähendab tavaliselt "täpselt sama mis EVM", nii et saate lihtsalt juurutada olemasoleva nutika lepingu lahenduses ilma muudatusteta.
Laialdaselt nõustutakse, et Scroll on samaväärne, kuid see pole veel korralikus testvõrgus ja on suhteliselt väikese eelarvega teistest mitu kuud maas. Polygoni zkEVM-lahendus väidab end olevat samaväärne (kuigi see on vaidlustatud). Vahepeal ühildub zkSync EVM-iga – mis tähendab, et see on peaaegu identne, kuid mõned asjad ei pruugi lahenduse paremaks toimimiseks tehtud disainivalikute tõttu töötada.
hulknurk käivitas esmaspäeval oma zkEVM Public Testneti, väites: "Polygon on esimene projekt, mis pakub zkEVM-i täisfunktsionaalset avatud lähtekoodiga rakendust; murranguline verstapost mitte ainult polügooni, vaid kogu tööstuse jaoks. Polygon ütleb, et testnet "sisaldab täielikult avatud lähtekoodiga zk-Proverit - esimest omataolist, mis avaldatakse avalikult."
Kaasasutaja Mihailo Bjelic ütleb ajakirjale Magazine, et varased testid näitavad, et "Polygoni zkEVM võib vähendada Ethereumi võrgutasusid ligikaudu 90% ja suurendada võrgu läbilaskevõimet mitme suurusjärgu võrra."
Ta ütleb, et tehnoloogia avatud hankimine „tõestab meie vastavust tööstuse eetosele ja suurendab lahenduse turvalisust, kuna igaüks saab selle üle vaadata ja potentsiaalsetele vigadele tähelepanu juhtida. See ei kehti StarkNeti või zkSynci puhul, mis hoiavad oma rakenduste kriitilised osad vähemalt praegu suletud lähtekoodiga.
Tehniline pisik
Scrolli Luozhu Zhangi andmetel on kolm potentsiaalset tüüpi zkEVM-e: baitkoodi tase, keeletase ja konsensuse tase. zkSync ja StarkWare on keeletasemel ja nõuavad kompilaatori või transpilaatori sammu, samas kui Scroll ja Polygon on baitkoodi tasemel lähenemisviisid. Baitkoodi inimesele loetavat vormi nimetatakse opkoodiks.
Bjelic ütleb, et Polygoni lahendus on loodud EVM-i ekvivalentseks, samas kui:
"Projektid, nagu StarkNet ja zkSync, liiguvad erineval viisil – neil on oma kohandatud virtuaalmasinad ja seejärel proovivad nad Solidity'i, EVM-i peale ehitatud kõige populaarsemat keelt, üle kanda keeltesse, mida need virtuaalmasinad saavad tõlgendada," ütleb ta.
"Sellel lähenemisviisil on kaks peamist väljakutset: (i) on raske luua transpilaatorit, mis toetaks 100% Solidity nutikaid lepinguid ja (ii) isegi kui teil on transpiler, ei saa te ikkagi arendajat ja lõppkasutajat kasutada. sellised tööriistad nagu Polygon zkEVM.
Newcomb ütleb, et ringleb halb teave. "Me ei edasta, vaid koostame," ütleb ta. Ja ta vaatab Polygonile tagasi, öeldes, et projekti Githubi vaadates ei ole neil veel töötavat üldotstarbelist tõestajat, mis on integreeritud töötava sekventeriga.
"Kui see nii on, tähendab see, et neil on teha määramatu hulk tööd. Mis tahes keerulise süsteemi viimane 10% on alati kõige raskem. See näeb välja sarnane sellele, kus me olime või isegi selle taga, kus olime testneti käivitamisel. Ja pärast seda kulus meil üheksa kuud.
Enamasti ühilduvad
Vahepeal ühildub zkSync kõigi Ethereumi 141 opkoodiga peale kolme – millest üks on aegunud, teine on aegunud ja kolmandat kasutab Newcombi andmetel vähem kui 1/10 1% projektidest.
„Mida me siis saime, et polnud täielikult samaväärsed? Meil on kaks asja: meie kulu tulemuslikkusele on palju parem kui mis tahes lahendus, mis järgib samaväärsust. Oleme palju kiiremad, palju odavamad. Ja teine asi, mille saime, on see, et suutsime oma ahelasse kleepida LLVM-i kompilaatori, mida te ei saa teha, kui teete samaväärset. Ja mida LLVM-i kompilaator teeb, vaatame juba kolmandat kihti.
LLVM laseks oma lahendusele Pythoni, Rusti või C++ arendajakoodi, mis seejärel kompileerub, et Solidityga samamoodi töötada.
"See on lapsendamise jaoks tohutu. Nii et kus see projekt, mis kestis seitse kuud siin Kairos, kandus meile seitsme päevaga sama ökosüsteemi projekt. See on ühilduvus."
Ta möönab, et kui zkSyncil oleks täielik samaväärsus, kuluks ülekandmiseks vaid üks päev, kuid LLVM ja suurenenud skaleerimine jääksid vahele. Nii et ta ütleb, et see on vahetus, mida tasub teha.
3. kiht ja rekursiivne skaleerimine
Kõige lahedam asi suure hulga tehingute üheks kehtivustõendiks tihendamise juures on see, et tehnoloogia võimaldab tihendada paljusid muud tõendid samuti üheks tõendiks.
Seda nimetatakse rekursiivseks skaleerimiseks ja Declan Fox, Consensysi koondamiste tootejuht, usub, et see on nii võimas, et teoreetiliselt võiks kogu globaalne finantssüsteem töötada Ethereumiga. "Meil on sellise vajaliku läbilaskevõime saavutamiseks vajalik tehnoloogia," ütleb ta. "Rekursiivsete kogumiste ja tõestustega saame teoreetiliselt skaleerida lõpmatult."
Loe ka: Ethereum sööb maailma: "Teil on vaja ainult ühte Internetti"
StarkWare lülitas augustis sisse rekursiivse skaleerimise ja on pärast selle tehnoloogia kasutamist töötlenud enam kui 30 miljonit tehingut.
"Rekursioon on selles varajases staadiumis juba suurendanud tehingute arvu ühes tõendis ligikaudu 8 korda," selgitab Ben-Sasson. „Veelgi enam, see on osutunud nii tõhusaks, et varsti pärast selle tootmist on meie enda pilveteenuste kulud tõenduspõhise genereerimise jaoks umbes 40% väiksemad.
"Need ei ole ennustused ega numbrid, mida me loodame näha, vaid pigem numbrid sellest, mis täna tootmises on. Ja ma rõhutan: see on alles algus ja muudatused, mida me teeme, muudavad need numbrid üha muljetavaldavamaks.
Polygon hakkab Bjelici järgi rakendama oma Plonky2 lahendust. See on avatud lähtekoodiga zk-SNARK lahendus. "Seda rekursiivset SNARK-i saab kasutada tehingute kontrollimiseks suurusjärgus kiiremini kui olemasolevad alternatiivid. Plonky2 ühildub ka Ethereumi virtuaalmasinaga, mis võimaldas Polygonil zkEVM-i välja töötada.
Ja zkSynci 3. kihi testvõrk avaldatakse peagi, et saaksite järgmise aasta alguses ära kasutada Ethereumi uuendust nimega Proto-Danksharding, mis on loodud spetsiaalselt selleks, et anda Ethereumi rulluppudele ruumi õitsenguks. Newcomb loodab, et Layer 3 jõuab tootmisse aasta jooksul. Nad kutsuvad seda Pathfinderiks, "fraktaalide hüperahelate" ökosüsteemiks.
Tõenäoliselt võiksime inseneritööga tunde jätkata, kuid funktsionaalselt mida rekursiivsest ahelast kõrgemale Etheriumist eemaldute, seda odavamaks muutuvad andmesidekulud ja see on 10x, 10x, 10x, 10x, kui andmesidekuludega kokku langete. ja see on zk-le ainulaadne.
"Siit jõuame 100,000 4000 TPS-i ja miljonini TPS-i," ütleb ta. Visa maksab tavalisel päeval umbes 65,000 TPS-i, tipptundidel, nagu Chrismats, kuni umbes XNUMX XNUMX TPS.
"ZK on ainus viis 100,000 XNUMX TPS-i saavutamiseks, et saaksite jõuda tasemele, kus midagi nagu Visa asendab selle aluseks oleva protokolli plokiahelaga. Ja kui te seda teete, on see teie massilise adopteerimise hetk.
Veel üks hämmastav areng Newcombi sõnul on see, et kiht 3 suudab vabaneda ahelatevaheliste sildade nõudest, mis on koht, kus ainuüksi sel aastal on toimunud kõik rohkem kui 2 miljardi dollari väärtuses häkkimised.
„Üks muudest asjadest, mille oleme 3. kihis juba saavutanud, vabaneme kõigist sildadest. Ja kui teil on võimalik lasta ühel tõestajal teha vooluringi kõigi L3 hüperahelate jaoks, on igasugune suhtlus ühelt plokiahelalt teisele praegu loomulik. See on teine põhjus, miks Vitalik ütles, et see on lõppmäng, sest sildu enam pole.
"Kui muudate selle suurusjärgu võrra kiiremaks, odavamaks, kui muudate selle kasutamise lihtsamaks ja tervitatavaks laiemale arendajate publikule, kuna teil on rohkem keeli, ja paned inimesed seda usaldama, sest vabanete sildadest. See on see, mida ma alati ütlen, et L10-s on 3-kordsete hetkede tähtede kogum ja see on koht, kus mäng toimub.
Pole veel fikseeritud
Nii et see on kõik? Kas ZK koondfailide ja EVM-iga ühilduvate skaleerimislahenduste saabumisega on kõik lahendatud?
Kahjuks ei ole. ZK koondfailid suudavad praegu Ethereumist arvutusi väga hästi maha võtta, kuid nad peavad siiski põhiahelasse tagasi kirjutama piisavalt andmeid, et kui rullimine lakkab töötamast või selle võtavad üle pahad, võib mõni muu riietus rikkumisse sekkuda. ja teha kindlaks, kes kellele mida võlgneb.
Seda nimetatakse andmete kättesaadavuse probleemiks ja märkimisväärne osa Ethereumi tegevuskavast koos proto-dankshardingi ja täieliku dankshardingiga püüab seda lahendada ja võimaldada rohkemate andmete kaasamist. Praegu on selle lahendamiseks paar võimalust, sealhulgas andmete salvestamine Validiumidele, mis on odavamad, kuid vähem turvalised.
Soovin uudiskirja
Kõige kaasahaaravam lugemine plokiahelas. Tarnitakse üks kord a
nädal.
"See, kuidas me seda kirjeldame, on see, kui teil on pesapallikaartide kollektsioon ja paljud neist kaartidest ei maksa palju ja olete need Validiumis salvestanud, kuid tõenäoliselt saate ühe haruldase kaardi, mis on väärt palju raha. säästa 1. kihi pealt,” ütleb Ben-Sasson.
Polygon töötab sellele samale probleemile mitmete lahenduste kallal, sealhulgas Avail "plokiahel, kus teave on igal ajal kõigile kättesaadav, on loodud spetsiaalselt selleks otstarbeks," ütleb Bjelic.
zkSynci Pathfinder võimaldab arendajatel valida kolme andmete kättesaadavuse valiku vahel: Validium, zkPorter (segamine ahelas ja ahelast väljas) ja ZKRollup (täielik turvalisus).
Ärge oodake suurt pauku zkSynci põhivõrgu lansseerimisest 28. oktoobril. Esialgu on see omamoodi ebaharilik, sest paar kuud testib lihtsalt Matter Labs ja pakub kasutajatele hüvesid, et proovida seda häkkida või seda ära kasutada. Seejärel lubatakse DAppidel üle portida ning hakata turvalisust ehitama ja testima.
"Ja siis, kui tunneme, et saime kõik tehtud, teeme nn lifti väravasse," ütleb Newcomb. “Ja siis saavad kõik kasutajad süsteemi korraga siseneda ja seda nimetatakse õiglase väljalaske programmiks. Nii et me ei eelista ühtegi projekti teisele. Ta ütleb, et sel hetkel käivitub 150 projekti ja pole enam põhjust, et projekt ootaks Polygoni lahenduse valmimist.
"Nagu nad lähevad võidusõidurajale ja ilmuvad auto šassiiga, millel pole rattaid, rooli ja absoluutselt mootorit," ütleb ta.
"Ja meil on kogu toode valmis. Teate, et meil on Ferrari ja me oleme valmis minema.
Allikas: https://cointelegraph.com/magazine/2022/10/12/attack-zkevms-cryptos-10x-moment