Che cos’è una Prova a Conoscenza Zero?
La tecnologia di prova a conoscenza zero (Zero Knowledge Proof, ZKP) non era prevista al momento del lancio di Ethereum nel 2014. Tuttavia, negli ultimi anni l’interesse per questa tecnologia è cresciuto e si prevede che avrà un ruolo importante nell’industria della blockchain. Gli sforzi per combinare la tecnologia ZKP e l’EVM (la macchina virtuale di Ethereum) sono stati intensificati, e zkEVM ne è il risultato.
Cos’è uno zk-Rollup?
Gli zk-rollups sono soluzioni di scalabilità che condensano molteplici esecuzioni di transazioni al di fuori della blockchain principale e restituiscono i dati alla rete principale sotto forma di singola transazione. Uno zk-rollup utilizza la crittografia Zero Knowledge Proof (ZKP) per validare un’informazione senza rivelare l’informazione stessa. Così, gli zk-rollups non hanno bisogno di pubblicare tutti i dati di transazione sulla rete principale Ethereum, riducendo così le spese di gas.
Cos’è l’EVM?
La macchina virtuale Ethereum (EVM) è una macchina di stato che alimenta il sistema di contabilità e gli smart contract di Ethereum. Ogni esecuzione di smart contract provoca la transizione dell’EVM da uno stato vecchio a uno stato nuovo. L’EVM definisce la regola per calcolare i nuovi stati validi da un blocco all’altro.
Lo zkEVM è un processo che riproduce l’ambiente Ethereum in zk-rollups, calcolando tutte le transazioni e producendo uno stato aggiornato e una prova ZKP. Questa prova viene sottoposta a un contratto intelligente di verifica che verifica la correttezza delle uscite degli stati iniziali e nuovi senza verificare tutte le transazioni individualmente.
Quali sono i Diversi Tipi di zkEVM?
Diversi tipi di zkEVM sono stati identificati da Vitalik Buterin, fondatore di Ethereum. Potrebbe essere che in futuro il numero di tipi di zkEVM aumenti, ma per ora ecco la lista:
- I tipi 1 sono completamente equivalenti a Ethereum, ma i tempi di prova possono essere lunghi.
- I tipi 2 sono completamente equivalenti alla macchina virtuale Ethereum (EVM), ma i tempi di prova possono essere lunghi. La differenza con il tipo 1 significa che tutti gli altri componenti di Ethereum non sono emulati nello zkEVM, solo la macchina virtuale.
- Il tipo 2.5 ha costi di gas leggermente inferiori, ma può richiedere modifiche allo sviluppo.
- Il tipo 3 sacrifica alcune funzionalità per una generazione di prova più facile.
- Il tipo 4 è progettato per linguaggi di alto livello e ha tempi di prova più rapidi.
Quali Implicazioni per l’Ecosistema Ethereum?
I sviluppatori possono facilmente portare le DApps e gli smart contract Ethereum verso gli zkEVM, poiché gli zkEVM si basano sull’EVM. Esistono diversi tipi di zkEVM, con compromessi tra l’efficienza delle prestazioni ZKP e la compatibilità dell’EVM.
L’implementazione di zkEVM estende il supporto del calcolo ZKP all’esecuzione degli smart contract, estendendo così le DApps a tutti i protocolli compatibili con l’EVM. La tecnologia ZKP potrebbe potenzialmente essere compatibile con i casi d’uso di Web2, rendendo le applicazioni Web3 più fluide e accessibili per l’utente. Potrebbe anche permettere agli utenti abituati ai browser internet tradizionali di accedere a Web3, promuovendo così l’adozione di Web3.
In conclusione, zkEVM rappresenta un passo avanti significativo per Ethereum e l’intero ecosistema blockchain. Con la sua capacità di migliorare la scalabilità e l’efficienza, zkEVM potrebbe aprire la strada a nuove opportunità e innovazioni nel settore delle criptovalute.
