The smart-contracts Ethereum are listed in the Blockchain Ethereum in their compiled form called the bytecode. The bytecode is an efficient but incomprehensible language for humans, that is why developers do not code directly in bytecode but rather in solidity or vyper, which are more accessible languages that compile in bytecode. It is then executed in EVM (Ethereum Virtual Machine).