Panoramica su Linea e zkEVM
Linea è un layer‑2 (L2) secondo il modello zk‑rollup, gestisce la maggior parte delle transazioni "off-chain" e poi invia le informazioni verificate tramite prove (proof) sulla mainnet di Ethereum.
Linea utilizza prove a conoscenza zero per verificare che le transazioni L2 siano valide senza rivelare i dettagli della transazione.
La rete Linea è altamente compatibile con Ethereum: equivalente all'EVM, supporta la maggior parte degli opcode, quindi i contratti Solidity esistenti possono essere facilmente migrati su Linea senza molte modifiche.
Linea è un zkEVM di Tipo‑2, ovvero equivalente all'EVM reale ma utilizza prove zk per garantire la correttezza.
Modalità di funzionamento tecnico
1. Raccolta delle transazioni (Sequencing)
Le transazioni degli utenti vengono raccolte dal sequencer, ordinate in un “batch” e creano il blocco L2, definendo il nuovo stato della chain L2.
2. Esecuzione off-chain
Le transazioni vengono eseguite off-chain per calcolare il nuovo stato, generando esecuzioni.
L'esecuzione off-chain aiuta a ridurre i costi rispetto all'elaborazione di ogni transazione da parte di un nodo Ethereum mainnet.
3. Creazione della prova (zk-Proof generation)
Utilizzare zk-SNARK per creare prove che le transazioni nel batch siano state eseguite correttamente.
Linea utilizza il meccanismo “proof stack” ricorsivo per ottimizzare le prestazioni, raggruppando più sub-proof in un'unica prova.
Ha un meccanismo di compressione dei dati per ridurre le dimensioni dei dati da caricare su Ethereum, mentre la prova può essere decompressa durante la verifica.
4. Verifica on-chain
La prova e il nuovo stato vengono inviati a un contratto intelligente su Ethereum.
Contratto di verifica della prova: se valido, il nuovo stato viene accettato, la rete L2 finalizza il batch.
Ethereum mainnet deve solo verificare la prova senza conoscere i dettagli della transazione, risparmiando gas.
5. Sicurezza & costi
Non è necessario attendere il “periodo di prova di frode” come negli optimistic rollup, prelievi più rapidi.
Commissioni di gas basse grazie al batch di molte transazioni e dati compressi.
Combinare zk-SNARK e crittografia a rete per garantire la correttezza e la resistenza quantistica.
6. Amichevole per gli sviluppatori
L'equivalenza EVM consente agli sviluppatori Ethereum di portare contratti su Linea senza modificare il codice.
Supporto per strumenti di sviluppo familiari come MetaMask, Truffle, Infura.
Piano per la decentralizzazione del sequencer e del prover in futuro.
Caratteristiche distintive di Linea zkEVM
Velocità & alte prestazioni grazie all'elaborazione off-chain.
Costi di transazione bassi rispetto a Ethereum mainnet.
Alta sicurezza con zk-SNARK + crittografia a rete.
Esperienza di sviluppo familiare, facile migrazione dei contratti Ethereum.
Prelievi rapidi, più sicuri rispetto agli optimistic rollups.
Ha un grande potenziale di decentralizzazione nel futuro.
