Starknet è una soluzione di scaling di Layer 2 progettata per migliorare la scalabilità, i costi e le prestazioni della blockchain Ethereum, mantenendone al contempo la sicurezza e la decentralizzazione [1]. Come validity rollup basato su tecnologia zk-Rollup, Starknet esegue le transazioni al di fuori della catena principale (off-chain) e invia a Ethereum una prova crittografica compatta, generata tramite il protocollo zk-STARK (Zero-Knowledge Scalable Transparent ARguments of Knowledge), che attesta la correttezza delle operazioni senza rivelarne il contenuto [2]. Questo approccio consente di elaborare migliaia di transazioni al secondo con commissioni estremamente ridotte, rendendo le interazioni accessibili a un pubblico più ampio. Il linguaggio di programmazione nativo Cairo, ottimizzato per la computazione provabile, permette agli sviluppatori di creare smart contract sicuri ed efficienti, mentre funzionalità come l’astrazione degli account e i ponti come StarkGate migliorano l’esperienza utente e l’interoperabilità [3]. Il token nativo della rete, STRK, svolge un ruolo fondamentale nel pagamento delle commissioni, nello staking per la sicurezza della rete e nella governance decentralizzata, incentivando la partecipazione della comunità [4]. L’ecosistema di Starknet è in rapida crescita, con oltre 190 progetti attivi in settori come DeFi, gaming on-chain, NFT e asset del mondo reale (RWA), sostenuti da programmi di finanziamento come il Propulsion Program e il DeFi Spring [5]. Innovazioni tecnologiche come l’esecuzione parallela delle transazioni, introdotta con l’aggiornamento “Bolt”, e il prover ultra-veloce S-two, posizionano Starknet come una delle soluzioni Layer 2 più avanzate e performanti [6]. Grazie a un modello economico bilanciato tra inflazione controllata, meccanismi di bruciatura delle fee e governance partecipativa, Starknet mira a diventare una piattaforma sostenibile, sicura e guidata dalla comunità per l’adozione di massa delle applicazioni blockchain.

Architettura e tecnologia di Starknet

Starknet rappresenta una soluzione di scaling di Layer 2 progettata per superare le limitazioni di throughput e costi della blockchain Ethereum, mantenendone al contempo la sicurezza e la decentralizzazione [1]. La sua architettura si basa su un approccio innovativo che combina prove crittografiche avanzate, un linguaggio di programmazione specializzato e ottimizzazioni di esecuzione parallela, posizionandola come una delle piattaforme Layer 2 più performanti nell'ecosistema Ethereum.

Architettura basata su zk-Rollup e prove STARK

Il fondamento tecnologico di Starknet è il modello di zk-Rollup (Zero-Knowledge Rollup), una soluzione che consente di eseguire migliaia di transazioni al di fuori della catena principale (off-chain) e di aggregarle in un unico pacchetto, il cui stato viene verificato su Ethereum tramite una prova crittografica compatta [1]. A differenza dei rollup ottimistici come Arbitrum o Optimism, che presuppongono la validità delle transazioni e prevedono un periodo di contestazione, Starknet utilizza prove di validità immediate, garantendo una finalità quasi istantanea delle transazioni [9].

La tecnologia chiave alla base di questo meccanismo è lo zk-STARK (Zero-Knowledge Scalable Transparent ARguments of Knowledge), un tipo avanzato di prova a conoscenza zero che attesta la correttezza delle computazioni senza rivelarne i dati sottostanti [10]. Queste prove sono generate da un prover che verifica l'esecuzione corretta di programmi scritti nel linguaggio Cairo e vengono poi inviate a un verificatore on-chain su Ethereum, dove possono essere convalidate in modo rapido ed efficiente [11].

Generazione, aggregazione e verifica delle prove STARK

Il processo di generazione delle prove STARK inizia con l'esecuzione di un programma Cairo sulla Cairo Virtual Machine, che produce una traccia di esecuzione passo dopo passo [12]. Questa traccia viene quindi aritmetizzata in un problema algebrico tramite l’Aritmetizzazione Interattiva (AIR), trasformando la correttezza della computazione in un insieme di vincoli polinomiali [13]. Il prover utilizza quindi il protocollo FRI (Fast Reed-Solomon Interactive Oracle Proof) per dimostrare che il polinomio risultante ha un grado basso, generando una prova STARK compatta e verificabile [14].

Per migliorare l'efficienza, Starknet implementa un sistema di aggregazione ricorsiva delle prove chiamato SHARP (Shared Prover), che combina molteplici prove STARK in una singola prova finale [15]. Questo approccio riduce drasticamente i costi di verifica su Ethereum, poiché il contratto verificatore deve convalidare una sola prova anziché centinaia o migliaia di singole attestazioni [16]. La prova aggregata viene infine inviata al verificatore on-chain, che ne convalida la correttezza e aggiorna lo stato di Starknet sulla blockchain principale [17].

Esecuzione parallela e ottimizzazione delle prestazioni

Un'innovazione chiave introdotta con l’aggiornamento “Bolt” nel 2024 è l’esecuzione parallela delle transazioni, che consente di elaborare operazioni indipendenti contemporaneamente [6]. A differenza di Ethereum, dove le transazioni sono generalmente eseguite in sequenza, questa ottimizzazione aumenta significativamente il throughput della rete, riducendo i tempi di conferma a circa 2 secondi [6]. Questo modello di esecuzione, unito al packing efficiente dei blocchi, permette a Starknet di raggiungere un record di 127 transazioni al secondo sostenute per 24 ore, con costi medi di soli 0,002 USD per transazione [20].

Inoltre, l’integrazione di EIP-4844 (Proto-Danksharding) ha ulteriormente ridotto i costi di disponibilità dei dati su Ethereum, abbattendo le commissioni fino a 100 volte e portandole a circa 0,017 USD per transazione [21]. Questa combinazione di ottimizzazioni rende Starknet altamente competitiva per applicazioni ad alta frequenza come DeFi e gaming on-chain.

Differenze architetturali rispetto ad altri Layer 2

Starknet si distingue nettamente dai rollup ottimistici come Optimism e Arbitrum non solo per il modello di validazione, ma anche per il linguaggio di programmazione e il modello di sviluppo. Mentre questi ultimi sono compatibili con la Ethereum Virtual Machine e supportano direttamente Solidity, Starknet richiede l’uso di Cairo, un linguaggio progettato specificamente per la computazione provabile e ottimizzato per generare prove STARK in modo efficiente [22]. Questo paradigma impone una curva di apprendimento più ripida per gli sviluppatori, ma offre vantaggi in termini di sicurezza, scalabilità e prestazioni a lungo termine [23].

