Crypto Currencies with Finite Supply