Mi az a ZkEVM, és hogyan javíthatja az Ethereum ökoszisztémáját?
KezdŇĎlap
Cikkek
Mi az a ZkEVM, és hogyan javíthatja az Ethereum ökoszisztémáját?

Mi az a ZkEVM, és hogyan javíthatja az Ethereum ökoszisztémáját?

Haladó
Közzétéve Apr 14, 2023Frissítve Jun 15, 2023
8m

Ez a cikk egy k√∂z√∂ss√©gi beadv√°ny. A szerzŇĎ Kenny Li, a Manta Network t√°rsalap√≠t√≥ja, mely egy programozhat√≥ adatv√©delmi layer 1 protokoll, amely z√©r√≥ismeretes bizony√≠t√°ssal mŇĪk√∂dik.¬†

A jelen cikkben kifejtett n√©zetek a bek√ľldŇĎ/szerzŇĎ n√©zetei, √©s nem felt√©tlen√ľl t√ľkr√∂zik a Binance Academy √°ll√°spontj√°t.

TL;DR

  • A z√©r√≥ismeretes Ethereum virtu√°lis g√©p (zkEVM) egy olyan Ethereum-√°llapotg√©p, amely a z√©r√≥ismeretes bizony√≠t√°s (ZKP) technol√≥gi√°val kompatibilis m√≥don k√©pes okosszerzŇĎd√©seket v√©grehajtani.¬†

  • A zkEVM-ek kiterjesztik a z√©r√≥ismeretes rollupok (zk-rollupok) k√©pess√©geit az Ethereumon, hogy t√°mogass√°k a decentraliz√°lt alkalmaz√°sokat (DAppokat).¬†

  • A zkEVM-ek megk√∂nny√≠tik mind a megl√©vŇĎ, mind az √ļj Ethereum projektek telep√≠t√©s√©t a ZKP-k seg√≠ts√©g√©vel az Ethereum-√∂kosziszt√©ma jav√≠t√°sa √©rdek√©ben.

Bevezetés 

Az Ethereum eredeti fejlesztŇĎi nem vett√©k figyelembe a ZKP-technol√≥gi√°t, amikor 2014-ben elŇĎsz√∂r bemutatt√°k a h√°l√≥zatot. Az elm√ļlt √©vekben azonban a ZKP egyre nagyobb figyelmet kapott, √©s v√°rhat√≥an sokkal jelentŇĎsebb szerepet fog j√°tszani a blokkl√°nc ter√ľlet√©n. Ennek k√∂vetkezt√©ben a ZKP-technol√≥gia √©s az Ethereum virtu√°lis g√©p√©nek kombin√°l√°s√°ra ir√°nyul√≥ erŇĎfesz√≠t√©sek felerŇĎs√∂dtek.¬†

Ahhoz, hogy meg√©rts√ľk, mi is az a zkEVM, elŇĎsz√∂r r√∂viden tekints√ľk √°t a k√©t m√∂g√∂ttes koncepci√≥t: a zk-rollupokat √©s az EVM-et.¬†

Mik azok a Zk-Rollupok? 

A rollup egy olyan sk√°l√°z√°si megold√°s, amely sz√°mos, a fŇĎ l√°ncon k√≠v√ľli tranzakci√≥ v√©grehajt√°s√°t √°ll√≠tja √∂ssze, √©s az adatokat egyetlen tranzakci√≥k√©nt k√ľldi vissza a fŇĎ h√°l√≥zatra. Ez a folyamat n√∂veli a feldolgoz√°si teljes√≠tm√©nyt, mik√∂zben cs√∂kkenti a tranzakci√≥k v√©grehajt√°s√°nak k√∂lts√©geit.

Az Ethereumon a rollupon bel√ľli tranzakci√≥kat t√∂m√∂r√≠tik, √©s elk√ľldik az Ethereum mainnetre egyetlen tranzakci√≥ hiteles√≠t√©s√©nek k√∂lts√©g√©√©rt. Az Ethereum mainnet biztos√≠tja az elsz√°mol√°st √©s hiteles√≠ti a rollupban szereplŇĎ tranzakci√≥s adatokat.

