Interviu cu premierul StarkWare, Gal Ron

Scaling Ethereum a fost, fără îndoială, unul dintre cele mai fierbinți subiecte din ultimele luni. Tranziția rețelei la un algoritm de consens pentru dovada mizei în septembrie 2022 a reprezentat o piatră de hotar uriașă în acest sens, deoarece a deschis ușa pentru implementarea multor soluții de scalare diferite.

În timp ce dezvoltatorii Ethereum lucrează la modalități de scalare nativă a rețelei, puterea soluțiilor de nivel doi abia începe să se manifeste.

Concepte precum dovezile cu cunoștințe zero devin acum o realitate de lucru, dar pentru mulți, acestea sunt încă idei foarte străine. Pentru a ne ajuta să înțelegem mai multe despre viitorul scalarii Ethereum este Gal Ron – un manager de produs și un cercetător blockchain la StarkWare – o companie concentrată în primul rând pe acest lucru.

Problema cu Ethereum

înainte de a ne aprofunda în unele dintre detalii, este important să înțelegem ce scalare Ethereum înseamnă de fapt. În termenii lui Layman, acesta este procesul de extindere a capabilităților de procesare ale rețelei, astfel încât fiecare dintre nodurile sale să poată gestiona un debit tranzacțional mai mare.

Există această vorbă care stipulează că un lanț este atât de puternic și de puternic cât veriga sa cea mai slabă. Acest lucru se datorează faptului că doar una dintre verigi trebuie să se rupă pentru ca întregul lanț să eșueze. Acest lucru limitează, de asemenea, rezistența lanțului, deoarece poate suporta doar o sarcină pe care veriga sa cea mai slabă este capabilă să o suporte - indiferent de cât de puternice sunt toate celelalte verigi.

Același lucru este valabil și pentru Ethereum în starea sa actuală. Necesitatea acestui lucru vine din faptul că Ethereum trebuie să satisfacă cerința de „încredere”.

Vorbind despre această problemă, Ron explică:

Pentru a satisface toate ipotezele și cerințele de încredere, toate nodurile (pe Ethereum) trebuie să facă același lucru. Prin definiție, acest lucru limitează debitul sistemului, deoarece dacă creștem TPS-ul sau dimensiunea blocului peste un anumit prag, am începe să împiedicăm participarea nodurilor mai mici (a se citi: cu putere de calcul mai mică).

În esență, acest lucru face ca Ethereum, prin definiție, să fie limitat în capacitatea sa.

Abordarea StarkWare: Ce este un ZK-Proof?

Ron explică că există câteva opțiuni pentru a gestiona problemele de limitare ale Ethereum. Una dintre ele este să inventezi altceva.

StarkWare, totuși, a adoptat o abordare diferită de „scalare Ethereum din Ethereum și nu crearea unui alt lanț”. O fac prin StarkNet și StarkEx, așa că haideți să aruncăm o privire.

StarkNet este descrisă ca un „rollup de valabilitate descentralizat fără permisiune, cunoscut și sub numele de a ZK-Rollup.” Funcționează ca o rețea L2 (layer-dos) peste Ethereum și are scopul de a permite oricărei aplicații descentralizate (dApp) să atingă o scară nelimitată pentru calculul său. Acest lucru se face fără a sacrifica securitatea și compunebilitatea stratului principal – Ethereum – deoarece StarkNet se bazează pe sistemul de verificare criptografică cunoscut sub numele de STARK.

Sunt multe de despachetat aici, așa că să începem cu conceptul de dovezi cu cunoștințe zero.

„Cu Ethereum, toate nodurile trebuie să ruleze din nou toate tranzacțiile. Înainte de ZK (zero-knowledge), nu exista altă modalitate de a avea încredere că altcineva rula calculele cu integritate. Dacă sunt un nod pe Ethereum, văd ce alte noduri îmi raportează în ceea ce privește starea sistemului. Nu există nicio modalitate de a avea încredere în ei în afară de a relua aceleași calcule pe care tocmai le-au executat.

Magia despre ZK este că creează o nouă paradigmă de încredere în alte entități fără a fi nevoie să ruleze din nou calculele pe care tocmai le-au făcut.” – spuse Ron.

În esență, pachetele ZK cum ar fi StarkNet reduc cantitatea de lucru de calcul pe care nodurile de pe Ethereum trebuie să o depună considerabil, crescând astfel debitul rețelei.

Toate acestea se fac fără a sacrifica securitatea stratului principal. Pentru a face acest lucru, StarkWare a inventat ZK-STARK, care permit blockchain-urilor să mute calculele la un singur probator STARK off-chain și apoi să verifice integritatea acestor calcule folosind un verificator STARK în lanț.

Gal Ron a explicat cum funcționează atât Prover-ul, cât și Sequencer-ul, așa că pentru mai multe detalii despre asta, vă rugăm să aruncați o privire la videoclipul de mai sus.

De asemenea, aruncăm o privire mai atentă la ce sunt exact pachetele, ce este StarkEx și care sunt planurile StarkWare pentru viitor.