Intervjuu StarkWare'i peaministri Gal Roniga

Ethereumi skaleerimine on kahtlemata olnud viimaste kuude üks kuumemaid teemasid. Võrgustiku üleminek panuse tõestamise konsensusalgoritmile 2022. aasta septembris oli selles osas suur verstapost, kuna see avas ukse paljude erinevate skaleerimislahenduste juurutamiseks.

Kuigi Ethereumi arendajad töötavad selle kallal, kuidas võrku natiivselt skaleerida, hakkab kahe kihi lahenduste jõud alles avalduma.

Sellised mõisted nagu nullteadmiste tõestused on nüüdseks muutumas toimivaks reaalsuseks, kuid paljude jaoks on need endiselt väga võõrad ideed. Et aidata meil Ethereumi skaleerimise tulevikust rohkem aru saada, on StarkWare'i tootejuht ja plokiahela uurija Gal Ron – ettevõte, mis keskendub peamiselt just sellele.

Probleem Ethereumiga

enne kui sukeldume mõnda üksikasjadesse, on oluline mõista, mida skaleerimine Ethereum tegelikult tähendab. Laymani mõistes on see protsess, mille käigus laiendatakse võrgu töötlemisvõimalusi, et iga selle sõlm saaks hakkama suurema tehinguvõimsusega.

See ütlus ütleb, et kett on täpselt nii tugev ja võimas kui selle nõrgim lüli. Seda seetõttu, et kogu ahela ebaõnnestumiseks peab katkema ainult üks lülidest. See piirab ka keti tugevust, sest see suudab taluda ainult koormust, mida selle nõrgim lüli talub – olenemata sellest, kui tugevad on kõik teised lülid.

Sama kehtib ka Ethereumi kohta selle praeguses olekus. Selle vajadus tuleneb asjaolust, et Ethereum peab täitma usaldusnõude.

Sel teemal rääkides selgitab Ron:

Kõigi usalduse eelduste ja usaldusnõuete täitmiseks peavad kõik sõlmed (Ethereumis) tegema sama. Definitsiooni järgi seab see piirangu süsteemi läbilaskevõimele, sest kui tõstame TPS-i või ploki suurust üle teatud läve, hakkaksime takistama väiksemate (loe: väiksema arvutusvõimsusega) sõlmede osalemist.

Sisuliselt muudab see Ethereumi oma definitsiooni kohaselt piiratud.

StarkWare'i lähenemine: mis on ZK-kindel?

Ron selgitab, et Ethereumi piiranguprobleemide lahendamiseks on paar võimalust. Üks neist on leiutada midagi muud.

StarkWare on aga võtnud teistsuguse lähenemisviisi, et "skaleerida Ethereum Ethereumist ja mitte luua uut ketti". Nad teevad seda StarkNeti ja StarkExi kaudu, nii et vaatame.

StarkNeti kirjeldatakse kui "lubadeta detsentraliseeritud kehtivuskokkuvõtet, mida tuntakse ka kui a ZK-Rollup.” See toimib L2 (teise kihi) võrguna üle Ethereumi ja selle eesmärk on võimaldada mis tahes detsentraliseeritud rakendusel (dApp) saavutada piiramatu arvutusskaala. Seda tehakse ilma peamise kihi – Ethereumi – turvalisust ja komponeeritavust ohverdamata, sest StarkNet tugineb krüptograafilisele tõestussüsteemile, mida tuntakse STARK nime all.

Siin on palju lahti pakkimist, nii et alustame nullteadmiste tõestuste kontseptsiooniga.

"Ethereumiga peavad kõik sõlmed kõik tehingud uuesti käivitama. Enne ZK-d (nullteadmised) polnud muud võimalust usaldada, et keegi teine ​​tegi arvutusi terviklikult. Kui ma olen Ethereumi sõlm, näen, millised teised sõlmed mulle süsteemi oleku kohta aru annavad. Ma ei saa neid kuidagi usaldada peale nende samade arvutuste taaskäivitamise, mida nad just tegid.

ZK võlu seisneb selles, et see loob uue paradigma teiste üksuste usaldamiseks, ilma et peaks äsja tehtud arvutusi uuesti läbi viima. - ütles Ron.

Sisuliselt vähendavad ZK-komplektid, nagu StarkNet, märkimisväärselt arvutustööd, mida Ethereumi sõlmed peavad tegema, suurendades seega võrgu läbilaskevõimet.

Kõik see tehakse ilma põhikihi turvalisust ohverdamata. Selleks leiutas StarkWare ZK-STARK-id, mis võimaldavad plokiahelatel viia arvutused ühte ahelavälisesse STARK-i tõestajasse ja seejärel kontrollida nende arvutuste terviklikkust ahelasisese STARK-i kontrollija abil.

Gal Ron selgitas, kuidas Prover ja Sequencer töötavad, nii et selle kohta lisateabe saamiseks vaadake ülaltoodud videot.

Vaatame ka lähemalt, mis on rollupid, mis on StarkEx ja millised on StarkWare’i tulevikuplaanid.