A zk-rollup egy olyan t√≠pus√ļ rollup, amely ZKP-technol√≥gi√°t haszn√°l, egy olyan kriptogr√°fiai technol√≥gi√°t, amely lehetŇĎv√© teszi egy inform√°ci√≥ √©rv√©nyess√©g√©nek ellenŇĎrz√©s√©t an√©lk√ľl, hogy mag√°t az inform√°ci√≥t felfedn√©. A zk-rollupoknak nem kell minden tranzakci√≥s adatot k√∂zz√©tenni√ľk az Ethereum mainneten; csak √°llapotbeli k√ľl√∂nbs√©gekre (p√©ld√°ul a felhaszn√°l√≥i fi√≥k st√°tusz√°nak v√°ltoz√°saira) √©s az √©rv√©nyess√©g igazol√°s√°ra van sz√ľks√©g√ľk, ezzel is cs√∂kkentve a gas d√≠jakat.

A zk-rollupok biztons√°ga a ZKP-kriptogr√°fi√°b√≥l ered, ahol a bizony√≠t√°s ellenŇĎrz√©s√©re √©s a bizalom minimaliz√°lts√°g el√©r√©s√©re kriptogr√°fiai eszk√∂z√∂ket haszn√°lnak. Ez k√ľl√∂nb√∂zik m√°s rollupokt√≥l, p√©ld√°ul az optimista rollupokt√≥l, amelyek biztons√°ga a gazdas√°gi j√°t√©kelm√©letbŇĎl ered, ahol a rosszindulat√ļ szereplŇĎket elrettentik a potenci√°lis vesztes√©gek, a versenyt√°rsakat pedig az √∂szt√∂nzŇĎk motiv√°lj√°k.

Mi az EVM?

Az EVM egy olyan √°llapotg√©p, amelyen az Ethereum fi√≥krendszer √©s az okosszerzŇĎd√©sek futnak. Minden okosszerzŇĎd√©s v√©grehajt√°sa aktiv√°lja az EVM-et, hogy √°tt√©rjen egy r√©gi √°llapotb√≥l egy √ļj √°llapotba. Az EVM meghat√°rozza az √ļj √©s √©rv√©nyes √°llapotok egyik blokkb√≥l a m√°sikba t√∂rt√©nŇĎ kisz√°m√≠t√°s√°nak szab√°ly√°t.

Az √°llapot egy fontos fogalom az Ethereum kapcs√°n. Ez egy Merkle Patricia Trie adatszerkezet, amely az Ethereum aktu√°lis √°llapot√°t mutatja, √©s b√°rki sz√°m√°ra lehetŇĎv√© teszi a tranzakci√≥s inform√°ci√≥k nyomon k√∂vet√©s√©t az aktu√°lis blokkt√≥l eg√©szen a genezis blokkig.

Az Ethereum fenntart√°s√°ban r√©szt vevŇĎ csom√≥pontok mind az√©rt vannak, hogy biztos√≠ts√°k a folyamatoss√°got √©s a konszenzust, ami lehetŇĎv√© teszi, hogy minden csom√≥pont l√°ssa az aktu√°lis √°llapotot. Az EVM kritikus szerepet j√°tszik ennek a konzisztenci√°nak a fenntart√°s√°ban.

Hogyan mŇĪk√∂dik a ZkEVM?¬†

Az EVM alap√©rtelmez√©s szerint nem t√°mogatja a ZKP-kat. A zkEVM c√©lja, hogy biztos√≠tsa az Ethereum √°llapot√°nak folyamatoss√°g√°t, mik√∂zben bizony√≠tja, hogy minden inform√°ci√≥ helyes. Ily m√≥don a biztons√°g √©s az adatv√©delem fenntart√°sa mellett ellenŇĎrizhetŇĎk a folyamatok sz√°m√≠t√°s√°ban r√©szt vevŇĎ k√ľl√∂nb√∂zŇĎ t√©nyezŇĎk.¬†

A zkEVM ezt √ļgy √©ri el, hogy az Ethereum-k√∂rnyezetet zk-rollupk√©nt replik√°lja. Fogja a kezdeti √°llapotot, kisz√°m√≠tja az √∂sszes tranzakci√≥t, majd egy √ļj, friss√≠tett √°llapotot ad ki a hozz√° tartoz√≥ ZKP-vel egy√ľtt. Ezt a bizony√≠t√©kot egy hiteles√≠tŇĎ okosszerzŇĎd√©shez kell beny√ļjtani, amely ellenŇĎrzi mind a kezdeti, mind az √ļj √°llapot kimenet√©nek helyess√©g√©t an√©lk√ľl, hogy az √∂sszes tranzakci√≥t k√ľl√∂n-k√ľl√∂n hiteles√≠tenie kellene.¬†

