Rozhovor s premiérkou StarkWare Gal Ronom

Škálovanie Etherea bolo nepochybne jednou z najhorúcejších tém posledných mesiacov. Prechod siete na algoritmus proof-of-stake konsenzu v septembri 2022 bol v tomto ohľade obrovským míľnikom, pretože otvoril dvere pre implementáciu mnohých rôznych škálovacích riešení.

Zatiaľ čo vývojári Ethereum pracujú na spôsoboch natívneho škálovania siete, sila riešení druhej vrstvy sa len začína prejavovať.

Pojmy ako dôkazy o nulových znalostiach sa v súčasnosti stávajú funkčnou realitou, no pre mnohých sú to stále veľmi cudzie myšlienky. Aby sme pochopili viac o budúcnosti škálovania Etherea, je Gal Ron – produktový manažér a výskumník blockchainu v StarkWare – spoločnosť, ktorá sa primárne zameriava presne na toto.

Problém s Ethereom

predtým, než sa ponoríme do niektorých špecifík, je dôležité pochopiť, čo škálovanie Etherea vlastne znamená. Laicky povedané, ide o proces rozšírenia spracovateľských schopností siete tak, aby každý jej uzol zvládal vyššiu transakčnú priepustnosť.

Hovorí sa, že reťaz je len taká silná a výkonná, ako je jej najslabší článok. Je to preto, že len jeden z článkov sa musí zlomiť, aby zlyhal celý reťazec. To tiež obmedzuje pevnosť reťaze, pretože dokáže zvládnuť iba záťaž, ktorú dokáže zvládnuť jej najslabší článok – bez ohľadu na to, aké silné sú všetky ostatné články.

To isté platí pre Ethereum v jeho súčasnom stave. Nevyhnutnosť vyplýva zo skutočnosti, že Ethereum musí spĺňať požiadavku „dôvery“.

Ron v tejto súvislosti vysvetľuje:

Na splnenie všetkých predpokladov dôvery a požiadaviek dôvery musia všetky uzly (na Ethereu) robiť to isté. Podľa definície to obmedzuje priepustnosť systému, pretože ak zväčšíme TPS alebo veľkosť bloku nad určitú hranicu, začneme brániť menším (čítaj: s menším výpočtovým výkonom) uzlom v účasti.

V podstate to robí Ethereum, podľa definície, obmedzené vo svojej kapacite.

Prístup StarkWare: Čo je ZK-Proof?

Ron vysvetľuje, že existuje niekoľko možností na riešenie problémov s obmedzeniami Etherea. Jedným z nich je vymyslieť niečo iné.

Spoločnosť StarkWare však zvolila iný prístup, keď „zmenila Ethereum od Etherea a nevytvárala ďalší reťazec“. Robia tak cez StarkNet a StarkEx, tak sa na to poďme pozrieť.

StarkNet je opísaný ako „bezprípustný decentralizovaný súhrn platnosti, známy aj ako a ZK-Rollup.“ Funguje ako sieť L2 (druhá vrstva) cez Ethereum a je zameraná na to, aby umožnila akejkoľvek decentralizovanej aplikácii (dApp) dosiahnuť neobmedzený rozsah pre svoje výpočty. Deje sa tak bez obetovania bezpečnosti a skladateľnosti hlavnej vrstvy – Etherea – pretože StarkNet sa spolieha na kryptografický dôkazový systém známy ako STARK.

Dá sa tu toho veľa rozbaliť, takže začnime konceptom dôkazov s nulovými znalosťami.

„S Ethereom musia všetky uzly znova spustiť všetky transakcie. Pred ZK (nulové znalosti) neexistoval iný spôsob, ako sa spoľahnúť, že niekto iný spustil výpočty s integritou. Ak som uzol na Ethereu, vidím, aké iné uzly mi hlásia, aký by mal byť stav systému. Neexistuje žiadny spôsob, ako im dôverovať, okrem toho, že znova spustím tie isté výpočty, ktoré práve spustili.

Kúzlo na ZK spočíva v tom, že vytvára novú paradigmu dôvery iným entitám bez toho, aby bolo potrebné znova spustiť výpočty, ktoré práve urobili.“ - povedal Ron.

V podstate súhrny ZK, ako je StarkNet, výrazne znižujú množstvo výpočtovej práce, ktorú musia uzly na Ethereu vynakladať, čím sa zvyšuje priepustnosť siete.

To všetko sa deje bez obetovania bezpečnosti hlavnej vrstvy. Za týmto účelom StarkWare vynašiel ZK-STARK, ktoré umožňujú blockchainom presunúť výpočty do jedného overovateľa STARK mimo reťazca a potom overiť integritu týchto výpočtov pomocou on-chain STARK Verifier.

Gal Ron vysvetlil, ako funguje Prover aj Sequencer, takže ďalšie podrobnosti o tom nájdete vo videu vyššie.

Tiež sa bližšie pozrieme na to, čo presne sú rollupy, čo je StarkEx a aké sú plány StarkWare do budúcnosti.