Smart contracts sunt programe inviolabile pe blockchain cu următoarea logică: „dacă/când are loc x eveniment, atunci executați acțiunea y”. Un contract inteligent poate avea mai multe condiții diferite și o aplicație poate avea mai multe contracte inteligente diferite pentru a susține un set interconectat de procese. Există, de asemenea, mai multe limbaje de contract inteligente pentru programare, Ethereum Solidity fiind cea mai populară.
‍
Orice dezvoltator poate crea un smart contract și îl poate implementa într-un blockchain public pentru propriile scopuri, de exemplu, un agregator de randament personal care își transferă automat fondurile către aplicația cu cele mai mari venituri. Cu toate acestea, multe contracte inteligente implică mai multe părți independente care se cunosc sau nu și nu au neapărat încredere una în alta. Un smart contract definește exact modul în care utilizatorii pot interacționa cu acesta, implicând cine poate interacționa cu contractul inteligent, la ce oră și ce intrări rezultă în ce ieșiri. Rezultatul sunt acorduri digitale multipartite care evoluează de la starea probabilistă de astăzi, unde probabil se vor executa după cum se dorește, la o nouă stare deterministă în care se garantează că se vor executa conform codului lor.