Mivel a zkEVM-ek az EVM-en alapulnak, a fejlesztŇĎk k√∂nnyen hordozhatj√°k az Ethereum DAppokat √©s okosszerzŇĎd√©seket a zkEVM-ekre an√©lk√ľl, hogy ZKP-fejleszt√©si munk√°t kellene v√©gezni√ľk. M√°s sz√≥val, a zkEVM-ek lehetŇĎv√© teszik a zk-rollupok sz√°m√°ra az okosszerzŇĎd√©sek v√©grehajt√°s√°t, a kor√°bban a zkEVM-ek n√©lk√ľl t√°mogatott token swapok √©s fizet√©sek mellett.¬†¬†¬†

Az EVM kompatibilit√°si funkci√≥j√°nak k√∂sz√∂nhetŇĎen a fejlesztŇĎk √ļj term√©keket k√©sz√≠thetnek a megl√©vŇĎ EVM-eszk√∂z√∂k √©s a Solidity programoz√°si nyelv haszn√°lat√°val, mik√∂zben √©lvezhetik a zkEVM √°ltal ny√ļjtott fokozott biztons√°got. Ugyanezek az elŇĎny√∂k a felhaszn√°l√≥kra is vonatkoznak ‚Äď tov√°bbra is ugyanazokat a DAppokat √©s megszokott eszk√∂z√∂ket haszn√°lhatj√°k, nagyobb biztons√°g √©s adatv√©delem mellett.

EVM-kompatibilitás versus EVM-ekvivalencia 

Amikor egy blokkl√°ncot EVM-kompatibilisnek h√≠vnak, az azt jelenti, hogy olyan k√∂rnyezetet k√≠n√°l, amely k√©pes a Solidity programoz√°si nyelven √≠rt DAppok telep√≠t√©s√©re. A Solidity az Ethereum h√°l√≥zaton fut√≥ okosszerzŇĎd√©sek fejleszt√©s√©re szolg√°l.¬†

Tulajdonk√©ppen az Ethereum-fejlesztŇĎk kim√°solhatj√°k a megl√©vŇĎ DAppok k√≥dj√°t az Ethereumr√≥l, √©s minim√°lis m√≥dos√≠t√°sokkal m√°s EVM-kompatibilis l√°ncokra telep√≠thetik. A felhaszn√°l√≥k sz√°m√°ra b√°rmely EVM-kompatibilis l√°ncc√≠m megegyezik az Ethereum-c√≠m√ľkkel.¬†

Ez azt jelenti, hogy a c√≠mek kompatibilisek az olyan mainstream t√°rc√°kkal, mint a Metamask √©s a Trust Wallet. Jelenleg a fŇĎbb EVM-kompatibilis l√°ncok k√∂z√© tartozik a BNB Chain, az Avalanche C-Chain √©s a Polygon.¬†

Az EVM-kompatibilit√°s nem t√©vesztendŇĎ √∂ssze az EVM-ekvivalenci√°val, ami azt jelenti, hogy a DApp-fejlesztŇĎ szempontj√°b√≥l a Layer 2 rollupok k√∂zel azonosak a Layer 1 Ethereummal.¬†

Az oper√°ci√≥s rendszer anal√≥gi√°j√°val √©lve, az EVM-ekvivalencia hasonl√≠t ahhoz, amikor az Apple Cloudon kereszt√ľl vissza√°ll√≠tj√°k a f√°jlokat √©s be√°ll√≠t√°sokat, ha a felhaszn√°l√≥ kor√°bbi sz√°m√≠t√≥g√©pe √©s √ļj sz√°m√≠t√≥g√©pe egyar√°nt az Apple oper√°ci√≥s rendszer√©n fut.

Ezzel szemben az EVM-kompatibilit√°s azt jelenti, hogy ha egy √ļj sz√°m√≠t√≥g√©p Windows rendszerre v√°lt, az eredeti f√°jlokat le kell t√∂lteni a felhŇĎalap√ļ t√°rhelyrŇĎl, √©s √°t kell alak√≠tani a prefer√°lt be√°ll√≠t√°sok √©s a r√©gi f√°jlok vissza√°ll√≠t√°s√°hoz.¬†

K√ľl√∂nb√∂zŇĎ t√≠pus√ļ ZkEVM-ek¬†

