Individual Bitcoins (or multiples and fractions of a Bitcoin) are in fact tiny computer programs recorded on an open ledger and controlled by private cryptographic keys.