Intervista con il Primo Ministro della StarkWare Gal Ron

Lo scaling di Ethereum è stato senza dubbio uno degli argomenti più caldi degli ultimi mesi. La transizione della rete a un algoritmo di consenso proof-of-stake nel settembre 2022 è stata un'enorme pietra miliare in questo senso, poiché ha aperto la porta all'implementazione di molte diverse soluzioni di ridimensionamento.

Mentre gli sviluppatori di Ethereum stanno lavorando su modi per scalare la rete in modo nativo, la potenza delle soluzioni di secondo livello sta solo iniziando a manifestarsi.

Concetti come prove a conoscenza zero stanno ora diventando una realtà operativa, ma per molti sono ancora idee molto estranee. Ad aiutarci a capire di più sul futuro del ridimensionamento di Ethereum è Gal Ron, product manager e ricercatore blockchain presso StarkWare, un'azienda focalizzata principalmente proprio su questo.

Il problema con Ethereum

prima di immergerci in alcune delle specifiche, è importante capire cosa ridimensionare Ethereum in realtà significa. In parole povere, questo è il processo di espansione delle capacità di elaborazione della rete in modo che ciascuno dei suoi nodi possa gestire un throughput transazionale più elevato.

C'è questo detto che stabilisce che una catena è forte e potente quanto il suo anello più debole. Questo perché solo uno degli anelli deve rompersi perché l'intera catena fallisca. Ciò limita anche la forza della catena perché può sopportare solo un carico che il suo anello più debole è in grado di sopportare, indipendentemente dalla forza di tutti gli altri anelli.

Lo stesso vale per Ethereum nel suo stato attuale. La necessità di ciò deriva dal fatto che Ethereum deve soddisfare il requisito di "fiducia".

Parlando della questione, Ron spiega:

Per soddisfare tutte le ipotesi di fiducia e i requisiti di fiducia, tutti i nodi (su Ethereum) devono fare la stessa cosa. Per definizione, questo pone una limitazione al throughput del sistema perché se aumentiamo il TPS o la dimensione del blocco al di sopra di una certa soglia, inizieremmo a impedire la partecipazione dei nodi più piccoli (leggi: con meno potenza di calcolo).

In sostanza, questo rende Ethereum, per definizione, limitato nella sua capacità.

L'approccio di StarkWare: cos'è una prova ZK?

Ron spiega che ci sono un paio di opzioni per gestire i problemi di limitazione di Ethereum. Uno di questi è inventare qualcos'altro.

StarkWare, tuttavia, ha adottato un approccio diverso per "ridimensionare Ethereum da Ethereum e non creare un'altra catena". Lo fanno tramite StarkNet e StarkEx, quindi diamo un'occhiata.

StarkNet è descritto come un "rollup di validità decentralizzato senza autorizzazione, noto anche come a ZK-rollup.” Funziona come una rete L2 (livello due) su Ethereum e ha lo scopo di consentire a qualsiasi applicazione decentralizzata (dApp) di raggiungere una scala illimitata per il suo calcolo. Questo viene fatto senza sacrificare la sicurezza e la componibilità del livello principale - Ethereum - perché StarkNet si affida al sistema di prova crittografica noto come STARK.

C'è molto da svelare qui, quindi iniziamo con il concetto di prove a conoscenza zero.

“Con Ethereum, tutti i nodi devono rieseguire tutte le transazioni. Prima di ZK (conoscenza zero), non c'era altro modo per fidarsi che qualcun altro eseguisse i calcoli con integrità. Se sono un nodo su Ethereum, vedo quali altri nodi mi stanno segnalando in termini di quale dovrebbe essere lo stato del sistema. Non c'è modo per me di fidarmi di loro oltre a rieseguire gli stessi calcoli che hanno appena eseguito.

La magia di ZK è che crea un nuovo paradigma di fiducia in altre entità senza dover ripetere i calcoli che hanno appena fatto. – disse Ron.

In sostanza, i rollup ZK come StarkNet riducono notevolmente la quantità di lavoro computazionale che i nodi su Ethereum devono svolgere, aumentando così il throughput della rete.

Tutto questo viene fatto senza sacrificare la sicurezza del livello principale. Per fare ciò, StarkWare ha inventato ZK-STARK, che consentono alle blockchain di spostare i calcoli su un singolo prover STARK off-chain e quindi verificare l'integrità di tali calcoli utilizzando un verificatore STARK on-chain.

Gal Ron ha spiegato come funzionano sia il Prover che il Sequencer, quindi per maggiori dettagli su questo, dai un'occhiata al video qui sopra.

Diamo anche un'occhiata più da vicino a cosa sono esattamente i rollup, cos'è StarkEx e quali sono i piani di StarkWare per il futuro.