A ZKP-k gener√°l√°sa √©s hiteles√≠t√©se k√∂zvetlen√ľl EVM seg√≠ts√©g√©vel rendk√≠v√ľl lass√ļ, mivel az Ethereumot eredetileg nem a ZKP-technol√≥gia t√°mogat√°s√°ra tervezt√©k. Bizonyos esetekben ez ak√°r t√∂bb √≥r√°t is ig√©nybe vehet. Mindazon√°ltal fontos, hogy megtal√°ljuk az egyens√ļlyt az EVM-kompatibilit√°s √©s a ZKP hat√©konys√°ga k√∂z√∂tt.

Az Ethereum alap√≠t√≥ja, Vitalik Buterin a k√∂vetkezŇĎ n√©gy t√≠pusba sorolta a zkEVM-eket. A blokkl√°nc-trilemm√°hoz hasonl√≥an, mindegyik√ľk k√ľl√∂nb√∂zŇĎ kompromisszumokat k√∂t a ZKP teljes√≠tm√©nyhat√©konys√°ga √©s az EVM-kompatibilit√°s k√∂z√∂tt.¬†¬†¬†¬†

1. t√≠pus: Konszenzus szintŇĪ ekvivalencia ‚Äď az Ethereummal teljesen egyen√©rt√©kŇĪ zkEVM

Konszenzus szinten az 1. t√≠pus√ļ zkEVM ‚Äď m√°s n√©ven biztos√≠tott rollup ‚Äď megegyezik az Ethereummal, √©s a zkEVM-l√°nc √°llapota √©s tranzakci√≥i megegyeznek az Ethereum√©val. K√∂lcs√∂n√∂sen hiteles√≠thetik a blokkokat, √©s k√∂zvetlen√ľl haszn√°lhat√≥k az Ethereum v√©grehajt√°si klienseivel.

Az 1. t√≠pus√ļ zkEVM-ek sk√°l√°zhat√≥bb√° teszik mag√°t az Ethereumot, √©s k√∂zvetlen√ľl bevezethetŇĎk az Ethereum mainnetre. H√°tr√°nya, hogy a ZKP hat√©konys√°ga rendk√≠v√ľl gyenge, √©s sok sz√°m√≠t√°si munk√°t ig√©nyel az hiteles√≠t√©s. A megold√°s az lenne, hogy a j√∂vŇĎben nagym√©retŇĪ p√°rhuzamos valid√°torokat vagy speci√°lis integr√°lt √°ramk√∂r√∂ket haszn√°ljanak a zk-SNARK-okhoz.

Az 1. t√≠pus√ļ, nagy ZK-hat√©konys√°g√ļ zkEVM-ek lenn√©nek a zkEVM-ek legide√°lisabb form√°ja. Jelenleg sz√°mos projekt fejleszti vagy vizsg√°lja ezt a fajta zkEVM-et.

2. t√≠pus: Bytecode szintŇĪ ekvivalencia ‚Äď teljesen egyen√©rt√©kŇĪ az EVM-mel

A 2. t√≠pus teljesen egyen√©rt√©kŇĪ az EVM-mel, de az Ethereummal nem. Az adatszerkezetek (p√©ld√°ul a blokkszerkezet √©s az √°llapotfa) tekintet√©ben k√ľl√∂nb√∂zik az Ethereumt√≥l, √©s t√∂r√∂l n√©h√°ny olyan veremmŇĪveletet, amelyek nem ZK-bar√°tok.¬†

Teljesen kompatibilis az Ethereum megl√©vŇĎ DAppjaival, hibakeresŇĎ eszk√∂zeivel √©s fejlesztŇĎi infrastrukt√ļr√°j√°val. A bytecode-szintŇĪ ekvivalencia felgyors√≠thatja a bizony√≠t√°si idŇĎt, b√°r nem jelentŇĎsen. A 2-es t√≠pus egy√©rtelmŇĪ h√°tr√°nya, hogy dr√°ga, nem szinergikus a ZK-val, alacsony √©s k√∂lts√©ges a hat√©konys√°ga.¬†

2.5 típus: Hasonló a 2. típushoz, de módosított gas díjakkal

A 2.5 t√≠pus osztozik a 2. t√≠pus elŇĎnyeiben √©s h√°tr√°nyaiban, de valamivel alacsonyabb gas d√≠jakkal rendelkezik.

3. t√≠pus: Bytecode szintŇĪ ekvivalencia ‚Äď majdnem egyen√©rt√©kŇĪ az EVM-mel