Inoltre, Starknet mira a una completa decentralizzazione attraverso lo staking del token STRK, un modello che combina sicurezza, governance e incentivazione economica in modo integrato [24]. A differenza di molti Layer 2 che dipendono ancora da sequencer centralizzati, Starknet ha avviato un percorso verso un sistema multi-sequencer e validatori decentralizzati, riducendo il rischio di censura e single point of failure [25].

Prove zk-STARK e scalabilità

Le prove zk-STARK (Zero-Knowledge Scalable Transparent ARguments of Knowledge) sono alla base della scalabilità e della sicurezza di validity rollup come Starknet. A differenza di altre soluzioni di scaling, Starknet utilizza queste prove crittografiche avanzate per elaborare migliaia di transazioni al di fuori della catena principale di Ethereum e inviare a quest’ultima una prova compatta che ne attesta la validità, senza rivelarne il contenuto [1]. Questo approccio consente di superare il trilemma della blockchain — sicurezza, decentralizzazione e scalabilità — mantenendo al contempo un elevato livello di sicurezza grazie alla verifica on-chain su Ethereum [2].

Funzionamento delle prove zk-STARK

Il meccanismo di proof di Starknet si basa su un processo strutturato in tre fasi principali: generazione, aggregazione e verifica delle prove STARK. Quando un programma scritto nel linguaggio Cairo viene eseguito sulla Cairo Virtual Machine, produce una traccia di esecuzione che rappresenta lo stato del calcolo passo dopo passo [22]. Questa traccia viene trasformata in un problema algebrico attraverso un processo chiamato Aritmetizzazione Interattiva (AIR), che traduce la correttezza del calcolo in vincoli polinomiali [14].

Successivamente, un prover genera una prova STARK che dimostra matematicamente che l'esecuzione rispetta tutti i vincoli definiti dall'AIR. Questa prova è poi verificata da un contratto intelligente su Ethereum, noto come verificatore STARK, che convalida la correttezza della computazione senza doverla rieseguire [11]. Grazie alla brevità della prova, il costo computazionale della verifica è estremamente ridotto, consentendo a Starknet di scalare in modo efficiente [31].

Vantaggi rispetto ad altre tecnologie di scaling

La differenza principale tra Starknet e altre soluzioni di Layer 2, come Optimism o Arbitrum, risiede nel tipo di rollup utilizzato. Mentre queste ultime si basano su Optimistic Rollup, che presuppongono la validità delle transazioni a meno che non venga presentata una prova di frode entro un periodo di contestazione, Starknet è un zk-Rollup che richiede una prova di validità immediata [9]. Questo approccio elimina il bisogno di periodi di attesa lunghi (fino a 7 giorni), offrendo una finalità quasi istantanea e una sicurezza equivalente a quella di Ethereum [33].

Inoltre, rispetto ad altri zk-rollup come zkSync, che utilizzano prove zk-SNARK, Starknet si distingue per l’uso delle zk-STARK, che non richiedono un trusted setup iniziale. Questo le rende completamente trasparenti e più adatte a sistemi decentralizzati, in cui la minimizzazione della fiducia è fondamentale [34].

Scalabilità e prestazioni

Grazie all’uso delle zk-STARK, Starknet può elaborare migliaia di transazioni al secondo con tempi di conferma ridotti a circa 2 secondi, grazie a ottimizzazioni come l’esecuzione parallela delle transazioni introdotta con l’aggiornamento “Bolt” [6]. Questa capacità di elaborare transazioni indipendenti contemporaneamente aumenta drasticamente il throughput della rete, rendendola ideale per applicazioni ad alta frequenza come DeFi e gaming on-chain [36].

Inoltre, Starknet utilizza sistemi di aggregazione ricorsiva delle prove come SHARP (Shared Prover), che consente di combinare molteplici prove STARK in una singola prova compatta [15]. Questo approccio riduce significativamente i costi di verifica su Ethereum, poiché la rete principale deve verificare una sola prova invece di centinaia di singole prove [16].

Sfide e ottimizzazioni delle prove STARK

Nonostante i vantaggi, le zk-STARK presentano alcune sfide, tra cui tempi di generazione più lunghi e prove più grandi rispetto alle zk-SNARK. Tuttavia, Starknet sta affrontando questi limiti con innovazioni tecnologiche come il prover S-two, che è oltre 100 volte più veloce del precedente prover Stone [39]. S-two utilizza tecniche avanzate come Circle STARK e ottimizza l’uso di hardware standard, consentendo una generazione di prove estremamente rapida e scalabile [40].

Per ridurre ulteriormente i costi di verifica, Starknet sta sviluppando soluzioni come STARKPack, progettato per comprimere ulteriormente le prove e velocizzare il processo di verifica [41]. Inoltre, l’integrazione di EIP-4844 (blobs) ha permesso di abbassare i costi di pubblicazione dei dati a circa 0,017 USD per transazione, grazie alla riduzione del costo della disponibilità dei dati [21].

Sicurezza e correttezza dello stato

La correttezza dello stato su Starknet è garantita dalle proprietà matematiche delle zk-STARK. Ogni aggiornamento di stato è accompagnato da una prova che attesta la sua validità, e solo gli stati corretti possono essere accettati. Questo sistema assicura che non sia possibile validare transazioni fraudolente, mantenendo la sicurezza di Ethereum [2].

Inoltre, le zk-STARK sono considerate resistenti ai computer quantistici, poiché si basano su funzioni hash crittografiche e algebra lineare, a differenza delle zk-SNARK che dipendono da assunzioni vulnerabili agli attacchi quantistici [44]. Questa proprietà rende Starknet una soluzione più sostenibile a lungo termine in termini di sicurezza crittografica [34].

Conclusione

Le prove zk-STARK rappresentano il pilastro tecnologico che consente a Starknet di offrire un’architettura di scaling altamente efficiente, sicura e trasparente. Grazie alla combinazione di generazione, aggregazione e verifica delle prove, Starknet riesce a ridurre drasticamente il carico su Ethereum, aumentando il throughput delle transazioni e mantenendo costi ridotti per gli utenti [46]. Con l’introduzione di ottimizzazioni come S-two, SHARP e EIP-4844, Starknet si posiziona come una delle soluzioni Layer 2 più avanzate e scalabili nell’ecosistema Ethereum, in grado di supportare applicazioni decentralizzate complesse e ad alta intensità di transazioni [47].

