Starknet è una rete Layer 2 che scala Ethereum. Elabora le transazioni off-chain usando una matematica avanzata chiamata prove di validità, portando a commissioni drasticamente più basse e a un throughput maggiore. Poiché regola le sue transazioni su Ethereum, Starknet eredita la sicurezza e la decentralizzazione del mainnet. Per sviluppatori e utenti, questo significa dApps più veloci e più economiche senza compromettere la sicurezza.
Invece di eseguire ogni singola transazione sulla già affollata rete Ethereum, Starknet adotta un approccio più intelligente. Raggruppa migliaia di transazioni insieme off-chain e genera una singola, piccola prova crittografica che conferma che tutte sono state eseguite correttamente.
Questa prova viene poi inviata a Ethereum, dove viene verificata rapidamente e a basso costo. Questo metodo riduce drasticamente il carico computazionale sulla chain principale, abbassando i costi e alleviando la congestione della rete.
Le STARK (Scalable Transparent Arguments of Knowledge) sono prove che permettono a un verificatore di avere fiducia che i calcoli siano stati eseguiti correttamente senza rieseguirli. Si differenziano da alcune tecniche a conoscenza zero concentrandosi sulla dimostrazione dell'integrità piuttosto che sull'occultamento degli input. I vantaggi principali includono l'assenza di trusted setup, una forte scalabilità con l'aumentare della computazione e scelte di design che aiutano a resistere a minacce crittografiche future.
Il processo di Starknet coinvolge tre componenti principali che lavorano insieme per spostare le transazioni dall'intento dell'utente al registro on-chain.
Il sequencer accetta le transazioni in arrivo, determina la validità (ad esempio rifiutando operazioni che falliscono per saldo insufficiente o firme non valide) e le assembla in batch. Poiché questo avviene off-chain, il sequencer può gestire più transazioni al secondo rispetto all'elaborazione di tutto su Ethereum.
Il prover registra i dettagli dei passaggi di esecuzione e i conseguenti cambiamenti di stato per un batch, quindi converte quella traccia di esecuzione in una prova STARK campionando e trasformando i dati. La prova risultante è un certificato matematico compatto che attesta che le transazioni sono state eseguite come dichiarato.
Una volta che una prova è pronta, questa e un riepilogo dello stato finale vengono inviati a Ethereum. Un contratto di verifica controlla la validità della prova e un contratto core aggiorna la rappresentazione on-chain dello stato di Starknet. Poiché la prova garantisce la correttezza, Ethereum non ha bisogno di rieseguire ogni transazione, risparmiando gas e tempo.
Starknet utilizza un linguaggio creato appositamente chiamato Cairo, ottimizzato per programmi verificabili con prove STARK. Cairo permette agli sviluppatori di scrivere smart contract e applicazioni scalabili senza una profonda competenza in crittografia. L'ecosistema include anche librerie e framework che semplificano la costruzione di interfacce utenti e logiche di gioco direttamente su Starknet.
Starknet supporta l'astrazione nativa degli account, che rende le app Web3 più simili ai prodotti Web2 moderni. Le funzionalità includono accessi in stile passkey che evitano le seed phrase, chiavi di sessione che permettono agli utenti di approvare più azioni con minore attrito e modelli di paymaster che consentono a terze parti o pagamenti ERC‑20 di coprire i costi delle transazioni.
Starknet è un Validity Rollup (spesso chiamato ZK-Rollup). Dimostra che le transazioni sono valide prima che vengano finalizzate su Ethereum. Questo significa che i prelievi e le interazioni sono rapidi, senza lunghi periodi di attesa.
Gli Optimistic Rollup assumono che le transazioni siano corrette per impostazione predefinita e prevedono un "periodo di challenge" in cui chiunque può presentare una "fraud proof" per contestare una transazione.
Il compromesso è semplice: le prove di validità offrono garanzie crittografiche immediate e più forti, mentre gli optimistic rollup sono spesso più facili da integrare con gli strumenti EVM esistenti.
Una delle scelte progettuali chiave di Starknet è che non è nativamente compatibile con l'Ethereum Virtual Machine (EVM). Ciò significa che i progetti sviluppati in Solidity, il linguaggio principale di Ethereum, non possono essere semplicemente copiati e incollati. Devono essere riscritti in Cairo o usare uno strumento specializzato per collegare i due ecosistemi.
Seppure Cairo sblocchi significativi benefici di performance, questo introduce una curva di apprendimento per i team profondamente radicati nello sviluppo EVM.
Il token nativo della rete, STRK, svolge diverse funzioni nel protocollo. I detentori possono partecipare alle decisioni di governance, STRK può essere usato per pagare l'elaborazione delle transazioni sulla rete e supporta modelli di staking in cui i detentori o gestiscono validatori o delegano token ai validatori per guadagnare ricompense.
Starknet è adatto a progetti che necessitano di elevato throughput e costi per transazione più bassi pur mantenendo solide garanzie di sicurezza on-chain — esempi includono giochi blockchain, sistemi DeFi su larga scala e servizi infrastrutturali. I team che scelgono Starknet dovrebbero valutare i vantaggi delle prove basate su STARK rispetto allo sforzo di adottare Cairo e al lavoro di migrazione richiesto.
Abbracciando le prove STARK e il suo stack tecnologico costruito su misura, Starknet offre una via unica e potente per scalare Ethereum. Per gli sviluppatori, la scelta implica valutare i suoi incredibili vantaggi in termini di performance ed esperienza utente rispetto allo sforzo necessario per uscire dall'ambiente EVM tradizionale.