Steve Newcomb, a Matter Labs termékért felelős vezetője szerint a kriptográfia jelenleg gyengélkedik, mint az internet 1996-ban, lassú sebességgel és kevés gyakorlati felhasználási esettel.
A sávszélesség és a biztonság jelentős növekedése azonban nem sokkal ezután azt eredményezte, hogy az internet a mindennapi élet kulcsfontosságú részévé vált szerte a világon – és a következő néhány hónapban a kriptográfia terén a küszöbön állunk.
"Senki sem bízott benne a hitelkártyájában, és mindenki azt hitte, hogy ez egy hóbort, és nem volt rá példa" - magyarázza Newcomb.
„És akkor 10-szeres pillanatunk volt a sávszélességben, majd jött az SSL, és a HTPS, ahol ezt a zárolást kaptuk – ez tízszeres pillanat volt a bizalomban. 10-ben az e-kereskedelem hirtelen átment a tetőn.”
Végre elérkezhet a Crypto „10x” pillanata: a zkSync Ethereum Virtual Machine kompatibilis főhálózata október 28-án indul. Az EVM lényegében az Ethereum operációs rendszere, és lehetővé teszi, hogy nulla tudásgyűjtemény használatával működjön, ami azt jelenti, hogy minden, ami az Ethereumon fut, zökkenőmentesen átvihető élménybe. hatalmas sebességugrás és alacsonyabb költségek.
Nem ők az egyedüliek, akik támadják a problémát: a Polygon ezen a héten elindította a saját zkEVM-éhez készült testnetet, amelyben az Aave, a Uniswap és a Lens egyaránt elkötelezték magukat a telepítés mellett. A Scroll júliusban indította el „Pre Alpha testnet”-jét A StarkWare zk-megoldása havonta több millió tranzakciót hajt végre.
Ezek a megoldások mindegyike jól finanszírozott: a Scroll 30 millió dollárt, a Starkware 150 millió dollárt, a Polygon pedig 450 millió dollárt gyűjtött. Newcomb utal arra, hogy a zkSync saját finanszírozási köre ugyanabban a pályán van, mint a Polygoné, de hivatalosan még nem jelentették be.
A StarkWare messze megelőzi a csapatot, hiszen kilenc hónappal ezelőtt piacra dobta saját ZK rollup megoldását. augusztusban bekapcsolta a rekurzív skálázást. De azt a kockázatos döntést is meghozta, hogy a Cairo nevű egyedi programozási nyelvet használja a hatékonyabb méretezés érdekében. Ez azt eredményezheti, hogy a nagy protokollok elfogadása a legkisebb ellenállás útjára lép az EVM-kompatibilis megoldásokon.
Valamennyi megoldás a rekurzív skálázáson és/vagy a „Layer 3” implementációkon is dolgozik, amelyek révén az Ethereum-tranzakciók potenciálisan ezerszer gyorsabbak lesznek, szükségtelenné válik a láncközi hidak alkalmazása, és lehetővé teszi a kriptográfia számára, hogy végre felismerje valódi potenciálját.
Mi az a zéró tudásgyűjtő vagy zk összesítés?
A ZK rollupok napjaink egyik legnagyobb hívószavai a blokkláncban. A technológia lehetővé teszi tranzakciók ezrei kiszámítását a fájdalmasan lassú Ethereum blokklánctól távol, egy apró „érvényességi igazolással”, amely igazolja, hogy az összes tranzakciót helyesen hajtották végre. Így 10,000 XNUMX másutt végrehajtott tranzakciót „összegördíthet” egyetlen ETH-tranzakcióba. Ez azért nagy dolog, mert még azután is, hogy a Merge Ethereum sántikál másodpercenként 15 tranzakcióval.
A ZK-összegzéseket már egy ideje NFT-khez és pénzügyi tranzakciókhoz használják olyan platformokon, mint a Loopring, a dyDx és mások. De amint Vitalik Buterin társalapítója rámutatott az augusztusi ETH Szöul során:
„Általában azt hiszem, megtanultuk, hogy az emberek nem csak egy méretezhető pénzre vágynak, hanem egy méretezhető EVM-re.”
Ez az egyike annak, amit Newcomb „öt mágikus elemnek” nevez a ZK rollupokhoz. Véleménye szerint a ZK rollup megoldásnak általános célú, EVM-kompatibilisnek kell lennie, és támogatnia kell az Ethereum Solidity programozási nyelvét. Nyílt forráskódúnak kell lennie, hogy illeszkedjen a crypto alapító szellemiségéhez, és olyan token-elosztással kell rendelkeznie, amely decentralizálja a protokollt, nem pedig a gazdagságot a csapat között koncentrálja.
Különös véletlen egybeesés folytán a zkSync mind az öt saját maga által kiszabott mérőszámot elérte. (Newcomb azt mondja, hogy nem tudja részletezni a token pontos eloszlását, de azt mondja, hogy a bennfentesek körülbelül 30%-a a „konszenzus”.)
Az ellenőrzőlista mintegy burkolt kritika a versenytárs StarkWare ellen, amely a StarkNet tokenkészletének 49.9%-át a befektetőknek és a fő közreműködőknek adja. Szintén nem nyílt forráskódú, bár azt tervezi, hogy a közösségének adja át az IP feletti irányítást.
Eli Ben-Sasson társalapítója elmagyarázza, hogy az egyetlen módja annak, hogy teljes mértékben kihasználjuk a ZK rollupok által nyújtott skálázás előnyeit, ha olyan egyéni nyelvet használunk, mint a Kairó.
„Nagyon bízom benne, hogy az emberek rájönnek, amint bebizonyítják, hogy nem az EVM szimulálása a cél. A cél a skálázhatóság elérése. Hogy 10,000 100,000, XNUMX XNUMX, XNUMX millió tranzakciót helyezzünk el, és azok igazolását az Ethereum egyetlen blokkjába helyezzük” – mondja.
Hajlandó vagyok fogadni, hogy nem fog látni egy teljesen kiforrott ZK EVM-et, amely millió tranzakciót képes egyetlen bizonyítékba helyezni az Ethereumon. Ahogy ma is könnyedén megtehetjük, és ezt tesszük hónapok és évek óta.”
Méretezés versus kompatibilitás
A StarkWare Odin-Free kifejtette a Twitteren, hogy bonyolult matematikai okok állnak az egyéni nyelv szükségessége mögött, mivel „az olyan bizonyítási rendszerek, mint a Stark, véges mezők feletti polinomokon alapulnak, így sokkal hatékonyabb polinomegyenletet adnak”. Rendben, fogadjuk a szavát.
Ben-Sasson számára az EVM feltalálása hülyeség:
„Ha meg akarja oldani a szállítást, foghat egy nagy teherautót, berakhatja egy repülőgépbe, és a gép szállíthatja” – mondja.
„Vannak olyan repülőgépek, amelyekbe belefér egy teherautó, de ez nagyon nem hatékony módja ennek. Sokkal jobb módszer az, ha elveszed a dolgokat, és közvetlenül a gépbe teszed."
Ennek ellenére az ökoszisztéma rendelkezik egy Warp nevű transzpilerrel, amely a Solidity kódot kairói kóddá változtatja, és most használták az Uniswap elágazásán keresztül a StarkNetre.
Tehát lényegében a ZK rollupok esetében választani kell az EVM-mel való teljes kompatibilitás és a méretezés között. A teljes kompatibilitás lehetővé teszi a DApp-ok és protokollok zökkenőmentes portolását, és minden pontosan úgy működik, mint az Ethereumon a fejlesztők és a felhasználók számára, de a méretezés szempontjából nyilvánvalóan jobb a gyorsabb.
Newcomb elismeri, hogy a StarkWare megoldása jobban méretarányos, de azt mondja, hogy a kisegítő lehetőségek feláldozása azt jelenti, hogy az „elfogadási súrlódások” miatt jobban megfelel a testre szabott vállalati alkalmazásokhoz, mint az Ethereum alapvető része.
„Nem EVM-kompatibilisek, ezért nagyon nehéz portolni rájuk. Láttunk olyan projekteket, amelyeknél hét hónapig tart, mire eljuttatják őket.”
Kompatibilis, de kevésbé elegáns
Nincs elfogadott meghatározás, de az „EVM-egyenérték” általában azt jelenti, hogy „pontosan ugyanaz, mint az EVM”, így a meglévő intelligens szerződést változtatások nélkül telepítheti a megoldásra.
A Scrollról széles körben egyetértenek abban, hogy egyenértékű, de még nincs megfelelő tesztneten, és sok hónapos lemaradásban van a többihez képest, viszonylag kis költségvetéssel. A Polygon zkEVM megoldása azt állítja, hogy ekvivalens (bár ez vitatható). A zkSync eközben EVM-kompatibilis lesz – ami azt jelenti, hogy majdnem azonos, de előfordulhat, hogy néhány dolog nem működik bizonyos tervezési döntések miatt, hogy a megoldás jobban működjön.
Poligon Hétfőn elindította a zkEVM nyilvános teszthálózatát, és azt állítja, hogy „A Polygon az első olyan projekt, amely a zkEVM teljes értékű, nyílt forráskódú megvalósítását biztosítja; úttörő mérföldkő, nem csak a Polygon, hanem az egész iparág számára.” A Polygon szerint a tesztnet „teljesen nyílt forráskódú zk-Provert tartalmaz – ez az első a maga nemében, amelyet nyilvánosan kiadtak”.
Mihailo Bjelic társalapítója a magazinnak azt mondta, hogy a korai tesztek azt mutatják, hogy "a Polygon zkEVM-je körülbelül 90%-kal csökkentheti az Ethereum hálózati díjait, és több nagyságrenddel növelheti a hálózat átviteli sebességét."
Azt mondja, hogy a technológia nyílt forrásból történő beszerzése „bizonyítja, hogy igazodunk az ipar szellemiségéhez, és növeli a megoldás biztonságát, mivel bárki áttekintheti azt, és rámutathat a lehetséges hibákra. Nem ez a helyzet a StarkNet vagy a zkSync esetében, amelyek megvalósításaik kritikus részeit zárt forrásból tartják, legalábbis egyelőre.”
Technikai darab
A Scroll's Luozhu Zhang szerint a zkEVM-eknek három lehetséges típusa van: bájtkód szint, nyelvi szint és konszenzus szint. A zkSync és a StarkWare nyelvi szintű, és fordítói vagy transzpiláló lépést igényel, míg a Scroll és a Polygon bájtkód szintű megközelítések. A bájtkód ember által olvasható formáját műveleti kódnak nevezzük.
Bjelic szerint a Polygon megoldását úgy tervezték, hogy egyenértékű legyen az EVM-mel, miközben:
„Az olyan projektek, mint a StarkNet és a zkSync, más utat járnak be – saját egyedi virtuális gépeik vannak, majd megpróbálják átültetni a Solidity-t, az EVM-re épülő legnépszerűbb nyelvet azokra a nyelvekre, amelyeket ezek a virtuális gépek tudnak értelmezni” – mondja.
„Két fő kihívás van ezzel a megközelítéssel: (i) nehéz olyan transzpilert építeni, amely a Solidity intelligens szerződéseinek 100%-át támogatja, és (ii) még ha rendelkezik is az átvivővel, akkor sem tudja kihasználni az összes fejlesztőt és végfelhasználót. olyan eszközök, mint a Polygon zkEVM.”
Newcomb szerint rossz információk keringenek. „Nem transzpilálunk, hanem összeállítunk” – mondja. És egy pillantást vet a Polygonra, és azt mondja, hogy a projekt Githubjára nézve, hogy még nem dolgoznak ki egy működő, általános célú bizonyítványt, amely egy működő szekvenszerrel van integrálva.
„Ha ez a helyzet, az azt jelenti, hogy meghatározhatatlan mennyiségű munkájuk van. Minden összetett rendszer utolsó 10%-a mindig a legnehezebb. Ez hasonlít ahhoz, ahol a testnet elindításakor voltunk, vagy akár mögöttünk is volt. Utána pedig kilenc hónapba telt.”
Többnyire kompatibilis
A zkSync eközben három kivételével az Ethereum 141 Opcode-ja közül három kivételével kompatibilis – amelyek közül az egyik elavult, egy másik elavult, a harmadikat pedig a projektek kevesebb mint 1/10-e használja a Newcomb szerint.
„Szóval mit kaptunk azért, mert nem voltunk teljesen egyenértékűek? Két dolgot kaptunk: a teljesítmény költsége sokkal jobb, mint bármely, az ekvivalenciát követő megoldás. Sokkal gyorsabbak vagyunk, sokkal olcsóbbak. A második dolog, amit kaptunk, az az, hogy egy LLVM fordítót tudtunk beilleszteni a láncunkba, amit nem tehetsz meg, ha egyenértékűt csinálsz. És amit egy LLVM fordító csinál, az az, hogy már a harmadik réteget nézzük.”
Az LLVM egy Python, Rust vagy C++ fejlesztői kódot engedne a megoldásukra, amely aztán lefordítja, hogy ugyanúgy működjön a Solidity-vel.
„Ez óriási az örökbefogadás szempontjából. Tehát ez a hét hónapig tartó projekt itt, Kairóban, ugyanaz az ökoszisztéma-projekt hét nap alatt jutott el hozzánk. Ez a kompatibilitás.”
Elfogadja, hogy csak egy napba telne a portolás, ha a zkSync teljes ekvivalenciával rendelkezne, de hiányozna az LLVM és a megnövekedett skálázás. Tehát azt mondja, ez egy olyan csere, amelyet érdemes megtenni.
3. réteg és rekurzív méretezés
A legmenőbb dolog abban, hogy nagyszámú tranzakciót egyetlen érvényességi igazolásba tömöríthetünk, az az, hogy a technológia lehetővé teszi számos tranzakció tömörítését. egyéb bizonyítékok egyetlen bizonyítékba is.
Ezt rekurzív skálázásnak hívják, és Declan Fox, a Consensys összesítésekért felelős termékmenedzsere úgy véli, hogy olyan erős, hogy elméletileg az egész globális pénzügyi rendszer futhat az Ethereumon. „Megvan a technológiánk ahhoz, hogy elérjük ezt a fajta áteresztőképességet” – mondja. „A rekurzív összesítéssel és bizonyítással elméletileg végtelenül skálázhatunk.”
Lásd még: Az Ethereum felfalja a világot: „Csak egy internetre van szüksége”
A StarkWare még augusztusban bekapcsolta a rekurzív skálázást, és a technológia használata óta több mint 30 millió tranzakciót dolgozott fel.
„A rekurzió ebben a korai szakaszban már megközelítőleg nyolcszorosára növelte a tranzakciók számát egyetlen bizonyításban” – magyarázza Ben-Sasson. „Sőt, annyira hatékonynak bizonyul, hogy röviddel a gyártás megkezdése után mintegy 8%-kal csökkentjük saját felhőköltségeinket az proof generálásért.
„Ezek nem előrejelzések vagy számok, amelyeket remélünk látni, hanem inkább számok a mai gyártásból. És hangsúlyozom: ez csak a kezdet, és a változtatások azt jelentik, hogy ezek a számok egyre lenyűgözőbbek lesznek.
A Polygon hamarosan megvalósítja Plonky2 megoldását Bjelic szerint. Ez egy nyílt forráskódú zk-SNARK megoldás. „Ez a rekurzív SNARK használható a tranzakciók nagyságrendekkel gyorsabb ellenőrzésére, mint a meglévő alternatívák. A Plonky2 natívan kompatibilis az Ethereum virtuális géppel is, amely lehetővé tette a Polygon számára a zkEVM fejlesztését.”
A zkSync Layer 3 teszthálózata pedig hamarosan megjelenik, még időben, hogy kihasználhassa a Proto-Danksharding nevű Ethereum-frissítés előnyeit a jövő év elején, amelyet kifejezetten arra terveztek, hogy az Ethereum rollupjainak teret engedjen a virágzáshoz. Newcomb várakozásai szerint a Layer 3 gyártása egy éven belül megkezdődik. Pathfindernek hívják, a fraktál hiperláncok ökoszisztémájának.
„Valószínűleg órákig folytathatnánk a tervezést, de funkcionálisan minél feljebb kerülünk a rekurzív láncon az Etheriumtól, annál olcsóbbak az adatátviteli költségek, és ez 10-szeres, 10-szeres, 10-szeres, 10-szeres, ahogyan az adatköltségekkel együtt visszatérünk. és ez csak a zk-re jellemző.”
"Ez az, ahol elérjük a 100,000 4000 TPS-t és egy millió TPS-t" - mondja. A Visa átlagosan 65,000 TPS körül mozog, csúcsidőben pedig XNUMX XNUMX TPS-re emelkedik, mint például a Chrismats.
„A ZK az egyetlen módja annak, hogy elérjük a 100,000 XNUMX TPS-t, hogy elérjük azt a szintet, ahol valami, mint a Visa, lecseréli az alapul szolgáló protokollt egy blokkláncra. És amikor ezt megteszed, ez a tömeges örökbefogadásod pillanata.”
Egy másik megdöbbentő fejlemény Newcomb szerint, hogy a Layer 3 megszabadulhat a láncközi hidak követelményétől, amelynél csak az idén történt több mint 2 milliárd dolláros feltörés.
„Az egyik másik dolog, amit már elértünk a 3. rétegben, hogy megszabadulunk minden hídtól. És ha megteheti, hogy egy próbát készíthet az összes hiperlánchoz az L3-ban, minden kommunikáció az egyik blokkláncról a másikra natív. Ez a másik ok, amiért Vitalik azt mondta, hogy ez a végjáték, mert nincs több híd.”
„Ha nagyságrendekkel gyorsabbá, olcsóbbá teszed, ha könnyebben használhatóvá és a fejlesztők szélesebb közönsége számára barátságosabbá teszed azáltal, hogy több nyelv áll rendelkezésre, és akkor megbizonyosodsz az emberekről, mert megszabadulsz a hidaktól. Mindig azt mondom, hogy az L10-ban egy 3-szeres pillanatokból álló sztárcsoport, és ez az a hely, ahol a játék lesz.”
Még nincs rögzítve
Szóval ennyi? A ZK rollupok és az EVM-kompatibilis skálázási megoldások érkezésével minden megoldódott?
Sajnos nem. A ZK rollupok jelenleg nagyon jól eltávolítják a számításokat az Ethereumból, de még mindig elegendő adatot kell visszaírniuk a főláncba, hogy ha a rollup leállna, vagy rosszfiúk veszik át, akkor valami más felszerelés léphet fel a jogsértésben. és kideríteni, hogy ki mivel tartozik kinek.
Ezt adatelérhetőségi problémának hívják, és az Ethereum proto danksharding és teljes danksharding útitervének jelentős része ennek megoldására és több adat felvételére törekszik. Jelenleg ezt több módon is megkerülhetjük, ideértve az adatok tárolását a Validiumokon, amelyek olcsóbbak, de kevésbé biztonságosak.
Feliratkozás
A legvonzóbb olvasmányok a blokkláncban. Egyszer leszállítva a
héten.
„Tehát úgy írjuk le, ha van egy baseballkártya-gyűjteménye, és sok ilyen kártya nem kerül sokba, és megmentette őket a Validiumban, de akkor egy ritka kártya, amely sok pénzt ér, valószínűleg meg fog spóroljon az 1. rétegen” – mondja Ben-Sasson.
A Polygon számos megoldáson dolgozik ugyanerre a problémára, beleértve az Avail-t „egy blokkláncot, ahol az információk bármikor elérhetők mindenki számára, kifejezetten erre a célra tervezték” – mondja Bjelic.
zkSync Pathfinder lehetővé teszi a fejlesztők számára, hogy az adatok elérhetőségének három lehetőség közül válasszanak: Validium, zkPorter (keverés láncon és láncon kívül) és ZKRollup (teljes biztonság).
Ne számíts nagy durranásra a zkSync október 28-i mainnet-bevezetésétől. Kezdetben eléggé lehangoló lesz, pár hónapig csak a Matter Labs teszteli, és jutalmakat kínál a felhasználóknak, hogy megpróbálják feltörni vagy kihasználni. Ezután a DApps átportálhat, és megkezdheti a biztonság kiépítését és tesztelését.
„És amikor úgy érezzük, hogy mindent megtettünk, megtesszük az úgynevezett lift in the gate-t” – mondja Newcomb. „És akkor az összes felhasználó egyszerre beléphet a rendszerbe, és ezt fair release programnak hívják. Tehát nem részesítünk előnyben egyetlen projektet sem a másikkal szemben.” Azt mondja, hogy ezen a ponton 150 projekt indul el, és többé nem lesz oka annak, hogy egy projekt várjon a Polygon megoldásának befejezésére.
„Olyan, mintha egy versenypályára mennének, és egy olyan autó alvázával jelennének meg, amelynek nincsenek kerekei, kormánya és egyáltalán nincs motorja” – mondja.
„És az egész terméket elkészítettük. Tudja, hogy megvan a Ferrari, és készen állunk az indulásra.”
Forrás: https://cointelegraph.com/magazine/2022/10/12/attack-zkevms-cryptos-10x-moment