A smart contract is a computerized transaction protocol that executes the terms of a contract. - Szabo, 1994