Algorand: A secure and efficient distributed ledger[J] THEORETICAL COMPUTER SCIENCE 2019(777) Chen, Jing Micali, Silvio