Algorand, The Public Ledger - Silvio Micali