Ethereum Virtual Machine (EVM) — детерминированная среда исполнения, которая запускает смарт-контракты. Смарт-контракт — это код, задеплоенный в сети, способный читать состояние и изменять его через транзакции. EVM задаёт: (1) точный набор инструкций (опкоды), (2) модель памяти и хранения и (3) правила учёта gas. Детерминизм критичен: все полные узлы должны исполнять одну и ту же транзакцию одинаково и получить один и тот же результат по состоянию.
От транзакции к выполнению