Linguaggio Cairo e sviluppo di smart contract

Il linguaggio Cairo è il cuore del processo di sviluppo di smart contract su Starknet, progettato specificamente per abilitare la computazione provabile e ottimizzato per generare prove crittografiche efficienti basate su zk-STARK [22]. A differenza dei linguaggi tradizionali per blockchain, Cairo è stato concepito per soddisfare le esigenze uniche dei sistemi a conoscenza zero, consentendo agli sviluppatori di costruire applicazioni sicure, scalabili e performanti. Il suo design permette di eseguire calcoli complessi off-chain e di verificare solo la correttezza del risultato sulla blockchain di Ethereum, riducendo drasticamente i costi di gas e aumentando il throughput delle transazioni.

Sintassi, paradigma e differenze rispetto a Solidity

Cairo si distingue significativamente da linguaggi come Solidity, utilizzato su Ethereum Virtual Machine (EVM), non solo per la sintassi ma anche per il paradigma di esecuzione. Il linguaggio è fortemente ispirato a Rust, con una sintassi moderna, sicurezza nel tipo di dati e supporto per generici, pattern matching e gestione degli errori [49]. A partire da Cairo 1.0, rilasciata nel 2022, il linguaggio ha introdotto un linguaggio intermedio chiamato Sierra, che astrae l'esecuzione per essere compatibile con i sistemi di prova zero-knowledge, migliorando la sicurezza, la stabilità e l'usabilità [50].

Una delle differenze fondamentali è il modello di memoria write-once: ogni cella di memoria può essere scritta una sola volta, prevenendo modifiche inattese e migliorando la prevedibilità dell'esecuzione [51]. Questo approccio elimina molte vulnerabilità comuni in ambienti EVM, come il reentrancy e l'overflow, rendendo i contratti più sicuri per design. Inoltre, Cairo 1.0 è Turing-completo, permettendo cicli e ricorsione controllata, ma con vincoli di tempo e risorse per garantire che le prove possano essere generate in modo efficiente [23].

Vantaggi di Cairo per lo sviluppo su Starknet

L'adozione di Cairo porta numerosi vantaggi chiave per gli sviluppatori che operano su Starknet. Il principale è l'efficienza computazionale: grazie alla generazione di prove STARK, è possibile eseguire calcoli complessi off-chain e verificare solo la correttezza del risultato on-chain, ottenendo un risparmio di gas fino a 5x rispetto ai sistemi tradizionali [53]. Benchmark indicano che Cairo può ridurre i costi del 20-30% rispetto a cicli equivalenti in ambienti EVM [54].

Un altro vantaggio è la migliorata sicurezza. Il modello di memoria write-once e il sistema di tipi rigoroso riducono significativamente il rischio di bug critici. Inoltre, il 74% degli sviluppatori Starknet preferisce Cairo 1.0 rispetto alla versione precedente, citando miglioramenti nella sicurezza e nell'esperienza di sviluppo [55]. Il linguaggio incoraggia un approccio più formale e verificabile, riducendo la probabilità di errori logici e vulnerabilità nascoste.

Sfide e nuove classi di vulnerabilità

Nonostante i vantaggi, Cairo introduce una curva di apprendimento ripida, specialmente per sviluppatori abituati a Solidity. Passare da un modello di esecuzione diretta a uno basato su prove richiede un cambiamento di paradigma significativo [56]. Gli sviluppatori devono familiarizzare con concetti come la memoria write-once, l'assenza di mutabilità libera e il funzionamento interno del sistema di proof.

Inoltre, Cairo presenta nuove classi di vulnerabilità specifiche:

  • Felt overflow/underflow: Cairo utilizza il tipo felt (field element) per rappresentare numeri in un campo finito. Operazioni aritmetiche non controllate possono causare overflow, portando a comportamenti imprevisti [57].
  • Errori logici nel control flow: a causa della complessità della generazione delle prove, errori nella logica del programma possono essere difficili da rilevare senza test approfonditi [58].
  • Problemi di ottimizzazione del gas: anche se il gas è inferiore, una cattiva progettazione del contratto può portare a prove più costose da verificare [59].

Strumenti essenziali per lo sviluppo in Cairo

L'ecosistema di sviluppo per Cairo è ricco e in rapida evoluzione, con strumenti progettati per supportare ogni fase del ciclo di vita di una dApp. Il package manager e build toolchain ufficiale è Scarb, simile a Cargo in Rust, che semplifica la gestione delle dipendenze, la compilazione e il testing dei progetti Cairo [60]. È uno strumento fondamentale per lo sviluppo moderno su Starknet.

Altri strumenti chiave includono:

  • Starknet.js: una libreria JavaScript/TypeScript che permette di interagire con la rete Starknet dal frontend o dal backend, fornendo un’API completa per deployare contratti, gestire transazioni e integrare wallet come ArgentX o Braavos [61].
  • Starknet Foundry: un ambiente di sviluppo rapido e performante, ispirato a Foundry per Ethereum, che fornisce strumenti per testare, deployare e debuggare smart contract in Cairo [62].
  • Starkweb: un toolkit all-in-one che offre astrazioni sull’API JSON-RPC di Starknet, supporto per smart contract, gestione ABI e integrazione con framework come Hardhat e Anvil [63].
  • Walnut: uno strumento di debugging e simulazione di transazioni che permette agli sviluppatori di testare e analizzare il comportamento dei contratti in ambiente sicuro prima del deploy [64].

Per il testing, è possibile scrivere test unitari direttamente in Cairo usando l'annotazione #[test], con macro come assert! e assert_eq! per verificare i risultati [65]. Tuttavia, il testing di integrazione richiede framework come Starknet Foundry o Protostar, che possono essere complessi da configurare [66].

Best practice per lo sviluppo e ottimizzazione del codice

Per massimizzare l'efficienza delle dApp, è fondamentale ottimizzare il codice scritto in Cairo. Tecniche come il bit-packing permettono di ridurre i costi di storage combinando più valori in un singolo intero, utilizzando operatori bitwise per manipolarli [67]. L'inlining delle funzioni elimina l'overhead di chiamata, migliorando le prestazioni, specialmente per funzioni piccole e frequentemente chiamate [68].

