Zk-EVM

Macchina virtuale Ethereum abbinata a prove a conoscenza zero: esegue gli stessi smart contract ma li comprime in dimostrazioni sintetiche verificabili velocemente.

L'obiettivo è ottenere rollup equivalenti a Ethereum nella semantica ma con scalabilità molto superiore. Ogni transazione viene eseguita dal sequencer, che produce una prova zk attestante la correttezza del risultato. Ethereum la verifica in pochi millisecondi invece di rieseguire tutto. Progetti come zkSync Era, Scroll, Polygon zkEVM e Linea competono su livelli di equivalenza rispetto alla EVM canonica, bilanciando compatibilità e velocità di generazione delle prove.