Zk-EVM

Ambiente compatibile con l'esecuzione di Ethereum progettato per produrre prove a conoscenza zero sulla correttezza dei risultati calcolati.

Una zk-EVM esegue operazioni e smart contract secondo regole vicine a Ethereum e traduce il calcolo in vincoli dimostrabili. Un prover genera una prova compatta, mentre un contratto principale la verifica senza rieseguire ogni passaggio. La compatibilità permette di riusare codice e strumenti, ma i progetti differiscono per equivalenza, modifiche richieste e costo delle prove. Circuiti, memoria, operazioni crittografiche e aggiornamenti rendono difficile bilanciare fedeltà e prestazioni.