Si raccomanda inoltre l'uso del metodo declareAndDeploy() fornito da Starknet.js, che combina la dichiarazione della classe del contratto e il deployment dell'istanza in un unico passaggio, semplificando il processo e ottimizzando i costi [69]. Il riutilizzo di classi di contratti dichiarate per creare più istanze riduce ulteriormente i costi fissi. Infine, l'adozione di librerie pre-auditate come quelle di OpenZeppelin per Starknet e l'uso di strumenti di verifica formale sono essenziali per prevenire bug critici [70].

Token STRK: economia e governance

Il token STRK è il pilastro fondamentale del modello economico di Starknet, svolgendo un ruolo centrale in tre aree principali: pagamento delle commissioni di transazione, sicurezza della rete tramite staking e governance decentralizzata. A differenza di molti token di altri Layer 2 che si limitano a funzioni di governance o incentivi, STRK integra queste funzionalità in un ecosistema coerente progettato per promuovere decentralizzazione, sicurezza e partecipazione della comunità [71].

Pagamento delle commissioni e meccanismo di bruciatura

STRK è uno dei due token accettati per il pagamento delle commissioni di transazione su Starknet, insieme a Ethereum (ETH). Gli utenti devono detenere STRK per interagire con smart contract, effettuare trasferimenti o utilizzare servizi nell’ecosistema. Questo meccanismo crea una domanda continua per il token, legata direttamente all’attività della rete. Una parte significativa delle fee pagate in STRK viene permanentemente rimossa dalla circolazione attraverso un processo di burning, che contribuisce a bilanciare l’inflazione derivante dal rilascio graduale dei token bloccati. Questo equilibrio tra inflazione controllata e deflazione tramite bruciatura mira a sostenere il valore del token nel lungo termine e a incentivare l’holding piuttosto che la semplice speculazione [71].

Staking e sicurezza della rete

Il modello di sicurezza di Starknet si basa su un sistema di proof-of-stake (PoS) in cui il token STRK è utilizzato per garantire l’integrità della rete. A partire dal 2024, con l’approvazione della proposta di governance SNIP-18, è stato introdotto lo staking del token STRK, un passo fondamentale verso la completa decentralizzazione della rete [73]. Per partecipare come validatore, è richiesto un minimo di 20.000 STRK in staking e la gestione di un nodo completo. Gli utenti possono anche delegare il proprio stake a validatori esistenti, ricevendo una quota delle ricompense generate. Queste ricompense incentivano la partecipazione attiva e aumentano la sicurezza decentralizzata del sistema. La Fase 1 dello staking è stata lanciata sulla mainnet nel novembre 2024, seguita da una Fase 2 nel 2025 che ha ulteriormente rafforzato il modello, permettendo ai detentori di token di ricevere una parte delle commissioni di rete e di esercitare un ruolo diretto nella governance [74], [75]. Il sistema include anche meccanismi di penalizzazione (slashing) per comportamenti scorretti o inattività prolungata, rafforzando l'affidabilità del processo di validazione [76].

Governance decentralizzata e potere decisionale

STRK è il token di governance di Starknet, abilitando un modello di decision-making decentralizzato. I detentori di STRK possono partecipare a votazioni su proposte di aggiornamento del protocollo, modifiche alle politiche di staking, allocazione di fondi della comunità e altre questioni strategiche. La governance si basa su un sistema di voto ponderato, dove il peso di ciascun voto è proporzionale alla quantità di STRK posseduta o staked dall'utente. Per votare, gli utenti devono convertire i propri STRK in vSTRK (voting STRK), una versione "avvolta" del token che abilita la funzione di governance tramite il Governance Hub [77]. Nel settembre 2024, Starknet ha lanciato Snapshot X, un protocollo di voto completamente onchain che consente votazioni senza costi di gas, incoraggiando una partecipazione più ampia e inclusiva [78]. Il primo voto onchain ha riguardato l'implementazione dello staking ed è stato approvato dalla comunità, dimostrando come il possesso di STRK conferisca un potere decisionale reale e tangibile sulla direzione futura della rete [79].

Distribuzione iniziale e meccanismi di incentivazione

La distribuzione iniziale del token STRK è stata una delle più ampie nella storia delle blockchain. L'airdrop, iniziato il 20 febbraio 2024, ha coinvolto circa 1,3 milioni di wallet eleggibili, distribuendo circa 700 milioni di STRK (7% dell'offerta totale di 10 miliardi) a early user, sviluppatori attivi e contributori del protocollo [80]. Questo approccio inclusivo ha rafforzato l'adozione e la decentralizzazione fin dall'inizio. Il piano di sblocco prevede il rilascio di circa 127 milioni di STRK al mese fino a marzo 2027, per gestire l'inflazione in modo sostenibile [81]. Per incentivare ulteriormente la crescita, Starknet ha lanciato programmi come il Propulsion Program (fino a 1 milione di dollari in rimborsi per i costi di gas per progetti di gaming), il Seed Grant Program (fino a 25.000 USDC per progetti in fase iniziale) e DeFi Spring (fino a 90 milioni di STRK per incentivare l'ecosistema DeFi), seguito da DeFi Spring 2.0 con ulteriori 50 milioni di STRK [82], [83], [84]. Nel 2025, è stato introdotto BTCFi Season, con 100 milioni di STRK dedicati a incentivare l'integrazione del Bitcoin nell'ecosistema DeFi della rete [85].

Rischi economici e sostenibilità a lungo termine

Nonostante il suo design ambizioso, il modello tokenomico di Starknet presenta rischi economici significativi. L'inflazione del token STRK, derivante dal programma di sblocco esteso, rappresenta una preoccupazione principale. Un evento critico si è verificato nel 2026, quando è stato sbloccato oltre il 52% dell'offerta totale in pochi mesi, generando pressioni di vendita e cali di prezzo [86]. Per mitigare questo rischio, la comunità ha approvato un meccanismo di staking dinamico che regola il tasso di emissione in base alla percentuale di token staked, con un tetto massimo del 4% annuo [87]. Un altro rischio è la concentrazione della proprietà, poiché una parte significativa dell'offerta è controllata da entità centralizzate come la Starknet Foundation e i contributori interni, il che potrebbe portare a manipolazione di mercato o a una "plutocrazia" nella governance [88]. La sostenibilità a lungo termine dipenderà dalla capacità del sistema di generare utilità reale e ricavi interni, come le commissioni di transazione, che possano sostenere gli incentivi senza ricorrere esclusivamente all'emissione di nuovi token. Al momento, circa 921,6 milioni di STRK sono staked, creando un equilibrio dinamico tra inflazione e deflazione [71].

