A smart contract is a program that runs on a blockchain. Smart contracts can have custom logic and their own method of keeping track of who owns what. They can be written with Rust and CosmWasm for Cosmos-based blockchains