Smart Contract

A program the ledger runs and records the result of, so its behaviour can be checked afterwards by anyone reading the chain. Neither smart nor a contract; it is code with a public audit trail.