Smart contracts are programs which execute on a blockchain, every step of their execution is checked as a part of the blockchain’s Consensus Protocol, ensuring that no individual party can maliciously or erroneously alter the result of running a smart contract.
Some examples of smart contract programming languages are:
- Solidity
- Vyper
- Michelson
- Liquidity
- Scilla
- DeepSEA