Ethereum L2 · STARK ZK Rollup · Cairo VM · Attiva dal 2022
Starknet
STRK
StarkNet è un Layer 2 di Ethereum sviluppato da StarkWare, che usa STARK zero-knowledge proofs e una macchina virtuale Cairo appositamente creata per il calcolo provabile.
StarkNet usa gli STARK, una famiglia di prove a conoscenza zero che non richiedono una configurazione fidata, per verificare batch di transazioni su Ethereum. Il suo linguaggio di programmazione Cairo è progettato fin dall'inizio per essere provabile in modo efficiente, fornendo agli sviluppatori strumenti per scrivere programmi verificabili oltre ai semplici trasferimenti di token.
Total value locked (DeFi)
$185,7M
Valore bloccato nei protocolli DeFi su Starknet. Updated Jun 8, 2026. Fonte: DefiLlama.
StarkNet esegue le transazioni nella Cairo VM off-chain e genera prove STARK che vengono inviate a un contratto verificatore su Ethereum. Gli STARK sono resistenti al post-quantum e non richiedono una cerimonia di configurazione fidata, il che li distingue dai sistemi basati su SNARK. Il token STRK è stato lanciato a febbraio 2024 e viene usato per le commissioni sulle transazioni insieme a ETH.
Consensus: STARK ZK Rollup
StarkNet esegue le transazioni nella Cairo VM off-chain e genera prove STARK che vengono inviate a un contratto verificatore su Ethereum. Gli STARK sono resistenti al post-quantum e non richiedono una cerimonia di configurazione fidata, il che li distingue dai sistemi basati su SNARK. Il token STRK è stato lanciato a febbraio 2024 e viene usato per le commissioni sulle transazioni insieme a ETH.
Linguaggio di programmazione Cairo
Cairo è un linguaggio Turing-completo progettato per scrivere programmi la cui esecuzione può essere dimostrata in modo efficiente con gli STARK. Differisce da Solidity e richiede l'apprendimento di un nuovo paradigma, ma abilita calcoli provabili che Solidity non può esprimere.
Prove STARK
Le prove STARK sono trasparenti (nessuna configurazione fidata), resistenti al post-quantum e altamente scalabili. La dimensione della prova e il costo di verifica crescono logaritmicamente con la dimensione del calcolo, rendendo efficienti i batch molto grandi.
Astrazione degli account
Come zkSync Era, ogni account su StarkNet è uno smart contract. Questo è integrato nel protocollo anziché aggiunto come estensione, consentendo funzionalità avanzate del wallet per impostazione predefinita.
Token STRK
STRK è stato distribuito ai primi membri della community e ai contributor all'inizio del 2024. Viene usato per le commissioni gas e per lo staking nel modello di sequencer decentralizzato che StarkWare sta costruendo.
Ecosistema & utilizzo
A cosa serve Starknet.
StarkNet ha un ecosistema DeFi in crescita costruito principalmente con contratti Cairo, tra cui DEX, mercati di prestito e applicazioni che sfruttano il calcolo provabile per casi d'uso innovativi.
Scambia, presta e guadagna rendimento su StarkNet. Le commissioni sono inferiori alla mainnet di Ethereum e ogni cambiamento di stato viene verificato da una prova STARK su Ethereum.
Gaming provabile
Cairo abilita giochi on-chain in cui la logica di gioco può essere dimostrata corretta, aprendo meccaniche di gioco completamente verificabili non possibili con l'esecuzione ottimistica.
Identità e credenziali
Il sistema di prove di StarkNet può validare credenziali e affermazioni di identità senza rivelare i dati sottostanti, utile per applicazioni che preservano la privacy.
Calcolo su larga scala
Le prove STARK scalano bene con la dimensione del batch, quindi StarkNet è adatta alle applicazioni che devono verificare grandi quantità di calcolo su Ethereum.
Principali protocolli per TVL · aggiornato l'8 giu 2026
Cairo è il linguaggio per gli smart contract di StarkNet, progettato per scrivere programmi provabili. Come utente non è necessario conoscerlo; come sviluppatore dovrai imparare Cairo invece di Solidity, anche se la sintassi simile a Rust nelle versioni moderne di Cairo lo rende più accessibile.
In cosa differiscono gli STARK dagli SNARK?
Gli STARK non richiedono una cerimonia di configurazione fidata, rendendoli trasparenti. Sono anche resistenti al post-quantum. Il loro compromesso è rappresentato da dimensioni di prova maggiori rispetto agli SNARK, anche se il costo di verifica su Ethereum è simile.
Cos'è STRK?
STRK è il token nativo di StarkNet, lanciato a febbraio 2024. Viene usato per pagare le commissioni sulle transazioni e verrà usato per lo staking quando il sistema di sequencer decentralizzato di StarkNet sarà implementato.
Quanto tempo richiedono i prelievi da StarkNet?
La verifica delle prove ZK sostituisce la finestra di prove di frode ottimistica, quindi i prelievi sono più veloci degli optimistic rollups. La finalità dipende dalla generazione delle prove e dalla confirmation di Ethereum, tipicamente misurata in ore anziché in giorni.
Posso tenere STRK in Zypto App?
Non ancora. STRK non è in Zypto App. Puoi conservarlo in qualsiasi wallet non custodial e chiederci di aggiungere Starknet col pulsante «Richiedi Starknet».
