Interjú a StarkWare PM Gal Ronnal

Az Ethereum skálázása kétségtelenül az egyik legforróbb téma volt az elmúlt hónapokban. A hálózat 2022 szeptemberi átállása a tét-konszenzusos algoritmusra óriási mérföldkő volt e tekintetben, mivel számos különböző skálázási megoldás bevezetése előtt nyitotta meg a kaput.

Míg az Ethereum fejlesztői a hálózat natív méretezésének módjain dolgoznak, a második réteg megoldásainak ereje csak most kezd megnyilvánulni.

Az olyan fogalmak, mint a zéró tudás bizonyítása, ma már működő valósággá válnak, de sokak számára még mindig nagyon idegen gondolatok. Gal Ron – a StarkWare termékmenedzsere és blokklánc-kutató – segít abban, hogy jobban megértsük az Ethereum skálázás jövőjét – egy cég, amely elsősorban pontosan erre összpontosít.

Probléma az Ethereummal

Mielőtt belemerülnénk néhány részletbe, fontos megérteni, hogy mit méretezése Ethereum valójában azt jelenti. A Layman kifejezéssel élve ez a hálózat feldolgozási képességeinek bővítésének folyamata, hogy minden csomópontja nagyobb tranzakciós átviteli sebességet tudjon kezelni.

Van ez a mondás, amely szerint a lánc csak annyira erős és erős, amennyire a leggyengébb láncszeme. Ennek az az oka, hogy az egész lánc meghibásodásához csak az egyik láncszemnek kell elszakadnia. Ez korlátozza a lánc szilárdságát is, mert csak olyan terhelést tud elviselni, amelyet a leggyengébb láncszeme képes elviselni – függetlenül attól, hogy az összes többi láncszem milyen erős.

Ugyanez igaz az Ethereumra is a jelenlegi állapotában. Ennek szükségessége abból adódik, hogy az Ethereumnak meg kell felelnie a „bizalom” követelményének.

Az ügyről szólva Ron elmagyarázza:

Az összes megbízhatósági feltételezésnek és megbízhatósági követelménynek való megfeleléshez (az Ethereum összes csomópontjának) ugyanazt kell tennie. Ez értelemszerűen korlátozza a rendszer áteresztőképességét, mert ha a TPS-t vagy a blokkméretet egy bizonyos küszöb fölé emeljük, akkor elkezdjük megakadályozni a kisebb (értsd: kisebb számítási teljesítményű) csomópontok részvételét.

Lényegében ez az Ethereumot definíció szerint korlátozza kapacitásában.

StarkWare megközelítése: Mi az a ZK-biztos?

Ron elmagyarázza, hogy van néhány lehetőség az Ethereum korlátozási problémáinak kezelésére. Az egyik az, hogy valami mást kell kitalálni.

A StarkWare azonban más megközelítést alkalmazott: „az Ethereumot méretezi az Ethereumból, és nem hoz létre újabb láncot”. Ezt a StarkNeten és a StarkEx-en keresztül teszik, ezért nézzük meg.

A StarkNet egy „engedély nélküli decentralizált érvényességi összegzőként, más néven a ZK-Rollup.” L2 (kettes réteg) hálózatként működik az Ethereumon keresztül, és célja, hogy lehetővé tegye bármely decentralizált alkalmazás számára (dApp), hogy korlátlan skálát érjen el a számítása során. Ez a fő réteg – az Ethereum – biztonságának és kompozíciójának feláldozása nélkül történik, mivel a StarkNet a STARK néven ismert kriptográfiai bizonyítékrendszerre támaszkodik.

Sok mindent kell itt kibontani, úgyhogy kezdjük a nulla tudásalapú bizonyítások fogalmával.

„Az Ethereummal minden csomópontnak újra kell futtatnia minden tranzakciót. A ZK (zéró tudás) előtt nem lehetett más módon bízni abban, hogy valaki más tisztességesen futtatta a számításokat. Ha az Ethereum csomópontja vagyok, látom, hogy milyen más csomópontok jelentenek nekem a rendszer állapotát illetően. Nincs mód arra, hogy megbízzam bennük, azon kívül, hogy újra lefuttatom ugyanazokat a számításokat, amelyeket most futtattak.

A ZK-ban az a varázslat, hogy új paradigmát hoz létre a bizalom más entitásokban anélkül, hogy újra le kellene futtatniuk az imént elvégzett számításokat.” – mondta Ron.

Lényegében a ZK-összegzések, mint például a StarkNet, jelentősen csökkentik az Ethereum csomópontjainak elvégzendő számítási munkát, ami növeli a hálózat átviteli sebességét.

Mindez a fő réteg biztonságának feláldozása nélkül történik. Ennek érdekében a StarkWare feltalálta a ZK-STARK-okat, amelyek lehetővé teszik a blokkláncok számára, hogy a számításokat egyetlen láncon kívüli STARK-ellenőrzőhöz helyezzék át, majd egy láncon belüli STARK-ellenőrző segítségével ellenőrizzék a számítások integritását.

Gal Ron elmagyarázta a Prover és a Sequencer működését, ezért további részletekért tekintse meg a fenti videót.

Azt is megvizsgáljuk, hogy pontosan mik is a rollupok, mi az a StarkEx, és mik a StarkWare jövőbeli tervei.