Quando falamos de smart contracts, referimo-nos geralmente a programas que garantem o cumprimento de um acordo entre duas ou mais partes. Inicialmente, o conceito foi utilizado para designar descrições formais, sem ambiguidade semântica, que poderiam atuar como um garante de um acordo sem necessidade de terceiros.
O termo smart contracts tornou-se generalizado e é agora utilizado para descrever todos os tipos de programas cuja lógica pode ser executada num sistema com tecnologia blockchain.
Assim, por outras palavras, costumamos chamar aos smart contracts pequenos programas com tarefas diferentes mas que têm em comum o facto de “viverem em blockchain” e cuja correta execução está garantida pela natureza deste tipo de tecnologia.
Mais informações: