Operation of smart contracts in the EVM