La machine virtuelle Ethereum (EVM) est l'environnement d'exécution déterministe utilisé pour exécuter des contrats intelligents. Un contrat intelligent est un code déployé en chaîne qui peut lire l'état du contrat et le modifier via des transactions. L'EVM définit : (1) le jeu d'instructions exact (opcodes), (2) le modèle de mémoire et de stockage, et (3) les règles de comptabilité du gaz. Le déterminisme est essentiel : tous les nœuds complets doivent exécuter la même transaction et obtenir le même état résultant.
De la transaction à l'exécution