Ecosistema e casi d'uso principali

L’ecosistema di Starknet è in rapida espansione, con oltre 190 progetti attivi che sfruttano la sua architettura scalabile e sicura basata su zk-Rollup per costruire applicazioni innovative in settori chiave della blockchain. Grazie alla capacità di elaborare migliaia di transazioni al secondo a costi estremamente ridotti, Starknet si è affermato come una piattaforma di riferimento per lo sviluppo di dApp (applicazioni decentralizzate) ad alta performance, in grado di supportare interazioni complesse senza compromettere la sicurezza della Ethereum mainnet [5]. L’ecosistema è sostenuto da programmi di finanziamento come il Propulsion Program e il DeFi Spring, che incentivano l’innovazione e l’adozione da parte di sviluppatori e utenti [84].

Finanza Decentralizzata (DeFi)

La DeFi rappresenta uno dei settori più sviluppati su Starknet, grazie ai costi ridotti e all’efficienza computazionale offerti dall’architettura zk-STARK. Numerosi protocolli offrono servizi finanziari avanzati come prestiti, scambi decentralizzati, aggregazione di rendimenti e derivati. Tra i progetti più rilevanti:

  • Vesu: un protocollo di prestito aperto che consente agli utenti di depositare asset per guadagnare interessi o prendere in prestito criptovalute, con token come vETH e vUSDC [92].
  • Re7 Labs: un aggregatore di rendimenti che automatizza lo yield farming e la gestione della liquidità, semplificando l’accesso a strategie complesse di DeFi [93].
  • StarkFi: una piattaforma completa che integra prestiti, trading, stablecoin e yield farming, con un focus sulla sicurezza attraverso sovracollateralizzazione [94].

Inoltre, Starknet ospita protocolli di scambio come 10KSwap, un AMM (Automatic Market Maker) Layer 2 molto attivo, e Extended, un DEX per derivati perpetui ad alte prestazioni [95][96].

Gaming On-Chain

Starknet si sta affermando come una delle principali piattaforme per il gaming on-chain, grazie al supporto del motore Dojo e a iniziative come il Propulsion Program, un programma di finanziamento da 1 milione di dollari lanciato dalla Starknet Foundation per sostenere studi di gaming [97]. La capacità di eseguire logica di gioco completamente sulla blockchain consente trasparenza, proprietà reale degli asset e interoperabilità tra giochi. Tra i progetti più noti:

  • Starknet-Arcade (Arcadino): un’arena multiplayer completamente on-chain con giochi come Coin Flip, Roulette e Rock Paper Scissors, progettata per offrire gameplay trasparente e senza gas [98].
  • Loot Survivor e Influence: giochi strategici in cui tutta la logica è eseguita sulla blockchain, dimostrando la capacità di Starknet di gestire interazioni complesse [99].
  • Realms World: un gioco di strategia e gestione di risorse completamente decentralizzato, sviluppato su Starknet [100].
  • StarkFantasy League: una piattaforma di fantasy football basata su Web3 che permette di creare squadre e competere con premi reali [101].

Nel febbraio 2025, Starknet ha lanciato la sua prima catena di app dedicata ai giochi, segnando un passo importante nell’espansione del settore [102].

NFT e Mercati Digitali

Starknet supporta la creazione e lo scambio di NFT con costi ridotti e maggiore efficienza, rendendolo ideale per mercati digitali ad alto volume. Progetti come Starklotto, una lotteria decentralizzata basata su NFT, e marketplace che utilizzano aste olandesi per la vendita di asset digitali, sfruttano la capacità della rete di gestire migliaia di transazioni in modo rapido e economico [103][104].

Pagamenti e Interoperabilità

Starknet sta espandendo il suo utilizzo anche nei pagamenti globali e nell’interoperabilità cross-chain. Ad esempio:

  • Due: una soluzione di pagamento internazionale che utilizza Starknet per consentire transazioni rapide e a basso costo [105].
  • Integrazione con la Lightning Network di Bitcoin: gli utenti di Starknet possono ora pagare con il token STRK sulla rete Lightning, aprendo nuove possibilità per pagamenti istantanei e a costo zero [106].

Asset del Mondo Reale (RWA)

Un caso d’uso innovativo è la tokenizzazione di RWA. Carbonable, ad esempio, utilizza Starknet per gestire crediti di carbonio verificabili e trasparenti, dimostrando l’applicabilità della rete in ambiti di sostenibilità e finanza verde [107].

Infrastruttura e Sviluppo

Starknet supporta anche strumenti fondamentali per gli sviluppatori e gli utenti, come:

  • Braavos Wallet: uno dei portafogli più avanzati della rete, con integrazione nativa per molte dApp e funzionalità di sicurezza avanzate [108].
  • StarkOverflow: una piattaforma di domande e risposte decentralizzata, ispirata a Stack Overflow, che incentiva la condivisione della conoscenza nella comunità [109].
  • Starkpay: un’applicazione per generare fatture e interagire con servizi DeFi e NFT [110].

L’ecosistema di Starknet dimostra la sua versatilità come piattaforma di scalabilità per Ethereum. Dalla DeFi al gaming, dai pagamenti alla gestione di asset reali, Starknet sta costruendo un ecosistema robusto e diversificato, sostenuto da programmi di sviluppo, miglioramenti tecnologici come il prover ultra-veloce S-two e una crescente comunità di sviluppatori [111].

Sicurezza e decentralizzazione

Starknet è progettato per affrontare il trilemma della blockchain — sicurezza, decentralizzazione e scalabilità — mantenendo un equilibrio tra questi tre pilastri fondamentali. A differenza di molte soluzioni Layer 2 che sacrificano uno di questi elementi, Starknet mira a preservare la sicurezza di Ethereum mentre aumenta drasticamente la scalabilità e avanza verso una completa decentralizzazione. Il suo approccio si basa su tecnologie avanzate come le prove zk-STARK, un modello di governance partecipativa e meccanismi di sicurezza progettati per essere il più possibile trustless.

