Algorand, The Public Ledger