L. Goodman, Tezos: A self-amending crypto-ledger, 2014.