Correttezza dello stato e sicurezza tramite zk-STARK

La sicurezza di Starknet deriva direttamente dall'uso delle prove a conoscenza zero di tipo zk-STARK (Zero-Knowledge Scalable Transparent ARguments of Knowledge), che garantiscono matematicamente la correttezza delle transazioni senza richiedere un trusted setup. Ogni aggiornamento dello stato della rete è accompagnato da una prova crittografica che attesta che tutte le operazioni sono state eseguite correttamente secondo le regole del protocollo [112]. Questo processo si basa su tre fasi principali:

  1. Aritmetizzazione Interattiva (AIR): Le computazioni vengono tradotte in vincoli algebrici sotto forma di un Algebraic Intermediate Representation (AIR), trasformando la correttezza del calcolo in un problema verificabile tramite polinomi [14].
  2. Generazione della prova: Un prover genera una prova STARK che dimostra che l'esecuzione rispetta tutti i vincoli dell'AIR, senza rivelare i dati sottostanti.
  3. Verifica on-chain: La prova viene inviata a un contratto verificatore su Ethereum, che la convalida in modo estremamente efficiente, garantendo che solo stati validi possano essere accettati.

Questo sistema rende Starknet un validity rollup, in cui la sicurezza è equivalente a quella di Ethereum, poiché ogni modifica di stato deve essere verificata criptograficamente prima di essere considerata valida [2].

Aggregazione delle prove e disponibilità dei dati

Per ottimizzare ulteriormente l'efficienza, Starknet utilizza un sistema di aggregazione ricorsiva delle prove chiamato SHARP (Shared Prover), che combina molteplici prove STARK in una singola prova composita [15]. Questo approccio riduce significativamente i costi di verifica on-chain, poiché Ethereum deve convalidare una sola prova invece di migliaia di singole verifiche. L'architettura ricorsiva permette anche una scalabilità sostenibile anche con un volume elevato di transazioni [16].

La disponibilità dei dati (data availability) è anch'essa fondamentale per prevenire attacchi di censorship o withholding. Starknet pubblica tutti i dati delle transazioni su Ethereum (o su soluzioni esterne di data availability), assicurando che qualsiasi nodo possa ricostruire lo stato completo della rete [117]. Inoltre, il supporto a EIP-4844 (Proto-Danksharding) ha ridotto drasticamente i costi di pubblicazione dei dati, portando le fee medie a circa $0,017 per transazione [21].

Privacy e conformità regolamentare

L'architettura di Starknet integra la privacy direttamente nel suo stack tecnologico, sfruttando appieno le proprietà delle zk-STARK. Queste prove non rivelano informazioni sensibili sui dati sottostanti, proteggendo la privacy delle transazioni [119]. Progetti come STRK20 permettono di rendere privati i token ERC-20 su Starknet, nascondendo saldo, mittente, destinatario e dettagli delle transazioni [120]. Inoltre, l'integrazione di tecnologie come Nightfall, sviluppata da EY, abilita transazioni confidenziali per le istituzioni su blockchain pubbliche, mantenendo al contempo la conformità regolamentare grazie a meccanismi di auditing selettivo [121].

Decentralizzazione del sequencer e del sistema di proving

Nonostante Starknet si basi su garanzie matematiche solide, la sua sicurezza end-to-end dipende anche dal grado di decentralizzazione del sistema. Attualmente, il sequencer e il prover principale sono ancora gestiti centralmente da StarkWare, introducendo un punto unico di fallimento [122]. Tuttavia, il progetto ha intrapreso un percorso strutturato verso la piena decentralizzazione, delineato nel suo Decentralization Roadmap del 2025 [123].

Misure chiave includono:

  • Architettura multi-sequencer (Grinta): Con l’aggiornamento "Starknet Grinta", sono stati introdotti tre sequencer indipendenti che operano in consenso, riducendo la dipendenza da un singolo operatore [25].
  • Staking del token STRK: A partire dal 2024, il programma di staking ha raccolto oltre 100 milioni di token STRK dalla comunità, abilitando un modello di sicurezza basato sul consenso economico [73].
  • Sviluppo di S-two: Il lancio di S-two, il nuovo prover di StarkWare, ha migliorato l’efficienza e la velocità della generazione delle proof, ponendo le basi per un futuro modello di proving distribuito [111].

Governance decentralizzata e sicurezza operativa

La governance di Starknet è progettata per trasferire progressivamente il controllo del protocollo alla comunità. Il token STRK svolge un ruolo centrale in questo processo, conferendo diritti di voto proporzionali alla quantità detenuta [24]. Gli utenti possono convertire i propri STRK in vSTRK (voting STRK) per partecipare alle votazioni su proposte di aggiornamento del protocollo, modifiche alle politiche di staking e allocazione di fondi [77].

Nel 2024, è stato lanciato Snapshot X, un protocollo di voto completamente onchain che permette votazioni senza costi di gas, incoraggiando una partecipazione più ampia e inclusiva [78]. Inoltre, il Starknet Security Council, composto da 12 membri indipendenti, supervisiona gli upgrade critici della rete, richiedendo una maggioranza del 75% per azioni di emergenza, come rollback o patch critiche [130].

Rischi e best practice per sviluppatori

Nonostante i vantaggi, Starknet presenta rischi legati a bug di implementazione, come l'incoerenza tra il layer di esecuzione (blockifier) e il layer di proof, che ha causato un'interruzione di 18 minuti nel gennaio 2026 [131]. Per prevenire tali incidenti, gli sviluppatori sono incoraggiati a:

  • Utilizzare librerie auditate come quelle di OpenZeppelin per Starknet [70].
  • Applicare il pattern "checks-effects-interactions" per evitare attacchi di reentrancy.
  • Validare rigorosamente i messaggi tra Layer 1 ed Layer 2 per prevenire replay e manipolazioni [58].
  • Eseguire test rigorosi con strumenti come Starknet Foundry e Caracal, un framework di analisi statica per contratti in Cairo [134].

Monitoraggio della sicurezza e strumenti raccomandati

Per proteggersi da minacce come il front-running o la censura, utenti e operatori di nodo possono utilizzare strumenti di monitoraggio avanzati:

  • Starknet Monitor (starknet-monitor.com): Fornisce dati in tempo reale sullo stato della rete, inclusi blocchi prodotti e tassi di revert [135].
  • Starkscan (starkscan.co): Block explorer per esplorare transazioni e contratti [136].
  • Escape Hatch: Meccanismo che consente agli utenti di ritirare i fondi direttamente da Ethereum in caso di censura [137].

