La máquina virtual Ethereum (EVM) es el entorno de ejecución determinista utilizado para ejecutar contratos inteligentes. Un contrato inteligente es un código implementado en cadena que puede leer el estado del contrato y cambiarlo mediante transacciones. El EVM define: (1) el conjunto de instrucciones exacto (códigos de operación), (2) el modelo de memoria y almacenamiento, y (3) las reglas de contabilidad de gas. El determinismo es esencial: todos los nodos completos deben ejecutar la misma transacción y obtener el mismo estado resultante.