Crypto v současné době chřadne jako internet v roce 1996 s nízkou rychlostí a několika praktickými případy použití, říká Steve Newcomb, hlavní produktový ředitel Matter Labs.
Ale velké zvýšení šířky pásma a zabezpečení brzy poté vidělo, že se internet stal klíčovou součástí každodenního života po celém světě – a jsme přímo na pokraji toho, co se v příštích několika měsících stane u kryptoměn.
„Nikdo na tom své kreditní kartě nevěřil a všichni si mysleli, že je to módní výstřelek a neexistují pro to žádné případy použití,“ vysvětluje Newcomb.
„A pak jsme měli 10x momenty v šířce pásma a pak přišlo SSL a HTPS, kde jste získali ten zámek – to byl 10x moment důvěry. Najednou v roce 2005 e-commerce právě překonala střechu.“
Moment „10x“ kryptoměn by mohl být konečně tady, 28. října byl spuštěn mainnet kompatibilní s virtuálním strojem Ethereum od zkSync. EVM je v podstatě operační systém pro Ethereum a umožňuje mu pracovat s nulovými souhrny znalostí znamená, že vše běžící na Ethereu lze bez problémů přenést do zkušeností obrovský skok v rychlosti a nižší náklady.
Nejsou jediní, kdo na tento problém útočí: Polygon tento týden spustil svůj testovací síť pro vlastní zkEVM, přičemž Aave, Uniswap a Lens se všechny zavázaly jej nasadit. Společnost Scroll spustila v červenci svůj „Pre Alpha testnet“. Řešení StarkWare zk prodělalo miliony transakcí měsíčně.
Všechna tato řešení jsou dobře financovaná, přičemž Scroll získává 30 milionů dolarů, Starkware 150 milionů dolarů a Polygon 450 milionů dolarů. Newcomb naznačuje, že vlastní kolo financování zkSync je na stejném hřišti jako Polygon, ale ještě nebylo oficiálně oznámeno.
StarkWare je daleko před balíkem, protože před devíti měsíci spustil své vlastní řešení ZK v srpnu zapnul rekurzivní škálování. Učinila však také riskantní rozhodnutí použít vlastní programovací jazyk zvaný Cairo, aby bylo možné efektivněji škálovat. To by mohlo vést k posunu přijetí velkými protokoly na cestu nejmenšího odporu u řešení kompatibilních s EVM.
Všechna řešení také pracují na rekurzivním škálování a/nebo implementacích „vrstvy 3“, díky nimž se transakce Ethereum potenciálně stanou tisíckrát rychlejší, odstraní potřebu meziřetězcových mostů a umožní kryptoměnám konečně realizovat svůj skutečný potenciál.
Co je souhrn nulových znalostí nebo souhrn zk?
Rollupy ZK patří dnes mezi největší módní slova v blockchainu. Tato technologie umožňuje vypočítat tisíce transakcí daleko od bolestivě pomalého blockchainu Ethereum s malým „důkazem platnosti“, který ověřuje, že všechny transakce byly provedeny správně. Můžete tedy „shrnout“ 10,000 XNUMX transakcí provedených jinde do jediné transakce ETH. To je velký problém, protože dokonce i poté, co sloučení Ethereum pokulhává při 15 transakcích za sekundu.
Rollupy ZK se již nějakou dobu používají pro NFT a finanční transakce na platformách jako Loopring, dyDx a další. Ale jak spoluzakladatel Vitalik Buterin zdůraznil během ETH Soul v srpnu:
"Obecně si myslím, že jsme se naučili, že lidé nechtějí jen škálovatelné peníze, ale chtějí škálovatelné EVM."
Je to jeden z toho, co Newcomb nazývá „pět magických prvků“ pro souhrny ZK. Podle jeho názoru by řešení ZK rollup mělo být obecné, EVM kompatibilní a mělo by podporovat programovací jazyk Ethereum Solidity. Měl by to být také open source, aby odpovídal základnímu étosu kryptoměn, a měl by mít distribuci tokenů, která decentralizuje protokol spíše než koncentruje bohatství mezi tým.
Kuriózní shodou okolností dosáhl zkSync všech pět těchto vlastních metrik. (Newcomb říká, že nemůže upřesnit přesnou distribuci tokenů, ale říká, že kolem 30 % pro zasvěcené se zdá být „konsensus“.)
Kontrolní seznam je něco jako zastřená kritika konkurenta StarkWare, který má dát 49.9 % své zásoby tokenů StarkNet investorům a hlavním přispěvatelům. Také to není open source, i když má v plánu dát kontrolu nad IP své komunitě.
Spoluzakladatel Eli Ben-Sasson vysvětluje, že jediný způsob, jak plně využít škálování, které nabízí ZK rollups, je použít vlastní jazyk, jako je Cairo.
„Jsem si velmi jistý, že si lidé uvědomí, jakmile zapnou důkazy, že cílem není simulovat EVM. Cílem je dosáhnout škálovatelnosti. Vložit 10,000 100,000, XNUMX XNUMX, jeden milion transakcí a jejich důkaz umístit do jediného bloku Etherea,“ říká.
„Jsem ochoten se vsadit, že neuvidíte plnohodnotný ZK EVM, který dokáže vložit milion transakcí do jediného důkazu o Ethereu. Jak to můžeme snadno udělat dnes a děláme to měsíce a roky.“
Škálování versus kompatibilita
StarkWare's Odin-Free na Twitteru vysvětlil, že za potřebou vlastního jazyka stojí složité matematické důvody, protože „důkazové systémy jako Stark jsou založeny na polynomech nad konečnými poli, což poskytuje mnohem efektivnější polynomiální rovnici“. Dobře, berme jeho slovo.
Pro Ben-Sassona je snaha vylepšit EVM jen hloupost:
„Pokud byste chtěli vyřešit dopravu, mohli byste vzít velký náklaďák, dát ho do letadla a nechat ho dopravit letadlem,“ říká.
„Existují letadla, do kterých se vejde náklaďák, ale to je velmi neefektivní způsob, jak to udělat. Mnohem lepší způsob je prostě vzít věci a dát je přímo do letadla."
To znamená, že ekosystém má transpiler zvaný Warp, který mění kód Solidity na káhirský kód a který byl právě použit k portování přes vidlici Uniswapu na StarkNet.
V zásadě tedy u souhrnů ZK existuje možnost volby mezi úplnou kompatibilitou s EVM a škálováním. Úplná kompatibilita umožňuje DApps a protokoly bezproblémově přenášet a vše funguje přesně jako na Ethereu pro vývojáře a uživatele, ale pokud jde o škálování, rychlejší je samozřejmě lepší.
Newcomb připouští, že řešení StarkWare bude vyrábět lépe škálovatelnost, ale říká, že obětování dostupnosti znamená, že je vhodnější pro zakázkové podnikové aplikace než být základní součástí Etherea kvůli „třenicím o přijetí“.
„Nejsou kompatibilní s EVM, takže je opravdu těžké je přenést. Viděli jsme projekty, kterým trvá sedm měsíců, než se k nim přenesou.“
Kompatibilní, ale méně elegantní
Neexistuje žádná dohodnutá definice, ale „ekvivalent EVM“ obvykle znamená „přesně totéž jako EVM“, takže můžete pouze nasadit stávající inteligentní smlouvu na řešení bez jakýchkoli změn.
Scroll je široce uznáván jako ekvivalentní, ale také ještě není na správném testovacím síti a je mnoho měsíců pozadu za ostatními s poměrně malým rozpočtem. Řešení Polygon zkEVM tvrdí, že je ekvivalentní (jakkoli je to sporné.) zkSync mezitím bude kompatibilní s EVM – což znamená, že je téměř identické, ale několik věcí nemusí fungovat kvůli některým návrhům, aby řešení fungovalo lépe.
Polygon v pondělí spustil svůj veřejný testnet zkEVM s prohlášením: „Polygon je vůbec prvním projektem, který poskytuje plnohodnotnou, open source implementaci zkEVM; přelomový milník nejen pro Polygon, ale pro celé odvětví.“ Polygon říká, že testnet „zahrnuje zcela open-source zk-Prover – první svého druhu, který byl zveřejněn.
Spoluzakladatel Mihailo Bjelic říká magazínu, že první testy ukazují, že „zkEVM Polygonu může snížit síťové poplatky Etherea přibližně o 90 % a zvýšit propustnost sítě o několik řádů.“
Říká, že open sourcing technologie „prokazuje naši shodu s étosem tohoto odvětví a zvyšuje bezpečnost řešení, protože kdokoli jej může zkontrolovat a upozornit na potenciální chyby. To není případ StarkNet nebo zkSync, které udržují kritické části svých implementací uzavřené, alespoň prozatím.“
Technický kousek
Podle Scroll's Luozhu Zhang existují tři potenciální typy zkEVM: úroveň bytecode, jazyková úroveň a úroveň konsensu. zkSync a StarkWare jsou na jazykové úrovni a vyžadují krok kompilátoru nebo transpileru, zatímco Scroll a Polygon jsou přístupy na úrovni bytecode. Lidsky čitelná forma bajtkódu se nazývá operační kód.
Bjelic říká, že řešení Polygonu je navrženo tak, aby bylo ekvivalentní EVM, zatímco:
„Projekty jako StarkNet a zkSync jdou jinou cestou – mají své vlastní virtuální stroje a poté se snaží převést Solidity, nejoblíbenější jazyk postavený na EVM, do jazyků, které tyto virtuální stroje dokážou interpretovat,“ říká.
„Tento přístup má dvě hlavní výzvy: (i) je těžké vytvořit transpiler, který bude podporovat 100 % inteligentních kontraktů Solidity, a (ii) i když transpiler máte, stále nemůžete využít všechny vývojáře a koncové uživatele. nástroje jako Polygon zkEVM umí.“
Newcomb říká, že kolují špatné informace. „Nepřekládáme, ale kompilujeme,“ říká. A vrhne se zpět na Polygon a říká, že z pohledu na projektový Github, že ještě nevyvinou funkční univerzální tester integrovaný s funkčním sekvencerem.
„Pokud je tomu tak, znamená to, že mají před sebou nedefinovatelné množství práce. Posledních 10 % jakéhokoli složitého systému je vždy nejobtížnějších. Vypadá to podobně jako to, kde jsme byli, nebo dokonce za tím, kde jsme byli, když jsme spustili testnet. A potom nám to trvalo devět měsíců."
Většinou kompatibilní
zkSync je mezitím kompatibilní se všemi 141 operačními kódy Etherea kromě tří – jeden z nich byl zastaralý, další je zastaralý a třetí podle Newcombu používá méně než 1/10 1 % projektů.
„Co jsme tedy dostali za to, že jsme nebyli zcela rovnocenní? Máme dvě věci, naše náklady na výkon jsou mnohem lepší než jakékoli řešení, které se snaží o ekvivalenci. Jsme mnohem rychlejší, mnohem levnější. A druhá věc, kterou jsme dostali, je, že jsme byli schopni vložit kompilátor LLVM dovnitř našeho řetězce, což nemůžete udělat, pokud děláte ekvivalent. A kompilátor LLVM dělá to, že se již díváme na vrstvu tři.“
LLVM nechá na svém řešení kód vývojáře v Pythonu, Rustu nebo C++, který se pak zkompiluje, aby fungoval stejným způsobem se Solidity.
"To je pro adopci obrovské." Takže tam, kde tento projekt, který trval sedm měsíců tady v Káhiře, se k nám tentýž ekosystémový projekt přenesl za sedm dní. To je kompatibilita."
Připouští, že portování by trvalo jen jeden den, pokud by zkSync měl úplnou ekvivalenci, ale minul by LLVM a zvýšené škálování. Takže říká, že to stojí za to udělat.
Vrstva 3 a rekurzivní škálování
Nejúžasnější na tom, že dokážete zkomprimovat velké množství transakcí do jediného důkazu platnosti, je to, že vám tato technologie umožňuje komprimovat mnoho jiné důkazy do jediného důkazu.
Říká se tomu rekurzivní škálování a Declan Fox, produktový manažer pro rollupy ve společnosti Consensys, věří, že je tak silný, že teoreticky by celý globální finanční systém mohl běžet na Ethereu. „Máme technologii, abychom dosáhli takového druhu potřebné propustnosti,“ říká. "S rekurzivními souhrny a důkazy můžeme teoreticky škálovat donekonečna."
Přečtěte si také: Ethereum žere svět: — „Potřebuješ jen jeden internet“
StarkWare zapnul rekurzivní škálování již v srpnu a od použití této technologie zpracoval více než 30 milionů transakcí.
„Rekurze již v této rané fázi zvýšila počet transakcí v jednom důkazu přibližně 8x,“ vysvětluje Ben-Sasson. „A co víc, ukázalo se, že je tak efektivní, že brzy po uvedení do výroby došlo ke snížení našich vlastních nákladů na cloud na generování důkazů o přibližně 40 %.
„Toto nejsou předpovědi nebo čísla, která doufáme, že uvidíme, ale čísla z toho, co je dnes ve výrobě. A zdůrazňuji: toto je jen začátek a změny, které provedeme, budou znamenat, že tato čísla budou stále působivější.
Polygon se chystá implementovat své řešení Plonky2 podle Bjelice. Je to open source řešení zk-SNARK. „Tento rekurzivní SNARK lze použít k ověření transakcí řádově rychleji než stávající alternativy. Plonky2 je také nativně kompatibilní s virtuálním strojem Ethereum, což Polygonu umožnilo vyvinout zkEVM.“
A testovací síť pro zkSync's Layer 3 bude vydána brzy, včas, aby bylo možné využít výhody upgradu Etherea nazvaného Proto-Danksharding na začátku příštího roku, který byl navržen speciálně tak, aby poskytl souhrnům prostor na Ethereu k rozkvětu. Newcomb očekává, že Layer 3 bude ve výrobě během jednoho roku. Říkají tomu Pathfinder, ekosystém „fraktálních hyperřetězců“.
„Pravděpodobně bychom mohli pokračovat hodiny inženýrství, ale funkčně, čím dále v rekurzivním řetězci se dostanete od Etheria, tím levnější jsou náklady na data a je to 10x, 10x, 10x, 10x, když se náklady na data vrací nahoru, a to je jedinečné pro zk.“
„Tam se dostáváme ke 100,000 4000 TPS a milionu TPS,“ říká. Visa se pohybuje kolem 65,000 XNUMX TPS v běžný den a ve špičkách, jako jsou Chrismats, stoupá až na přibližně XNUMX XNUMX TPS.
„ZK je jediný způsob, jak se dostat na 100,000 XNUMX TPS, abyste se dostali na úrovně, kde něco jako Visa nahradí svůj základní protokol blockchainem. A když to uděláte, je to okamžik vaší hromadné adopce.“
Dalším překvapivým vývojem podle Newcomba je to, že vrstva 3 se může zbavit požadavku na meziřetězcové mosty, což je místo, kde jen letos došlo ke všem hackům za více než 2 miliardy dolarů.
„Jednou z dalších věcí, kterých jsme již dosáhli ve 3. vrstvě, je zbavit se všech mostů. A když můžete mít jednoho dokazovatele, který dělá okruh pro všechny hyperřetězce v L3, jakákoli komunikace z jednoho blockchainu do druhého je nyní nativní. To je další důvod, proč Vitalik řekl, že toto je konec hry, protože už neexistují žádné mosty."
„Pokud to uděláte rychlejším a řádově levnějším, pokud to zjednodušíte a zpříjemníte širšímu publiku vývojářů tím, že budete mít k dispozici více jazyků, a pak přimějete lidi, aby tomu důvěřovali, protože se zbavíte mostů. To je to, co vždy říkám, že je to hvězdokupa 10x nahoru v L3 a to je místo, kde se hra odehraje.“
Zatím neopraveno
Takže to je vše? S příchodem ZK rollups a EVM kompatibilních škálovacích řešení bylo vše vyřešeno?
Bohužel ne. Souhrny ZK jsou v současné době velmi dobré v tom, že odebírají výpočty z Etherea, ale stále potřebují zapsat dostatek dat zpět do hlavního řetězce, takže pokud rollup přestane fungovat nebo ho převezmou padouši, mohl by do porušení vstoupit nějaký jiný tým. a zjistit, kdo komu co dluží.
Říká se tomu problém dostupnosti dat a značná část plánu Etherea s proto dankshardingem a úplným dankshardingem si klade za cíl jej vyřešit a umožnit zahrnutí více dat. V současné době existuje několik způsobů, jak to obejít, včetně ukládání dat na Validium, které jsou levnější, ale méně bezpečné.
PŘIHLÁSIT SE K ODBĚRU
Nejpoutavější čtení v blockchainu. Dodáno jednou a
týden.
„Takže to popisujeme tak, že pokud máte sbírku baseballových karet a mnoho z těchto karet nestojí mnoho a máte je uložené ve Validiu, ale pak jednu vzácnou kartu, která stojí hodně peněz, pravděpodobně budete mít. ušetříte na vrstvě 1,“ říká Ben-Sasson.
Polygon pracuje na řadě řešení stejného problému, včetně Avail „blokový řetězec, kde jsou informace dostupné všem a kdykoli, byl navržen speciálně pro tento účel,“ říká Bjelic.
zkSync's Pathfinder umožní vývojářům vybrat si ze tří možností dostupnosti dat, Validium, zkPorter (směšování v řetězci a mimo řetězec) a ZKRollup (plné zabezpečení).
Nečekejte velký třesk od spuštění zkSync na mainnetu 28. října. Zpočátku to bude trochu zdrcující, pár měsíců jen testování Matter Labs a nabízení odměn uživatelům, aby se ho pokusili hacknout nebo zneužít. Poté bude DApps povoleno přenést se a začít budovat a testovat zabezpečení.
„A když máme pocit, že jsme všechno udělali, uděláme to, čemu se říká výtah v bráně,“ říká Newcomb. „A pak mohou všichni uživatelé vstoupit do systému současně a nazývá se to program spravedlivého uvolnění. Takže neupřednostňujeme žádný projekt před jiným.“ Říká, že v tu chvíli se spustí 150 projektů a už nebude důvod, proč by projekt čekal na dokončení řešení Polygonu.
„Je to, jako by šli na závodní dráhu a ukázali se s podvozkem auta, které nemá žádná kola, volant a absolutně žádný motor,“ říká.
„A máme hotový celý produkt. Víte, že máme Ferrari a jsme připraveni vyrazit."
Zdroj: https://cointelegraph.com/magazine/2022/10/12/attack-zkevms-cryptos-10x-moment