Each operation in the Ethereum Virtual Machine (EVM) has a cost defined by the protocol. Miners verify that each transaction has paid the necessary amount and any transaction that pays too little will not be included in a block.