Home Open Access Tracking Project (OATP) peter.suber's bookmarks Tezos — a self-amending crypto-ledger White paper (Sept 2014)