In sintesi, Starknet combina sicurezza matematica, privacy avanzata e un percorso chiaro verso la decentralizzazione, posizionandosi come una delle soluzioni Layer 2 più robuste e future-proof nell'ecosistema Ethereum.

Strumenti per sviluppatori e tooling

Lo sviluppo di applicazioni decentralizzate (dApp) su Starknet richiede un ecosistema di strumenti avanzati progettati per supportare ogni fase del ciclo di vita del software: dalla scrittura del codice all’interazione con la rete. Grazie a un’architettura basata su prove a conoscenza zero (zk-STARK) e al linguaggio di programmazione Cairo, il tooling di Starknet si distingue per efficienza, sicurezza e innovazione. Gli sviluppatori dispongono di un insieme completo di strumenti per compilare, testare, deployare e interagire con smart contract, facilitando la creazione di applicazioni scalabili e sicure.

Linguaggio Cairo e strumenti di sviluppo principali

Il linguaggio principale per lo sviluppo su Starknet è Cairo, progettato specificamente per la computazione provabile e ottimizzato per generare prove zk-STARK in modo efficiente [22]. Cairo 1.0, rilasciato nel 2022, ha introdotto un linguaggio intermedio chiamato Sierra che migliora la stabilità, la sicurezza e la verificabilità dei contratti [50]. Il linguaggio adotta un modello di memoria "write-once", che previene modifiche non autorizzate e aumenta la prevedibilità dell’esecuzione, riducendo il rischio di vulnerabilità comuni come reentrancy o overflow.

Per supportare lo sviluppo in Cairo, sono disponibili strumenti fondamentali:

  • Scarb: Il package manager e toolchain ufficiale per Cairo, simile a Cargo in Rust. Scarb gestisce dipendenze, compila progetti, esegue test e semplifica il processo di build, diventando uno strumento essenziale per lo sviluppo moderno [60].
  • Cairo Playground: Un ambiente online che permette di sperimentare con il linguaggio Cairo senza configurare un ambiente locale, ideale per l’apprendimento e la prototipazione rapida [22].
  • Estensioni per VS Code: Estensioni integrate per l’editor di codice più diffuso, che offrono sintassi highlighting, autocompletamento e debugging, migliorando notevolmente l’esperienza di sviluppo [142].

Framework e CLI per testing e deployment

Il flusso di sviluppo su Starknet è supportato da framework completi che semplificano testing, deployment e interazione con la rete. Tra i più utilizzati:

  • Starknet Foundry: Un ambiente di sviluppo ispirato a Foundry per Ethereum, che fornisce strumenti per testare, deployare e debuggare contratti in Cairo. Include comandi per simulare transazioni, eseguire test unitari e gestire script di deployment, ed è sviluppato dalla comunità con ampio supporto [62].
  • Protostar: Un framework per lo sviluppo di smart contract che offre un sistema di gestione progetti con protostar.toml, supporto per il Universal Deployer Contract (UDC) e integrazione con devnet per testing locale. È particolarmente utile per team che richiedono pipeline di testing automatizzate [144].
  • Starkli: Un client CLI scritto in Rust che permette di interagire rapidamente con la rete Starknet. Starkli supporta comandi per dichiarare e deployare contratti, inviare transazioni e gestire wallet locali come ArgentX o Braavos. Grazie all’uso di starknet-rs, è estremamente veloce e affidabile [145].

Esempio di utilizzo di Starkli:

starkli declare ./target/dev/contract.json --account my_wallet
starkli deploy --class-hash <hash> --network goerli-1

Integrazioni con l'ecosistema Ethereum

Per facilitare l’adozione da parte di sviluppatori già esperti di Ethereum, sono state sviluppate integrazioni con strumenti esistenti:

  • Starknet.js: Una libreria JavaScript/TypeScript che permette di interagire con la rete Starknet dal frontend o dal backend. Fornisce un’API completa per deployare contratti, gestire transazioni e integrare wallet. È ampiamente utilizzata per costruire interfacce utente per dApp [61].
  • Hardhat per Starknet: Plugin che permettono di utilizzare Hardhat, un framework popolare per lo sviluppo su Ethereum, per operazioni su Starknet. Inclusi strumenti come starknet-hardhat-plugin e hardhat-starknetjs, che consentono di mantenere un’unica codebase per gestire sia Ethereum che Starknet [147].
  • hardhat-warp: Uno strumento di transpilazione che consente di portare contratti scritti in Solidity su Starknet, facilitando la migrazione di progetti esistenti [148].

Strumenti per testing, debug e monitoraggio

La sicurezza e l’affidabilità delle dApp su Starknet dipendono da un testing rigoroso e da strumenti di debug avanzati:

  • Walnut: Uno strumento di debugging e simulazione di transazioni che permette di testare il comportamento dei contratti in un ambiente sicuro prima del deploy. Aiuta a identificare errori logici e vulnerabilità specifiche di Cairo, come felt overflow [64].
  • snforge: Uno strumento per inizializzare progetti e testare contratti in modo semplice, con supporto per test unitari direttamente in Cairo usando l’annotazione #[test] [150].
  • Starknet Devnet: Un ambiente di sviluppo locale che simula la rete Starknet, utile per testare dApp in un contesto isolato prima del rilascio su testnet o mainnet [151].

Per il monitoraggio della sicurezza e delle prestazioni, sono disponibili:

  • Starknet Monitor: Una piattaforma che fornisce dati in tempo reale sullo stato della rete, inclusi blocchi prodotti, tassi di revert e latenza RPC [135].
  • Starkscan: Un block explorer che permette di esplorare transazioni, contratti e indirizzi, utile per verificare l’attività della rete e la trasparenza delle operazioni [136].
  • Caracal: Un framework di analisi statica per contratti in Cairo, sviluppato per identificare vulnerabilità prima del deployment [134].

Flusso di sviluppo consigliato

Un flusso di sviluppo tipico su Starknet include:

  1. Setup iniziale con Scarb per creare il progetto Cairo.
  2. Sviluppo del contratto in Cairo, con test unitari e integrazione.
  3. Deploy locale con Protostar o Starkli su devnet.
  4. Integrazione frontend con Starknet.js o React.
  5. Testing end-to-end con Scaffold-Stark, un template completo per sviluppare dApp full-stack [155].
  6. Deploy su testnet/mainnet tramite Starkli o script Hardhat.
  7. Monitoraggio e interazione con strumenti come Starknet Monitor e Starkscan.