A 2. t√≠pusra alapozva a 3. t√≠pus tov√°bb cs√∂kkenti a kompatibilit√°st a ZK hat√©konys√°g√°nak n√∂vel√©se √©rdek√©ben. T√∂rli a zkEVM-en nehezen megval√≥s√≠that√≥ funkci√≥kat, mint p√©ld√°ul az elŇĎford√≠t√°sokat, emiatt √ļjra kell √≠rni n√©h√°ny olyan DAppban haszn√°lt k√≥dol√°st, amely ezt a funkci√≥t ig√©nyli.

4. t√≠pus: FejlesztŇĎi nyelvi szintŇĪ ekvivalencia ‚Äď az EVM-mel egyen√©rt√©kŇĪ magas szintŇĪ nyelv

A 4-es t√≠pus√ļ EVM-ek rendelkeznek a legmagasabb ZK-teljes√≠tm√©nnyel, de viszonylag gyeng√©bb a kompatibilit√°suk.

Záró gondolatok 

A zkEVM megval√≥s√≠t√°s√°nak fŇĎ c√©lja a ZKP-sz√°m√≠t√°s t√°mogat√°s√°nak kiterjeszt√©se az okosszerzŇĎd√©sek v√©grehajt√°s√°ra, √©s ez√°ltal a DAppok kiterjeszt√©se az √∂sszes EVM-kompatibilis protokollra. A ZKP-k lehets√©ges alkalmaz√°sai persze nem mer√ľlnek ki ennyiben.¬†

A ZKP-technol√≥gia potenci√°lisan kompatibilis lehet a Web2 felhaszn√°l√°si ter√ľletekkel. A k√ľl√∂nb√∂zŇĎ Web2 felhaszn√°l√°si ter√ľletek kombin√°l√°sa a ZKP-vel g√∂rd√ľl√©kenyebb√© √©s felhaszn√°l√≥bar√°tabb√° teheti a Web3 alkalmaz√°sokat. A hagyom√°nyos internetes b√∂ng√©szŇĎkh√∂z szokott felhaszn√°l√≥k sz√°m√°ra is hozz√°f√©r√©st biztos√≠tana a Web3-hoz, √©s ezzel elŇĎseg√≠ten√© a Web3 elfogad√°s√°t.

További olvasnivaló


FelelŇĎss√©gi nyilatkozat √©s kock√°zati figyelmeztet√©s: A jelen bejegyz√©s tartalm√°t annak mindenkori form√°j√°ban bocs√°tjuk rendelkez√©sre √°ltal√°nos t√°j√©koztat√°si √©s oktat√°si c√©llal, √©s semmilyen felelŇĎss√©get vagy szavatoss√°got nem v√°llalunk az alkalmaz√°s√°val kapcsolatban. Az itt le√≠rtak nem tekintendŇĎk p√©nz√ľgyi, jogi vagy egy√©b szakmai tan√°csad√°snak, sem egy konkr√©t term√©k vagy szolg√°ltat√°s megv√°s√°rl√°s√°ra tett javaslatnak. Javasoljuk, hogy megfelelŇĎ szaktan√°csad√≥kt√≥l k√©rjen tan√°csot. Mivel a jelen cikket k√ľlsŇĎ szerzŇĎ √≠rta, felh√≠vjuk figyelm√©t, hogy az itt kifejtett n√©zŇĎpontok a harmadik f√©l szerzŇĎ √°ll√°spontj√°t r√©szletezik, √©s nem felt√©tlen√ľl t√ľkr√∂zik a Binance Academy v√©lem√©ny√©t. K√©rj√ľk, hogy idekattintva olvassa el r√©szletes felelŇĎss√©gi nyilatkozatunkat. A digit√°lis eszk√∂z√∂k √°ra erŇĎsen ingadozhat. A befektet√©s √©rt√©ke cs√∂kkenhet vagy nŇĎhet, √©s az is elŇĎfordulhat, hogy √Ėn nem kapja vissza a befektetett √∂sszeget. A befektet√©si d√∂nt√©sei√©rt egyed√ľl √Ėn felel, √©s a Binance Academy nem v√°llal felelŇĎss√©get az esetlegesen felmer√ľlŇĎ vesztes√©gek√©rt. Az itt le√≠rtak nem minŇĎs√ľlnek p√©nz√ľgyi, hogy vagy egy√©b szakmai tan√°csnak. Tov√°bbi inform√°ci√≥√©rt tekintse meg Felhaszn√°l√°si felt√©teleinket √©s a Kock√°zati figyelmeztet√©st.