Algorand: Instant Finality, DeFi, Staking Rewards, and Tokenization