Algorand Explained

Currency Name:Algorand
Image 1:Algorand mark.svg
Ticker Symbol:ALGO
Symbol:ALGO
White Paper:https://arxiv.org/abs/1607.01341
Initial Release Date:April 2019
Code Repository:https://github.com/algorand
Status:Active
Author:Silvio Micali
Developer:Algorand, Inc.
Ledger Start:June 2019
Supply Limit:10,000,000,000 Algo

Algorand is a proof-of-stake blockchain and cryptocurrency. Algorand's native cryptocurrency is called ALGO.

History

Algorand is a blockchain platform founded in 2017 by Silvio Micali, a computer scientist and professor at the Massachusetts Institute of Technology (MIT).[1] [2]

Algorand's test network was launched to the public in April 2019.[3] Following successful testing and refinements, the main Algorand network was officially launched in June 2019.[4]

As with other proof of stake blockchains, Algorand uses significantly less energy consumption per transaction than proof of work blockchains such as bitcoin.

Governance

Algorand is composed of the company Algorand, a private corporation based in Boston,[5] and the nonprofit Algorand Foundation Ltd., incorporated in Singapore.[6] [7]

Algorand Foundation Ltd. manages award funding, cryptographic research, on-chain governance, and decentralization of the Algorand network including nodes.[8] The core development of the Algorand protocol is overseen by Algorand Inc..

Algorand Foundation Ltd. is led by CEO Staci Warden.[9]

Algorand Foundation Ltd. issues quarterly votes for the stakes of ALGO to vote on.[10] These proposals include implementation of DeFi.[11] [12] [13] [14]

Design

Algorand claims to solve the "blockchain trilemma": the claim that any blockchain system can have at most two of three desirable properties: decentralization, scalability, and security. A system with all three could run on nodes that each have only moderate consumer-grade resources (i.e., does not need a data center or large cluster of virtual machines), has transaction processing which scales with the total network resources (rather than the resources available per-node), and could not be subverted by attackers who individually possess a large fraction of the network's total resources.[15]

Consensus algorithm

Algorand uses a Byzantine agreement protocol that leverages proof of stake.[16] [17] [18] As long as a supermajority of the stake is in non-malicious hands, the protocol can tolerate malicious users, achieving consensus without a central authority.

Consensus on Algorand requires three steps to propose, confirm, and write the block to the blockchain.[19] The steps are proposed soft vote and certified vote.

The first phase (the block proposal phase) uses proof of stake principles. During this phase, a committee of users in the system is selected randomly, though in a manner that is weighted, to propose the new block. The selection of the committee is made via a process called "cryptographic sortition", where each user determines whether they are on the committee by locally executing a Verifiable random function (VRF). If the VRF indicates that the user is chosen, the VRF returns a cryptographic proof that can be used to verify that the user is on the committee. The likelihood that a given user will be on the committee is influenced by the number of ALGO tokens held by that user (the stake).[20] [21]

After determining a user is on the block selection committee, that user can build a proposed block and disseminate it to the network for review/analysis during the second phase. The user includes the cryptographic proof from the VRF in their proposed block to demonstrate committee membership.[20] [21]

In the second phase (the block finalization phase), a Byzantine Agreement protocol (called "BA*") is used to vote on the proposed blocks. In this second phase, a new committee is formed via cryptographic sortition. When users have determined that they are in this second-phase voting committee, they analyze the proposed blocks they have received (including verification of first-phase committee membership) and vote on whether any of the blocks should be adopted. If the voting committee achieves consensus on a new block, then the new block is disseminated across the network.[22] [23]

Within the Algorand consensus algorithm, membership in both committees changes every time the phase is run. This protects users against targeted attacks, as an attacker will not know in advance which users are going to be on a committee. Two different Algorand blocks must reach consensus in a different round.[24] [25] According to an external security audit, the model also accounts for timing issues and adversary actions, e.g., when the adversary has control over message delivery.[26]

