Smart contracts are written in a programming language such as Solidity, which is the most popular. The source code is converted into an intermediate language (bytecode) and deployed on the blockchain.