Ang Crypto ay kasalukuyang nanghihina tulad ng ginawa ng internet noong 1996 na may mabagal na bilis at ilang praktikal na mga kaso ng paggamit, sabi ni Steve Newcomb, punong opisyal ng produkto ng Matter Labs.
Ngunit ang isang malaking pagtaas sa bandwidth at seguridad sa lalong madaling panahon ay nakita ang internet na naging isang mahalagang bahagi ng pang-araw-araw na buhay sa buong mundo — at nasa tuktok na tayo ng nangyayari para sa crypto sa susunod na ilang buwan.
"Walang nagtiwala sa kanilang credit card dito at inisip ng lahat na ito ay isang libangan at walang anumang mga kaso ng paggamit para dito," paliwanag ni Newcomb.
"At pagkatapos ay mayroon kaming 10x na sandali sa bandwidth at pagkatapos ay dumating ang SSL, at ang HTPS kung saan mo nakuha ang lock na iyon - iyon ay isang 10x na sandali sa pagtitiwala. Bigla na lang noong 2005 ang ecommerce ay dumaan sa bubong."
Ang '10x' na sandali ng Crypto ay maaaring narito na, kasama ang Ethereum Virtual Machine compatible na mainnet ng zkSync na ilulunsad noong Oktubre 28. Ang EVM ay mahalagang operating system para sa Ethereum at nagbibigay-daan ito upang gumana gamit ang zero na mga rollup ng kaalaman ay nangangahulugan na ang lahat ng tumatakbo sa Ethereum ay maaaring maayos na mai-port sa karanasan isang malaking pagtalon sa bilis at mas mababang gastos.
Hindi lang sila ang umaatake sa problema: Inilunsad ng Polygon ang testnet nito para sa sarili nitong zkEVM ngayong linggo kasama ang Aave, Uniswap at Lens na lahat ay nangangakong mag-deploy dito. Inilunsad ng Scroll ang "Pre Alpha testnet" nito noong Hulyo habang Ang zk solution ng StarkWare ay nag-aararo sa milyun-milyong transaksyon sa isang buwan.
Ang mga solusyong ito ay mahusay na pinondohan, kung saan ang Scroll ay nagtataas ng $30M, Starkware na nakalikom ng $150M at ang Polygon ay nagtataas ng $450M. Ipinapahiwatig ng Newcomb na ang sariling rounding ng pagpopondo ng zkSync ay nasa parehong ballpark tulad ng Polygon's, ngunit hindi pa ito opisyal na ipahayag.
Ang StarkWare ay nauuna sa pack, na naglunsad ng sarili nitong ZK rollup solution siyam na buwan na ang nakalipas at na-on nito ang recursive scaling noong Agosto. Ngunit gumawa din ito ng peligrosong desisyon na gumamit ng custom na programming language na tinatawag na Cairo upang mas ma-scale ang mas mahusay. Maaaring makita nito ang pag-aampon ng malalaking protocol na lumipat sa landas ng hindi bababa sa pagtutol sa mga solusyon na katugma sa EVM.
Ang lahat ng mga solusyon ay gumagana din sa recursive scaling at/o 'Layer 3' na mga pagpapatupad na makikita ang mga transaksyon sa Ethereum na posibleng maging libu-libong beses na mas mabilis, alisin ang pangangailangan para sa mga interchain bridge, at pahihintulutan ang crypto na sa wakas ay mapagtanto ang tunay na potensyal nito.
Ano ang zero knowledge rollup, o zk rollup?
Ang mga ZK rollup ay kabilang sa mga pinakamalaking buzzword sa blockchain ngayon. Ang teknolohiya ay nagbibigay-daan para sa libu-libong mga transaksyon na makalkula palayo sa napakabagal na Ethereum blockchain, na may maliit na "validity proof" na nagpapatunay na ang lahat ng mga transaksyon ay naisagawa nang tama. Kaya maaari mong "i-roll up" ang 10,000 mga transaksyon na isinasagawa sa ibang lugar sa isang solong transaksyon sa ETH. Malaking bagay ito dahil kahit na matapos ang Merge Ethereum ay dahan-dahan sa 15 transaksyon bawat segundo.
Ang mga ZK rollup ay ginamit para sa mga NFT at mga transaksyong pinansyal sa loob ng ilang panahon ngayon sa mga platform tulad ng Loopring, dyDx at iba pa. Ngunit tulad ng itinuro ng co-founder na si Vitalik Buterin sa panahon ng ETH Seoul noong Agosto:
"Sa pangkalahatan, sa palagay ko natutunan namin na ang mga tao ay hindi lamang tulad ng isang scalable na pera, gusto nila ng isang scalable EVM."
Isa ito sa tinatawag ng Newcomb na "limang magic elements" para sa mga ZK rollup. Sa kanyang pananaw ang isang ZK rollup solution ay dapat na pangkalahatang layunin, EVM Compatible at sumusuporta sa Ethereum's programming language Solidity. Dapat din itong maging open source upang umangkop sa etos ng pagkakatatag ng crypto, at dapat itong magkaroon ng pamamahagi ng token na nagde-desentralisa sa protocol sa halip na magkonsentra ng yaman sa pangkat.
Sa pamamagitan ng kakaibang pagkakataon, naabot ng zkSync ang lahat ng limang mga sukatan na ito na ipinataw sa sarili. (Sinabi ng Newcomb na hindi niya madetalye ang eksaktong pamamahagi ng token, ngunit sinasabing humigit-kumulang 30% para sa mga tagaloob ay tila ang "pinagkasunduan.")
Ang checklist ay isang nakatagong pagpuna sa kakumpitensyang StarkWare na nakatakdang magbigay ng 49.9% ng supply ng token nito sa StarkNet sa mga mamumuhunan at pangunahing tagapag-ambag. Hindi rin ito open source, bagama't plano nitong bigyan ng kontrol ang IP sa komunidad nito.
Ipinaliwanag ng co-founder na si Eli Ben-Sasson na ang tanging paraan upang lubos na mapakinabangan ang scaling na ibinibigay ng ZK rollups ay ang paggamit ng custom na wika tulad ng Cairo.
“Labis akong kumpiyansa na malalaman ng mga tao kapag nabuksan nila ang mga patunay na ang layunin ay hindi gayahin ang EVM. Ang layunin ay maabot ang scalability. Upang maglagay ng 10,000, 100,000, isang milyong transaksyon at mailagay ang kanilang patunay sa loob ng isang bloke ng Ethereum," sabi niya.
“Handa akong tumaya na hindi mo makikita ang isang ganap na ZK EVM na maaaring maglagay ng isang milyong transaksyon sa loob ng isang patunay sa Ethereum. Gaya ng madali nating magagawa ngayon at ginagawa na natin sa loob ng maraming buwan at taon.”
Pag-scale kumpara sa pagiging tugma
Ipinaliwanag ng Odin-Free ng StarkWare sa Twitter na may mga kumplikadong mathematical na dahilan sa likod ng pangangailangan para sa isang pasadyang wika dahil "ang mga sistema ng patunay tulad ng Stark ay batay sa mga polynomial sa mga may hangganang larangan, na nagbibigay ng mas epektibong polynomial equation." OK, tanggapin natin ang kanyang salita para dito.
Para kay Ben-Sasson, ang pagsisikap na i-sopas ang EVM ay pipi lang:
"Kung gusto mong lutasin ang transportasyon, maaari kang sumakay ng isang malaking trak at ilagay ito sa loob ng isang eroplano at ipahatid ito sa eroplano," sabi niya.
"May mga eroplano na kasya ang isang trak sa loob, ngunit iyon ay isang napaka-inefficient na paraan ng paggawa nito. Ang mas mainam na paraan ay ang pagkuha lamang ng mga bagay at direktang ilagay sa eroplano."
Iyon ay sinabi, ang ecosystem ay mayroong transpiler na tinatawag na Warp na ginagawang Solidity code sa Cairo code at kung saan Kakagamit lang para mag-port sa isang tinidor ng Uniswap sa StarkNet.
Kaya mahalagang may ZK rollups mayroong isang pagpipilian na gawin sa pagitan ng kabuuang compatibility sa EVM at scaling. Ang kabuuang compatibility ay nagbibigay-daan sa mga DApp at protocol na walang putol na mag-port at ang lahat ay gumagana nang eksakto tulad ng sa Ethereum para sa mga dev at user, ngunit sa mga termino ng pag-scale, ang mas mabilis ay malinaw na mas mahusay.
Inamin ng Newcomb na ang solusyon ng StarkWare ay magbubunga ng mas mahusay na sukat, ngunit sabi ng pagsasakripisyo sa pagiging naa-access ay nangangahulugan na ito ay mas angkop sa pasadyang mga aplikasyon ng enterprise kaysa sa pagiging isang pangunahing bahagi ng Ethereum dahil sa “adoption friction.”
“Hindi sila EVM compatible, kaya mahirap talaga mag-port sa kanila. Nakakita na kami ng mga proyekto na umaabot ng pitong buwan para mai-port sa kanila.”
Compatible ngunit hindi gaanong eleganteng
Walang napagkasunduang kahulugan, ngunit ang 'EVM equivalent' ay karaniwang nangangahulugang "eksaktong kapareho ng EVM" kaya maaari mo lang i-deploy ang umiiral nang smart contract sa solusyon nang walang anumang pagbabago.
Ang pag-scroll ay malawak na sinang-ayunan na maging katumbas, ngunit wala pa rin ito sa isang wastong testnet at maraming buwan sa likod ng iba na may medyo maliit na badyet. Ang zkEVM solution ng Polygon ay sinasabing katumbas (gayunpaman ito ay pinagtatalunan.) Ang zkSync naman, ay magiging EVM compatible – na nangangahulugang halos magkapareho ito ngunit maaaring hindi gumana ang ilang bagay dahil sa ilang mga pagpipilian sa disenyo upang gawing mas mahusay ang solusyon.
poligon inilunsad ang zkEVM Public Testnet nitong Lunes na nagsasabing “Ang Polygon ay ang unang proyekto kailanman na naghatid ng ganap na tampok, open source na pagpapatupad ng zkEVM; isang groundbreaking milestone, hindi lamang para sa Polygon, ngunit para sa buong industriya." Sinabi ni Polygon na ang testnet ay "kasama ang isang ganap na open-sourced na zk-Prover - ang una sa uri nito na ipapalabas sa publiko."
Sinabi ng co-founder na si Mihailo Bjelic sa Magazine na ang mga maagang pagsusuri ay nagpapakita na “Maaaring bawasan ng zkEVM ng Polygon ang mga bayarin sa network ng Ethereum ng humigit-kumulang 90% at pataasin ang throughput ng network ng ilang mga order ng magnitude.”
Sinabi niya na ang open sourcing ng teknolohiya ay "nagpapatunay ng aming pagkakahanay sa etos ng industriya at pinatataas ang seguridad ng solusyon dahil kahit sino ay maaaring suriin ito at ituro ang mga potensyal na bug. Hindi ito ang kaso sa StarkNet o zkSync, na nagpapanatili ng mga kritikal na bahagi ng kanilang mga pagpapatupad na sarado ang pinagmulan, kahit man lang sa ngayon."
Teknikal na kaunti
Ayon sa Scroll's Luozhu Zhang mayroong tatlong potensyal na uri ng mga zkEVM: bytecode level, language level at consensus level. Ang zkSync at StarkWare ay nasa antas ng wika at nangangailangan ng isang compiler o transpiler na hakbang, habang ang Scroll at Polygon ay mga diskarte sa antas ng bytecode. Ang nababasa ng tao na anyo ng bytecode ay tinatawag na opcode.
Sinabi ni Bjelic na ang solusyon ng Polygon ay idinisenyo upang maging katumbas ng EVM samantalang:
"Ang mga proyekto tulad ng StarkNet at zkSync ay gumagamit ng ibang ruta - mayroon silang sariling mga pasadyang virtual machine, at pagkatapos ay sinusubukan nilang i-transpile ang Solidity, ang pinakasikat na wika na binuo sa ibabaw ng EVM sa mga wikang maaaring bigyang-kahulugan ng mga virtual machine na ito," sabi niya.
“Mayroong dalawang pangunahing hamon sa diskarteng ito: (i) mahirap bumuo ng transpiler na susuportahan ang 100% ng Solidity smart contracts at (ii) kahit na mayroon kang transpiler hindi mo pa rin magagamit ang lahat ng developer at end user mga tool tulad ng Polygon zkEVM.
Sinasabi ng Newcomb na mayroong masamang impormasyon na nagpapalipat-lipat. "Hindi kami nag-transpile, nag-compile kami," sabi niya. At binalikan niya si Polygon na nagsasabi na mula sa pagtingin sa Github ng proyekto na hindi pa sila bubuo ng gumaganang pangkalahatang layunin na prover na isinama sa isang gumaganang sequencer.
"Kung ito ang kaso, nangangahulugan ito na mayroon silang hindi matukoy na dami ng trabaho na dapat gawin. Ang huling 10% ng anumang kumplikadong sistema ay palaging ang pinakamahirap. Ito ay mukhang katulad sa kung nasaan tayo o kahit na nasa likod kung saan tayo noong naglunsad tayo ng testnet. At pagkatapos noon ay umabot kami ng siyam na buwan.”
Karamihan compatible
Samantala, ang zkSync ay katugma sa lahat maliban sa tatlo sa 141 Opcode ng Ethereum — isa sa mga ito ay hindi na ginagamit, isa pa ay hindi na ginagamit at ang pangatlo ay ginagamit ng mas mababa sa 1/10 ng 1% ng mga proyekto ayon sa Newcomb.
"Kaya ano ang nakuha namin para sa hindi ganap na katumbas? Nakuha namin ang dalawang bagay, ang aming gastos para sa pagganap ay mas mahusay kaysa sa anumang solusyon na pagkatapos ng katumbas. Mas mabilis tayo, mas mura. At ang pangalawang bagay na nakuha namin ay nakapaglagay kami ng isang LLVM compiler sa loob ng aming chain na hindi mo magagawa kung gumagawa ka ng katumbas. At kung ano ang ginagawa ng isang LLVM compiler ay tinitingnan na natin ang tatlong layer."
Hahayaan ng LLVM ang isang Python, Rust o C++ developer code sa kanilang solusyon, na pagkatapos ay mag-compile para gumana sa parehong paraan sa Solidity.
“Napakalaki para sa pag-aampon. Kaya kung saan ang proyektong ito na tumagal ng pitong buwan dito sa Cairo, ang parehong proyekto ng ecosystem ay na-port sa amin sa loob ng pitong araw. Compatibility yun.”
Inamin niya na aabutin lamang ng isang araw ang pag-port over kung ang zkSync ay may kabuuang katumbas ngunit mapapalampas ang LLVM at ang tumaas na scaling. Kaya sabi niya ito ay isang trade off na nagkakahalaga ng paggawa.
Layer 3 at recursive scaling
Ang pinaka-cool na bagay tungkol sa kakayahang i-compress ang isang malaking bilang ng mga transaksyon sa isang solong validity proof, ay ang teknolohiya ay nagpapahintulot sa iyo na mag-compress ng maraming iba pang mga patunay sa isang solong patunay din.
Ito ay tinatawag na recursive scaling at Declan Fox, product manager para sa rollups sa Consensys, ay naniniwala na ito ay napakalakas na sa teorya ay maaaring tumakbo ang buong global financial system sa Ethereum. "Mayroon kaming teknolohiya upang makamit ang ganoong uri ng throughput na kinakailangan," sabi niya. "Sa recursive rollups at proofs, we theoretically can infinitely scale."
Din basahin ang: Kinakain ng Ethereum ang mundo: — 'Isang internet lang ang kailangan mo'
In-on ng StarkWare ang recursive scaling noong Agosto at nagproseso ng higit sa 30 milyong mga transaksyon mula noong gamitin ang teknolohiya.
"Napataas na ng recursion, sa maagang yugtong ito, ang bilang ng mga transaksyon sa isang patunay ng humigit-kumulang 8x," paliwanag ni Ben-Sasson. "Higit pa rito, ito ay nagpapatunay na napakahusay, sa lalong madaling panahon pagkatapos na ito ay pumasok sa produksyon mayroong isang pagbawas ng humigit-kumulang 40% sa aming sariling gastos sa ulap para sa pagbuo ng patunay.
"Ang mga ito ay hindi mga hula o mga numero na inaasahan naming makita, ngunit sa halip ay mga numero mula sa kung ano ang nasa produksyon ngayon. At binibigyang-diin ko: simula pa lang ito, at ang mga pagbabagong gagawin namin ay mangangahulugan na ang mga numerong ito ay magiging mas kahanga-hanga.
Ipapatupad na ng Polygon ang solusyon nitong Plonky2 ayon kay Bjelic. Ito ay isang open source zk-SNARK na solusyon. “Maaaring gamitin ang recursive SNARK na ito upang i-verify ang mga order ng mga transaksyon ng mga magnitude nang mas mabilis kaysa sa mga kasalukuyang alternatibo. Ang Plonky2 ay natively compatible din sa Ethereum Virtual Machine, na nagpapahintulot sa Polygon na bumuo ng zkEVM.
At ang testnet para sa Layer 3 ng zkSync ay ilalabas sa lalong madaling panahon, sa tamang panahon upang samantalahin ang isang upgrade ng Ethereum na tinatawag na Proto-Danksharding sa unang bahagi ng susunod na taon na partikular na idinisenyo upang bigyan ang mga rollup ng puwang sa Ethereum upang mamulaklak. Inaasahan ng Newcomb na magiging produksyon ang Layer 3 sa loob ng isang taon. Tinatawag nila itong Pathfinder, isang ecosystem ng 'fractal hyperchains.'
'Marahil ay maaari tayong magpatuloy sa loob ng maraming oras sa pag-inhinyero, ngunit kapag mas mataas ang recursive chain na nalalayo ka sa Etherium, mas mura ang makukuha ng mga gastos sa data at ito ay 10x, 10x, 10x, 10x, habang inuulit mo ang mga gastos sa data, at natatangi iyon kay zk.”
"Doon tayo umabot sa 100,000 TPS at isang milyong TPS," sabi niya. Ang Visa ay umuusad sa humigit-kumulang 4000 TPS sa isang normal na araw, na tumataas hanggang sa humigit-kumulang 65,000 TPS sa mga peak time tulad ng Chrismats.
“Ang ZK ay ang tanging paraan upang maabot ang 100,000 TPS para makarating ka sa mga antas kung saan pinapalitan ng isang bagay tulad ng Visa ang pinagbabatayan nitong protocol ng isang blockchain. At kapag ginawa mo iyon, iyon ang iyong mass adoption moment.”
Ang isa pang kahanga-hangang pag-unlad ayon sa Newcomb ay maaaring alisin ng Layer 3 ang pangangailangan para sa mga interchain bridge, na kung saan ang lahat ng higit sa $2 bilyon na mga hack ay naganap sa taong ito lamang.
"Isa sa iba pang mga bagay na nakamit na namin sa Layer 3, inaalis namin ang lahat ng mga tulay. At kapag maaari kang magkaroon ng isang prover na gumagawa ng circuit para sa lahat ng mga hyperchain sa L3, anumang komunikasyon mula sa isang blockchain patungo sa isa pa ngayon ay native. Iyon ang isa pang dahilan kung bakit sinabi ni Vitalik na ito ang pagtatapos ng laro dahil wala nang mga tulay.
'Kung gagawin mo itong mas mabilis, mas mura sa pamamagitan ng mga order ng magnitude, kung gagawin mong mas madaling gamitin at mas nakakaengganyo sa isang mas malawak na madla ng mga developer sa pamamagitan ng pagkakaroon ng mas maraming mga wika na magagamit, at pagkatapos ay gagawin mong pagkatiwalaan ang mga tao dahil inaalis mo ang mga tulay. Iyon ang lagi kong sinasabi na star cluster ng 10x moments up sa L3 at doon na ang laro.”
Hindi pa naayos
So yun lang? Sa pagdating ng mga ZK rollup at EVM compatible scaling solution, nalutas na ang lahat?
Sa kasamaang-palad hindi. Ang mga ZK rollup ay kasalukuyang napakahusay sa pagkuha ng pagkalkula sa Ethereum, ngunit kailangan pa rin nilang magsulat ng sapat na data pabalik sa pangunahing chain upang kung ang rollup ay tumigil sa paggana o ito ay kinuha ng mga masasamang tao, kung gayon ang ibang sangkap ay maaaring pumasok sa paglabag at alamin kung sino ang may utang kung ano sa kanino.
Ito ay tinatawag na problema sa pagkakaroon ng data at isang malaking halaga ng roadmap ng Ethereum na may proto danksharding at buong danksharding ay naglalayong lutasin ito at payagan ang higit pang data na maisama. Mayroong ilang mga paraan sa paligid nito sa kasalukuyan kabilang ang pag-iimbak ng data sa Validiums, na mas mura ngunit hindi gaanong secure.
sumuskribi
Ang pinaka nakakaengganyo na pagbabasa sa blockchain. Isang beses inihatid a
linggo.
“Kaya ang paraan ng paglalarawan namin dito ay kung mayroon kang koleksyon ng baseball card, at marami sa mga card na ito ay hindi malaki ang halaga at nai-save mo ang mga ito sa Validium ngunit pagkatapos ay isang bihirang card na nagkakahalaga ng malaking pera ay malamang na makatipid sa Layer 1,” sabi ni Ben-Sasson.
Ang Polygon ay gumagawa ng ilang solusyon sa parehong problemang ito kabilang ang Avail "isang blockchain kung saan ang impormasyon ay magagamit sa lahat anumang oras, ay partikular na idinisenyo para sa layuning ito," sabi ni Bjelic.
Pathfinder ng zkSync magbibigay-daan sa mga dev na pumili mula sa tatlong opsyon para sa availability ng data, isang Validium, zkPorter (paghahalo sa chain at off chain) at ZKRollup (full security).
Huwag asahan ang isang malaking putok mula sa paglulunsad ng mainnet ng zkSync noong Oktubre 28. Ito ay medyo mahirap sa simula, na may ilang buwan ng pagsubok lamang sa Matter Labs at nag-aalok ng mga bountie sa mga user upang subukang i-hack ito o pagsamantalahan. Pagkatapos ay papayagan ang DApps na mag-port over, at simulan ang pagbuo at pagsubok ng seguridad.
"At pagkatapos ay kapag naramdaman namin na nagawa namin ang lahat, ginagawa namin ang tinatawag na elevator sa gate," sabi ni Newcomb. "At pagkatapos ang lahat ng mga gumagamit ay maaaring pumasok sa system nang sabay-sabay at ito ay tinatawag na isang patas na programa sa pagpapalabas. Kaya hindi namin pinapaboran ang anumang proyekto kaysa sa iba." Sinabi niya na 150 mga proyekto ang ilulunsad sa puntong iyon at wala nang anumang dahilan kung bakit maghihintay ang isang proyekto para matapos ang solusyon ng Polygon.
"Para silang pupunta sa isang karerahan at nagpapakita sila ng chassis ng isang kotse na walang mga gulong, walang manibela at talagang walang makina," sabi niya.
"At ginawa na namin ang buong produkto. Alam mong mayroon kaming Ferrari at handa na kaming umalis."
Pinagmulan: https://cointelegraph.com/magazine/2022/10/12/attack-zkevms-cryptos-10x-moment