Notes and References

  1. Web site: Zhao. Helen. 2018-02-23. Bitcoin and blockchain consume an exorbitant amount of energy. These engineers are trying to change that. 2021-04-03. CNBC. en.
  2. Web site: 2018-02-15. MIT professor debuts high-speed blockchain payments platform Algorand. 2021-04-03. VentureBeat. en-US.
  3. Web site: Algo VC Fund Raises $200M to Fast-Track Its Own Cryptocurrency. 2021-04-03. www.bizjournals.com.
  4. Web site: 2019-10-23. Bahrain's Shariah Review Bureau Certifies Blockchain Firm Algorand As Shariah Compliant. 2021-04-03. Crowdfund Insider. en-US.
  5. Web site: Algorand, Inc. : OpenCorporates . 2023-05-29 . opencorporates.com . en.
  6. Web site: Personal Data and Privacy Policies . 2023-05-29 . algorand.com . en.
  7. Web site: Algorand Foundation Ltd. : OpenCorporates . 2023-05-29 . opencorporates.com . en.
  8. Web site: Algorand Foundation announces global winners for its $50M blockchain research and education programme . 2022-09-28 . www.algorand.foundation.
  9. Web site: Our Team . 2023-05-29 . www.algorand.foundation . en.
  10. Web site: Governance . 2022-10-02 . www.algorand.foundation . en.
  11. Web site: Community governance period4 voting measures . 2022-10-02 . www.algorand.foundation . en.
  12. Web site: Morini . Massimo . 2022-07-15 . Algorand Community Governance: Period 2 Review . 2022-10-02 . Algorand Foundation . en.
  13. Web site: Morini . Massimo . 2022-07-15 . Algorand Community Governance: Period 3 Review . 2022-10-02 . Algorand Foundation . en.
  14. Web site: Community governance period3 voting measure 1 DeFi Participants . 2022-10-02 . www.algorand.foundation . en.
  15. Lepore. Cristian. Ceria. Michela. Visconti. Andrea. Rao. Udai Pratap. Shah. Kaushal Arvindbhai. Zanolini. Luca. 14 October 2020. A Survey on Blockchain Consensus with a Performance Comparison of PoW, PoS and Pure PoS. Mathematics. en. 8. 10. 1782. 10.3390/math8101782. free. 2434/773710. free.
  16. Bartoletti. Massimo. A formal model of Algorand smart contracts. Financial Cryptography and Data Security 2021. 2020. 2009.12140.
  17. Xiao. Y.. Zhang. N.. Lou. W.. Hou. Y. T.. 28 January 2020. A Survey of Distributed Consensus Protocols for Blockchain Networks. IEEE Communications Surveys and Tutorials. 22. 2. 1432–1465. 10.1109/COMST.2020.2969706. 1904.04098. 102352657. 1553-877X.
  18. Wan. Shaohua. Li. Meijun. Liu. Gaoyang. Wang. Chen. 2020-11-01. Recent advances in consensus protocols for blockchain: a survey. Wireless Networks. en. 26. 8. 5579–5593. 10.1007/s11276-019-02195-0. 213063001. 1572-8196.
  19. Web site: Algorand consensus - Algorand Developer Portal.
  20. Xiao. Y.. Zhang. N.. Lou. W.. Hou. Y. T.. 28 January 2020. A Survey of Distributed Consensus Protocols for Blockchain Networks. IEEE Communications Surveys and Tutorials. 22. 2. 1432–1465. 1904.04098. 10.1109/COMST.2020.2969706. 1553-877X. 102352657.
  21. Wan. Shaohua. Li. Meijun. Liu. Gaoyang. Wang. Chen. 2020-11-01. Recent advances in consensus protocols for blockchain: a survey. Wireless Networks. en. 26. 8. 5579–5593. 10.1007/s11276-019-02195-0. 1572-8196. 213063001.
  22. Xiao. Y.. Zhang. N.. Lou. W.. Hou. Y. T.. 28 January 2020. A Survey of Distributed Consensus Protocols for Blockchain Networks. IEEE Communications Surveys and Tutorials . 22. 2. 1432–1465. 1904.04098. 10.1109/COMST.2020.2969706. 1553-877X. 102352657.
  23. Wan. Shaohua. Li. Meijun. Liu. Gaoyang. Wang. Chen. 2020-11-01. Recent advances in consensus protocols for blockchain: a survey . Wireless Networks. en. 26. 8. 5579–5593. 10.1007/s11276-019-02195-0 . 1572-8196. 213063001.
  24. Chen. Jing. Micali. Silvio. 2019-07-19. Algorand: A secure and efficient distributed ledger. Theoretical Computer Science. In memory of Maurice Nivat, a founding father of Theoretical Computer Science - Part I. en. 777. 155–183. 10.1016/j.tcs.2019.02.001. 126593426. 0304-3975. free.
  25. 2019-07-19. Algorand: A secure and efficient distributed ledger. Theoretical Computer Science. en. 777. 155–183. 10.1016/j.tcs.2019.02.001. 0304-3975. Chen. Jing. Micali. Silvio. free.
  26. Book: Alturki. Musab A.. Chen. Jing. Luchangco. Victor. Moore. Brandon. Palmskog. Karl. Peña. Lucas. Roşu. Grigore. 2020. Towards a Verified Model of the Algorand Consensus Protocol in Coq. Formal Methods. FM 2019 International Workshops. Lecture Notes in Computer Science. 12232. 362–367. 10.1007/978-3-030-54994-7_27. 1907.05523. 978-3-030-54993-0. 196471153.