Ein Smart Contract ist ein mathematischer Vertrag, der mit einer Blockchain verknüpft wird und auf Grundlage seiner Programmierung eine Vereinbarung autark ausführt. Auf Bitcoin nennt man die dadurch betroffenen Coins Colored Coins. Die meistgenutzte, turingvollständige Programmiersprache für Smart Contracts auf Ethereum ist Solidity. Smart Contracts sind hochkomplex und auch von Programmierern nur schwer zu überprüfen. Einen Lösungsansatz bietet die Kryptowährung Tezos mit formal verifizierbaren Smart Contracts.