Smart contracts are typically written in specialized programming languages tailored for blockchain platforms. Two commonly used languages are:

1. Solidity: Developed for Ethereum, Solidity is the most popular language for writing smart contracts. It's statically typed and supports inheritance, libraries, and complex user-defined types. Solidity code is compiled into bytecode that runs on the Ethereum Virtual Machine (EVM).

2. Chaincode (Go): Chaincode is the term used for smart contracts on the Hyperledger Fabric blockchain platform. Chaincode is typically written in Go (Golang), although other languages like JavaScript are also supported. Chaincode defines the business logic of a blockchain network, specifying how assets are transferred and updated.