Crypto v súčasnosti chradne ako internet v roku 1996 s nízkou rýchlosťou a málo praktickými prípadmi použitia, hovorí Steve Newcomb, produktový riaditeľ Matter Labs.
Ale veľké zvýšenie šírky pásma a bezpečnosti krátko potom videlo, že internet sa stal kľúčovou súčasťou každodenného života na celom svete – a sme na pokraji toho, že sa to stane v prípade kryptomien v najbližších mesiacoch.
„Nikto neveril svojej kreditnej karte a každý si myslel, že je to móda a neexistujú žiadne prípady použitia,“ vysvetľuje Newcomb.
„A potom sme mali 10x momenty v šírke pásma a potom prišlo SSL a HTPS, kde ste získali ten zámok – to bol 10x moment dôvery. Zrazu v roku 2005 sa elektronický obchod prehnal cez strechu.“
Moment „10x“ kryptomien by mohol byť konečne tu, 28. októbra bol spustený mainnet kompatibilný s virtuálnym strojom Ethereum od zkSync. EVM je v podstate operačný systém pre Ethereum a umožňuje mu pracovať s nulovými súhrnmi znalostí znamená, že všetko, čo beží na Ethereu, sa dá bez problémov preniesť na skúsenosti obrovský skok v rýchlosti a nižšie náklady.
Nie sú jediní, ktorí útočia na problém: Polygon tento týždeň spustil svoju testovaciu sieť pre svoj vlastný zkEVM, pričom Aave, Uniswap a Lens sa zaviazali nasadiť na ňom. Spoločnosť Scroll spustila svoju „testovaciu sieť Pre Alpha“ v júli Riešenie zk od StarkWare prekonalo milióny transakcií mesačne.
Všetky tieto riešenia sú dobre financované, pričom Scroll vyzbieral 30 miliónov dolárov, Starkware 150 miliónov dolárov a Polygon 450 miliónov dolárov. Newcomb naznačuje, že vlastné kolo financovania zkSync je na rovnakom ihrisku ako Polygon, ale ešte nebolo oficiálne oznámené.
StarkWare je ďaleko pred balíkom, pretože pred deviatimi mesiacmi spustil svoje vlastné súhrnné riešenie ZK v auguste zapol rekurzívne škálovanie. Urobila však aj riskantné rozhodnutie použiť vlastný programovací jazyk s názvom Cairo, aby bolo možné efektívnejšie škálovať. To by mohlo viesť k tomu, že prijatie veľkých protokolov sa presunie na cestu najmenšieho odporu pri riešeniach kompatibilných s EVM.
Všetky riešenia tiež pracujú na rekurzívnom škálovaní a/alebo implementáciách „vrstvy 3“, vďaka ktorým sa transakcie Ethereum potenciálne stanú tisíckrát rýchlejšie, odstránia sa potreba medzireťazcových mostov a kryptomenám umožní konečne realizovať svoj skutočný potenciál.
Čo je súhrn nulových znalostí alebo súhrn zk?
ZK rollupy patria dnes medzi najväčšie módne slová v blockchaine. Táto technológia umožňuje vypočítať tisíce transakcií ďaleko od bolestne pomalého blockchainu Ethereum s malým „dokladom o platnosti“, ktorý overuje, že všetky transakcie boli vykonané správne. Takže môžete „zhrnúť“ 10,000 XNUMX transakcií vykonaných inde do jednej transakcie ETH. Ide o veľkú vec, pretože dokonca aj po tom, čo zlúčenie Ethereum pokulháva pri 15 transakciách za sekundu.
ZK rollupy sa už nejaký čas používajú pre NFT a finančné transakcie na platformách ako Loopring, dyDx a iné. Ale ako spoluzakladateľ Vitalik Buterin zdôraznil počas ETH Soul v auguste:
"Vo všeobecnosti si myslím, že sme sa naučili, že ľudia nechcú len škálovateľné peniaze, ale chcú škálovateľné EVM."
Je to jeden z toho, čo Newcomb nazýva „päť magických prvkov“ pre súhrny ZK. Podľa jeho názoru by riešenie ZK rollup malo byť všeobecné, kompatibilné s EVM a podporovať programovací jazyk Ethereum Solidity. Mal by to byť aj open source, aby vyhovoval základnému étosu kryptomien, a mal by mať distribúciu tokenov, ktorá skôr decentralizuje protokol než koncentruje bohatstvo medzi tímom.
Kurióznou zhodou okolností dosiahol zkSync všetkých päť týchto vlastných metrík. (Newcomb hovorí, že nemôže podrobne uviesť presnú distribúciu tokenov, ale hovorí, že okolo 30 % pre zasvätených sa zdá byť „konsenzom“.)
Kontrolný zoznam je niečo ako skrytá kritika konkurenta StarkWare, ktorý má poskytnúť 49.9 % svojej ponuky tokenov StarkNet investorom a hlavným prispievateľom. Tiež to nie je open source, hoci plánuje dať kontrolu nad IP svojej komunite.
Spoluzakladateľ Eli Ben-Sasson vysvetľuje, že jediný spôsob, ako naplno využiť škálovanie, ktoré ponúkajú súhrny ZK, je použiť vlastný jazyk ako Cairo.
„Som si veľmi istý, že ľudia si uvedomia, keď zapnú dôkazy, že cieľom nie je simulovať EVM. Cieľom je dosiahnuť škálovateľnosť. Vložiť 10,000 100,000, XNUMX XNUMX, jeden milión transakcií a mať ich dôkaz vložený do jedného bloku Etherea,“ hovorí.
„Som ochotný sa staviť, že neuvidíte plnohodnotný ZK EVM, ktorý dokáže vložiť milión transakcií do jediného dôkazu o Ethereu. Tak, ako to môžeme ľahko urobiť dnes a robíme to už mesiace a roky.“
Škálovanie verzus kompatibilita
StarkWare's Odin-Free na Twitteri vysvetlil, že za potrebou vlastného jazyka stoja komplikované matematické dôvody, pretože „systémy dôkazov ako Stark sú založené na polynómoch na konečných poliach, čo poskytuje oveľa efektívnejšiu polynómovú rovnicu“. Dobre, berme ho za slovo.
Pre Ben-Sassona je snaha vylepšiť EVM jednoducho hlúposť:
„Ak by ste chceli vyriešiť prepravu, mohli by ste vziať veľký nákladiak, dať ho do lietadla a nechať ho dopraviť lietadlom,“ hovorí.
„Existujú lietadlá, do ktorých sa zmestí nákladné auto, ale to je veľmi neefektívny spôsob. Oveľa lepší spôsob je vziať veci a dať ich priamo do lietadla."
To znamená, že ekosystém má transpiler s názvom Warp, ktorý mení kód Solidity na kód Káhira a ktorý bol práve použitý na portovanie cez vidlicu Uniswapu na StarkNet.
Takže v podstate pri súhrnoch ZK existuje možnosť voľby medzi úplnou kompatibilitou s EVM a škálovaním. Úplná kompatibilita umožňuje DApps a protokoly bezproblémovo prenášať a všetko funguje presne ako v Ethereu pre vývojárov a používateľov, ale z hľadiska škálovania platí, že rýchlejšie je samozrejme lepšie.
Newcomb pripúšťa, že riešenie StarkWare bude produkovať škálovateľnosť lepšie, ale hovorí, že obetovanie dostupnosti znamená, že je vhodnejšie pre podnikové aplikácie na mieru, než byť základnou súčasťou Etherea kvôli „treniu pri adopcii“.
„Nie sú kompatibilné s EVM, takže je naozaj ťažké ich preniesť. Videli sme projekty, ktorých prenos do nich trvá sedem mesiacov.“
Kompatibilné, ale menej elegantné
Neexistuje žiadna dohodnutá definícia, ale „ekvivalent EVM“ zvyčajne znamená „presne to isté ako EVM“, takže môžete len nasadiť existujúcu inteligentnú zmluvu na riešenie bez akýchkoľvek zmien.
Scroll je všeobecne uznávaný ako ekvivalent, ale tiež ešte nie je na správnom testovacom sieti a je o mnoho mesiacov pozadu za ostatnými s pomerne malým rozpočtom. Riešenie Polygon zkEVM tvrdí, že je ekvivalentné (akokoľvek je to sporné.) zkSync medzitým bude kompatibilný s EVM – čo znamená, že je takmer identický, ale niekoľko vecí nemusí fungovať kvôli niektorým návrhom, aby riešenie fungovalo lepšie.
polygón v pondelok spustila svoju verejnú testovaciu sieť zkEVM s vyhlásením: „Polygon je vôbec prvý projekt, ktorý poskytuje plnohodnotnú, open source implementáciu zkEVM; prelomový míľnik nielen pre Polygon, ale pre celé odvetvie.“ Polygon hovorí, že testnet „zahŕňa úplne open source zk-Prover – prvý svojho druhu, ktorý bol zverejnený“.
Spoluzakladateľ Mihailo Bjelic pre magazín hovorí, že prvé testy ukazujú, že „zkEVM od Polygonu môže znížiť sieťové poplatky Etherea približne o 90 % a zvýšiť priepustnosť siete o niekoľko rádov.“
Hovorí, že otvorený zdroj technológie „dokazuje náš súlad s étosom odvetvia a zvyšuje bezpečnosť riešenia, pretože ho môže každý skontrolovať a upozorniť na potenciálne chyby. Toto nie je prípad StarkNet alebo zkSync, ktoré držia kritické časti svojich implementácií uzavreté, aspoň zatiaľ."
Technický kúsok
Podľa Luozhu Zhanga Scroll existujú tri potenciálne typy zkEVM: úroveň bytecode, jazyková úroveň a úroveň konsenzu. zkSync a StarkWare sú na jazykovej úrovni a vyžadujú krok kompilátora alebo transpilera, zatiaľ čo Scroll a Polygon sú prístupy na úrovni bajtového kódu. Ľudsky čitateľná forma bajtkódu sa nazýva operačný kód.
Bjelic hovorí, že riešenie Polygonu je navrhnuté tak, aby bolo ekvivalentné EVM, zatiaľ čo:
„Projekty ako StarkNet a zkSync idú inou cestou – majú svoje vlastné virtuálne stroje a potom sa snažia preniesť Solidity, najobľúbenejší jazyk postavený na EVM, do jazykov, ktoré tieto virtuálne stroje dokážu interpretovať,“ hovorí.
„Tento prístup má dve hlavné výzvy: (i) je ťažké vytvoriť transpiler, ktorý bude podporovať 100 % inteligentných zmlúv Solidity a (ii) aj keď máte transpiler, stále nemôžete využiť všetkých vývojárov a koncových používateľov. nástroje ako Polygon zkEVM dokážu.“
Newcomb hovorí, že kolujú zlé informácie. „Neprekladáme, ale kompilujeme,“ hovorí. A vráti sa k Polygonu a povie, že z pohľadu na Github projektu ešte nevyvinú funkčný univerzálny tester integrovaný s funkčným sekvencerom.
„Ak je to tak, znamená to, že majú pred sebou nedefinovateľné množstvo práce. Posledných 10% akéhokoľvek zložitého systému je vždy najťažších. Vyzerá to podobne ako to, kde sme boli, alebo dokonca za tým, kde sme boli, keď sme spustili testnet. A potom nám to trvalo deväť mesiacov."
Väčšinou kompatibilné
zkSync je medzitým kompatibilný so všetkými 141 operačnými kódmi Etherea okrem troch – jeden z nich bol zastaraný, ďalší je zastaraný a tretí podľa Newcombu používa menej ako 1/10 z 1 % projektov.
„Čo sme teda dostali za to, že nie sme úplne rovnocenní? Máme dve veci, naše náklady na výkon sú oveľa lepšie ako akékoľvek riešenie, ktoré sa usiluje o ekvivalenciu. Sme oveľa rýchlejší, oveľa lacnejší. A druhá vec, ktorú sme dostali, je, že sme dokázali vložiť kompilátor LLVM do nášho reťazca, čo nemôžete urobiť, ak robíte ekvivalent. Kompilátor LLVM robí to, že sa už pozeráme na vrstvu tri.“
LLVM nechá na svojom riešení kód vývojára Python, Rust alebo C++, ktorý sa potom skompiluje, aby fungoval rovnakým spôsobom so Solidity.
„To je na adopciu obrovské. Takže tam, kde tento projekt, ktorý trval sedem mesiacov tu v Káhire, sa k nám za sedem dní preniesol ten istý ekosystémový projekt. To je kompatibilita."
Pripúšťa, že prenos by trval len jeden deň, ak by zkSync mal úplnú ekvivalentnosť, ale chýbal by mu LLVM a zvýšené škálovanie. Takže hovorí, že to stojí za to urobiť.
Vrstva 3 a rekurzívne škálovanie
Najúžasnejšia vec na schopnosti skomprimovať veľké množstvo transakcií do jedného dôkazu platnosti je, že táto technológia vám umožňuje komprimovať množstvo transakcií iné dôkazy aj do jediného dôkazu.
Nazýva sa to rekurzívne škálovanie a Declan Fox, produktový manažér pre súhrny v Consensys, verí, že je to také silné, že teoreticky by celý globálny finančný systém mohol bežať na Ethereu. „Máme technológiu na dosiahnutie takého potrebného výkonu,“ hovorí. "S rekurzívnymi súhrnmi a dôkazmi môžeme teoreticky škálovať donekonečna."
Prečítajte si tiež: Ethereum žerie svet: — „Potrebuješ len jeden internet“
StarkWare zapol rekurzívne škálovanie už v auguste a od použitia tejto technológie spracoval viac ako 30 miliónov transakcií.
„Rekurzia už v tomto ranom štádiu zvýšila počet transakcií v jednom dôkaze približne 8x,“ vysvetľuje Ben-Sasson. „Navyše, ukazuje sa, že je taký efektívny, že krátko po uvedení do výroby došlo k zníženiu nákladov na náš vlastný cloud na generovanie dôkazov o približne 40 %.
„Toto nie sú predpovede alebo čísla, ktoré dúfame, že uvidíme, ale skôr čísla z toho, čo je dnes vo výrobe. A zdôrazňujem: toto je len začiatok a zmeny, ktoré urobíme, budú znamenať, že tieto čísla budú čoraz pôsobivejšie.
Polygon sa chystá implementovať svoje riešenie Plonky2 podľa Bjelica. Je to open source riešenie zk-SNARK. „Tento rekurzívny SNARK možno použiť na overenie transakcií rádovo rýchlejšie ako existujúce alternatívy. Plonky2 je tiež natívne kompatibilný s virtuálnym strojom Ethereum, ktorý umožnil Polygonu vyvinúť zkEVM.
Testovacia sieť pre vrstvu 3 od zkSync bude vydaná čoskoro, včas na to, aby bolo možné začiatkom budúceho roka využiť vylepšenie Etherea s názvom Proto-Danksharding, ktoré bolo špeciálne navrhnuté tak, aby poskytlo súhrnom priestor na rozkvet Etherea. Newcomb očakáva, že Layer 3 bude vo výrobe do roka. Nazývajú to Pathfinder, ekosystém „fraktálnych hyperreťazcov“.
„Pravdepodobne by sme mohli pokračovať hodiny inžinierstva, ale funkčne, čím ďalej v rekurzívnom reťazci sa dostanete preč od Etheria, tým lacnejšie sú náklady na dáta a je to 10x, 10x, 10x, 10x, keď sa náklady na dáta vracajú hore. a to je jedinečné pre zk.“
„To je miesto, kde sa dostaneme k 100,000 4000 TPS a miliónom TPS,“ hovorí. Visa sa pohybuje okolo 65,000 XNUMX TPS v bežný deň, pričom v špičkových časoch, ako sú Vianoce, sa zvyšuje až na približne XNUMX XNUMX TPS.
„ZK je jediný spôsob, ako sa dostať k 100,000 XNUMX TPS, aby ste sa dostali na úrovne, kde niečo ako Visa nahradí svoj základný protokol blockchainom. A keď to urobíte, je to moment vašej masovej adopcie.“
Ďalším úžasným vývojom podľa Newcomba je, že vrstva 3 sa môže zbaviť požiadavky na medzireťazcové mosty, čo je miesto, kde sa len tento rok vyskytli všetky hacky za viac ako 2 miliardy dolárov.
„Jednou z ďalších vecí, ktoré sme už dosiahli vo vrstve 3, je zbaviť sa všetkých mostov. A keď môžete mať jedného overovateľa, ktorý robí okruh pre všetky hyperreťazce v L3, akákoľvek komunikácia z jedného blockchainu do druhého je teraz natívna. To je ďalší dôvod, prečo Vitalik povedal, že toto je koniec hry, pretože už neexistujú žiadne mosty."
„Ak to urobíte rýchlejšie, rádovo lacnejšie, ak to zjednodušíte na používanie a bude ústretovejšie pre širšie publikum vývojárov tým, že budete mať k dispozícii viac jazykov, a potom prinútite ľudí, aby tomu dôverovali, pretože sa zbavíte mostov. To je to, čo vždy hovorím, že je to hviezdokopa s 10-násobným nárastom v L3 a to je miesto, kde sa hra bude odohrávať.“
Zatiaľ neopravené
Takže to je všetko? S príchodom ZK rollups a EVM kompatibilných škálovacích riešení bolo všetko vyriešené?
Bohužiaľ nie. Súhrny ZK sú v súčasnosti veľmi dobré pri odstraňovaní výpočtov z Etherea, ale stále potrebujú zapísať dostatok údajov späť do hlavného reťazca, takže ak súhrn prestane fungovať alebo ho prevezmú zlí ľudia, do narušenia by mohol vstúpiť nejaký iný subjekt. a zistiť, kto komu čo dlhuje.
Nazýva sa to problém dostupnosti údajov a značná časť plánu Etherea s proto dankshardingom a úplným dankshardingom má za cieľ tento problém vyriešiť a umožniť zahrnutie väčšieho množstva údajov. V súčasnosti existuje niekoľko spôsobov, ako to obísť, vrátane ukladania údajov na Validium, ktoré sú lacnejšie, ale menej bezpečné.
Odoslať
Najpútavejšie čítanie v blockchaine. Doručené raz a
týždeň.
„Takže to popisujeme, ak máte zbierku bejzbalových kariet a mnohé z týchto kariet nestoja veľa a uložili ste si ich vo Validiu, ale potom jednu vzácnu kartu, ktorá stojí veľa peňazí, pravdepodobne budete mať. ušetrite na vrstve 1,“ hovorí Ben-Sasson.
Polygon pracuje na viacerých riešeniach tohto istého problému, vrátane Avail „Blockchain, kde sú informácie dostupné každému a kedykoľvek, bol navrhnutý špeciálne na tento účel,“ hovorí Bjelic.
zkSync's Pathfinder umožní vývojárom vybrať si z troch možností dostupnosti údajov, a to Validium, zkPorter (miešanie v reťazci a mimo neho) a ZKRollup (úplné zabezpečenie).
Nečakajte veľký tresk od spustenia mainnetu zkSync 28. októbra. Spočiatku to bude trochu zdrvujúce, pár mesiacov bude testovať len Matter Labs a ponúkať používateľom odmeny, aby sa ho pokúsili hacknúť alebo zneužiť. Potom bude môcť DApps preniesť a začať budovať a testovať bezpečnosť.
„A potom, keď máme pocit, že sme všetko urobili, urobíme to, čo sa nazýva výťah v bráne,“ hovorí Newcomb. „A potom môžu všetci používatelia vstúpiť do systému súčasne a nazýva sa to program spravodlivého vydania. Takže neuprednostňujeme žiadny projekt pred iným.“ Hovorí, že v tom bode sa spustí 150 projektov a už nebude dôvod, prečo by projekt čakal na dokončenie riešenia Polygonu.
„Je to ako keby išli na pretekársku dráhu a ukázali sa s podvozkom auta, ktoré nemá kolesá, volant a absolútne žiadny motor,“ hovorí.
„A máme hotový celý produkt. Viete, že máme Ferrari a sme pripravení vyraziť."
Zdroj: https://cointelegraph.com/magazine/2022/10/12/attack-zkevms-cryptos-10x-moment