Interviu su StarkWare PM Gal Ron

„Ethereum“ mastelio keitimas neabejotinai buvo viena karščiausių temų per pastaruosius mėnesius. Tinklo perėjimas prie konsensuso įrodinėjimo algoritmo 2022 m. rugsėjį buvo didžiulis įvykis šiuo atžvilgiu, nes atvėrė duris daugybei skirtingų mastelio sprendimų.

Nors „Ethereum“ kūrėjai ieško būdų, kaip išplėsti tinklo mastelį, antrojo sluoksnio sprendimų galia tik pradeda pasireikšti.

Tokios sąvokos kaip nulinių žinių įrodymai dabar tampa veikiančia realybe, tačiau daugeliui jos vis dar yra labai svetimos idėjos. Norėdami padėti mums geriau suprasti Ethereum mastelio keitimo ateitį, Gal Ron – produktų vadovas ir „StarkWare“ blokų grandinės tyrinėtojas – įmonė, kuri daugiausia dėmesio skiria būtent šiam tikslui.

Problema su Ethereum

prieš pasineriant į kai kurias specifikas, svarbu suprasti, ką mastelio keitimas Ethereum iš tikrųjų reiškia. Pasak Laymano, tai yra tinklo apdorojimo galimybių išplėtimo procesas, kad kiekvienas jo mazgas galėtų apdoroti didesnį operacijų pralaidumą.

Yra toks posakis, kuriame teigiama, kad grandinė yra tiek stipri ir galinga, kiek yra jos silpniausia grandis. Taip yra todėl, kad tik viena grandis turi nutrūkti, kad visa grandinė sugestų. Tai taip pat riboja grandinės stiprumą, nes ji gali atlaikyti tik tą apkrovą, kurią gali atlaikyti jos silpniausia grandis – nesvarbu, kokios stiprios yra visos kitos grandys.

Tas pats pasakytina apie Ethereum dabartinę būseną. To būtinybė kyla dėl to, kad Ethereum turi atitikti „pasitikėjimo“ reikalavimą.

Kalbėdamas šiuo klausimu, Ronas paaiškina:

Kad atitiktų visas pasitikėjimo prielaidas ir pasitikėjimo reikalavimus, visi mazgai (Ethereum) turi daryti tą patį. Pagal apibrėžimą tai apriboja sistemos pralaidumą, nes padidinus TPS arba bloko dydį virš tam tikros ribos, pradėtume neleisti dalyvauti mažesniems (skaitykite: su mažesne skaičiavimo galia) mazgams.

Iš esmės dėl to Ethereum pajėgumas apribotas.

StarkWare požiūris: kas yra ZK atsparumas?

Ronas paaiškina, kad yra keletas variantų, kaip išspręsti „Ethereum“ apribojimų problemas. Vienas iš jų – sugalvoti ką nors kita.

Tačiau „StarkWare“ laikėsi kitokio požiūrio: „pakeisti Ethereum iš Ethereum ir nesukurti kitos grandinės“. Jie tai daro per StarkNet ir StarkEx, todėl pažiūrėkime.

„StarkNet“ apibūdinamas kaip „be leidimo decentralizuotas galiojimo apibendrinimas, dar žinomas kaip a ZK-Rollup. Jis veikia kaip L2 (antrojo sluoksnio) tinklas per Ethereum ir skirtas leisti bet kuriai decentralizuotai programai (dApp) pasiekti neribotą skaičiavimo mastą. Tai daroma neprarandant pagrindinio sluoksnio – Ethereum – saugumo ir suderinamumo, nes StarkNet remiasi kriptografine tikrinimo sistema, žinoma kaip STARK.

Čia reikia daug ką išpakuoti, todėl pradėkime nuo nulinių žinių įrodymų koncepcijos.

„Naudojant Ethereum, visi mazgai turi iš naujo vykdyti visas operacijas. Iki ZK (nulinės žinios) nebuvo kito būdo pasitikėti, kad kažkas kitas sąžiningai atliko skaičiavimus. Jei esu Ethereum mazgas, matau, kokie kiti mazgai man praneša apie tai, kokia turėtų būti sistemos būsena. Negaliu jais pasitikėti, išskyrus tuos pačius skaičiavimus, kuriuos jie ką tik atliko.

ZK magija yra ta, kad jis sukuria naują pasitikėjimo kitais subjektais paradigmą, nereikia pakartotinai atlikti ką tik atliktų skaičiavimų. – tarė Ronis.

Iš esmės ZK paketai, tokie kaip StarkNet, žymiai sumažina skaičiavimo darbą, kurį Ethereum mazgai turi įdėti, todėl padidėja tinklo pralaidumas.

Visa tai daroma neprarandant pagrindinio sluoksnio saugumo. Norėdami tai padaryti, „StarkWare“ išrado ZK-STARK, kurie leidžia blokų grandinėms perkelti skaičiavimus į vieną iš grandinės nepriklausantį STARK tikrintuvą ir tada patikrinti tų skaičiavimų vientisumą naudojant grandinės STARK tikrintuvą.

Gal Ron paaiškino, kaip veikia „Prover“ ir „Sequencer“, todėl norėdami sužinoti daugiau apie tai, žiūrėkite aukščiau esantį vaizdo įrašą.

Taip pat atidžiau pažvelgsime į tai, kas tiksliai yra „rollups“, kas yra „StarkEx“ ir kokie yra „StarkWare“ ateities planai.