Algorand[1]} is a late-generation blockchain with a series of features, including high scalability and a fork-free consensus protocol based on Proof-of-Stake. Its smart contract layer (ASC1) aims to reduce the security risk of smart contracts, and adopts a non-Turing complete programming model, which natively supports transactional atomic sets and user-defined assets. These characteristics make it an intriguing smart contract platform to study.