In sintesi, l’ecosistema di tooling di Starknet combina innovazione e praticità, offrendo agli sviluppatori un insieme moderno e potente di strumenti per costruire dApp sicure, scalabili e interoperabili, sfruttando appieno il potenziale delle prove a conoscenza zero [156].

Ottimizzazione delle prestazioni e costi

L'ottimizzazione delle prestazioni e dei costi è un pilastro fondamentale dell'architettura di Starknet, progettata per risolvere il trilemma della blockchain — sicurezza, decentralizzazione e scalabilità — senza compromessi. Grazie a un approccio tecnologico avanzato, Starknet riesce a mantenere costi di transazione estremamente bassi e prestazioni elevate, rendendo le applicazioni decentralizzate (dApp) accessibili a un pubblico di massa. Questo risultato è ottenuto attraverso una combinazione di innovazioni architetturali, meccanismi economici e strumenti di sviluppo mirati a massimizzare l'efficienza.

Modello di fee e struttura dei costi

Il modello di fee di Starknet è progettato per riflettere accuratamente l'uso delle risorse di sistema, coprendo i costi operativi senza generare profitto [157]. Le commissioni sono suddivise in due componenti principali: costi di Layer 1 e costi di Layer 2. I costi L1 sono principalmente legati alla pubblicazione dei dati di disponibilità sulla blockchain di Ethereum, che rappresentano circa il 95% delle spese totali di transazione [158]. I costi L2 riguardano invece l'esecuzione computazionale all'interno del rollup, inclusi i passaggi Cairo e l'uso di risorse come memoria e calcolo.

Questa distinzione permette una trasparenza economica e una gestione mirata delle spese, consentendo agli sviluppatori di ottimizzare le proprie dApp in base al tipo di operazione eseguita. Ad esempio, operazioni computazionalmente intense possono essere ottimizzate per ridurre il consumo di risorse L2, mentre transazioni che richiedono elevata disponibilità dei dati possono beneficiare di soluzioni come la modalità Volition.

Strategie di riduzione dei costi

Per ridurre ulteriormente i costi, Starknet ha implementato diverse strategie innovative. L'integrazione di EIP-4844, che introduce blob di dati più economici su Ethereum, ha permesso di abbattere drasticamente i costi di archiviazione dei dati su L1, portando le fee medie a circa 0,017 USD per transazione [21]. Questa modifica ha avuto un impatto significativo, riducendo le commissioni fino a 100 volte rispetto ai livelli precedenti [160].

La modalità Volition offre agli sviluppatori la flessibilità di scegliere se rendere i dati di una transazione pubblici su L1 (on-chain) o privati e disponibili solo off-chain. Questa opzione consente di ottimizzare i costi in base alle esigenze di privacy e trasparenza dell'applicazione, riducendo drasticamente le commissioni quando non è necessaria la disponibilità pubblica dei dati [161].

Inoltre, l'aggiornamento V0.13.2, noto come "Bolt", ha introdotto tempi di conferma delle transazioni di circa 2 secondi e ha ridotto i costi fissi di L1 fino al 66% grazie a miglioramenti come l'esecuzione parallela e un migliore packing dei blocchi [6]. Questi cambiamenti aumentano l'efficienza complessiva della rete e contribuiscono a ridurre i costi per utente.

Ottimizzazione del codice Cairo

Per massimizzare l'efficienza delle dApp, è fondamentale ottimizzare il codice scritto in Cairo, il linguaggio specifico per smart contract su Starknet. Una tecnica efficace è il bit-packing, che consiste nel combinare più valori in un singolo intero e utilizzare operatori bitwise (come shift e mask) per manipolarli. Questo approccio minimizza il numero di slot di storage necessari, riducendo così le spese di gas associate alle operazioni di scrittura [67].

Un'altra pratica consigliata è l'inlining delle funzioni, che sostituisce le chiamate a funzione con il corpo effettivo della funzione, eliminando l'overhead di chiamata e migliorando le prestazioni, anche se può aumentare leggermente la dimensione del codice. Questa tecnica è particolarmente utile per funzioni piccole e frequentemente chiamate [68].

Strumenti di sviluppo per l'ottimizzazione

L'uso di strumenti specifici è essenziale per diagnosticare in tempo reale, profilare le prestazioni e testare in modo efficiente. Starkli, un client CLI scritto in Rust, è particolarmente performante e ottimizzato per operazioni rapide sulla rete [165]. Strumenti come l'estensione VS Code per Cairo, Starknet.js e Starkli permettono un monitoraggio continuo delle prestazioni e un'ottimizzazione mirata del codice [145].

Per il deployment efficiente, si raccomanda l'uso del metodo declareAndDeploy() fornito da Starknet.js, che combina la dichiarazione della classe del contratto e il deployment dell'istanza in un unico passaggio, semplificando il processo e ottimizzando i costi [69]. Inoltre, è possibile riutilizzare classi di contratti dichiarate per creare più istanze, riducendo ulteriormente i costi fissi.

Limitazioni attuali e roadmap futura

Nonostante i progressi, Starknet affronta ancora sfide operative, tra cui interruzioni di rete prolungate che sollevano preoccupazioni sulla stabilità e affidabilità. Episodi di downtime, come quelli verificatisi nel 2025 e nel 2026, indicano che la gestione operativa e la resilienza della rete rimangono aree di miglioramento [168]. Il roadmap tecnico prevede interventi per migliorare scalabilità e ridurre la latenza, con obiettivi come tempi di finalità inferiori a un'ora [47].

Starknet si conferma come una delle soluzioni Layer 2 più efficienti in termini di costi, con commissioni medie di circa $0,0231 USD all'inizio del 2025 [170]. Attraverso l'adozione di strategie come l'uso di Volition, l'ottimizzazione del codice Cairo e l'integrazione di EIP-4844, gli sviluppatori possono ridurre significativamente i costi operativi delle loro dApp. L'ecosistema continua a evolversi con aggiornamenti mirati a migliorare prestazioni, scalabilità e affidabilità, posizionando Starknet come una piattaforma competitiva e sostenibile per lo sviluppo di applicazioni decentralizzate di prossima generazione.

Riferimenti