Смарт-контракт - исполняемая программа, размещаемая в распределённой среде (обычно в блокчейне) и реализующая набор формализованных условий. Контракт хранит состояние и может инициировать операции при выполнении заданных условий, а ход исполнения фиксируется в реестре. Поскольку выполнение зависит от кода и транзакций, результаты получают характер предсказуемости в рамках заданной логики смарт-контракта.