Cardano employs a multi-layered approach to smart contract execution, with smart contracts being executed off-chain in a virtual machine called Plutus Core, which is then compiled into a low-level intermediate representation (LLIR) and subsequently into a machine-readable format for execution on the blockchain.