알고랜드

Algorand
알고랜드
Algorand mark.svg
액면가
기호ALGO
코드파이탈, 틸
개발
원본 작성자실비오 미칼리
백서https://arxiv.org/abs/1607.01341
초기 릴리즈2019년 4월
코드 저장소https://github.com/algorand
개발여부활동적인
기록 위치TEAL, 리치, Java, PyTeal, Python, GO, Rust
개발자알고랜드 주식회사
원장
원장시작2019년 6월
블록타임4.5초
블록 탐색기https://algoexplorer.io/
순환공급6,956,615,108.96 알고(2022-03-02)
공급한도천만 알고

알고란드는 블록체인의 3가지 요소를 해결하려는 의도로 확장성을 위해 선택된 컨센서스 메커니즘을 가진 순수한 지분증거형 블록체인 암호화폐 프로토콜이다.[1]알고랜드 플랫폼은 스마트 계약을 지원하며,[2] 그 합의 알고리즘은 지분 증명과 비잔틴 협정 프로토콜에 기초한다.[1][3][4]알고랜드의 토종 암호화폐는 ALGO라고 불린다.

역사

알고란드는 MIT의 실비오 미칼리 교수가 2017년 설립한 회사다.[5][6] 알고란드는 기업과 재단으로 구성돼 있다.알고랜드 재단은 노드를 포함한 알고랜드 네트워크의 생태계 성장, 수상 기금, 암호 연구 프라이머티컬, 온체인 거버넌스 및 분산화를 관리한다.알고랜드 프로토콜의 핵심 개발은 보스턴에 본사를 둔 민간법인 알고랜드가 총괄한다.

알고랜드 시험망은 2019년 4월 일반에 공개됐고,[7] 본망은 2019년 6월 출범했다.[8]

리서치

알고랜드재단은 암호학자 탈 라빈(Tal Rabin)이 이끄는 암호학과 컴퓨터 과학을 위한 핵심 블록체인 연구팀이 입주한 산하 기관이다.[9]

이 연구팀의 또 다른 주목할 만한 멤버로는 크레이그 젠트리, 휴고 크라크지크, 샤이 헤일비 등이 있다.

디자인

알고랜드는 어떤 블록체인 시스템이라도 분권화, 확장성, 보안이라는 세 가지 바람직한 특성 중 최대 두 가지를 가질 수 있다는 주장, 즉 블록체인의 3가지 요소를 해결하기 위한 것이다.3개 모두를 갖춘 시스템은 각각 중간 수준의 소비자 수준 리소스만 가지고 있는 노드(즉, 데이터 센터나 가상 머신의 큰 클러스터가 필요하지 않음), 총 네트워크 리소스(노드당 사용 가능한 리소스 대신)에 따라 확장되는 트랜잭션 처리를 가지고 있으며, 개별적으로 pp를 사용하는 공격자에 의해 하위 변환될 수 없다.네트워크 전체 자원의 상당 부분을 차지하다.[1][10]

컨센서스 알고리즘

알고란드는 지분증명서를 활용하는 분권형 비잔틴 협정 프로토콜을 사용한다.지분의 다수가 악의적이지 않은 손에 있는 한, 프로토콜은 악의적인 사용자들을 용인할 수 있어 중앙 권한 없이도 합의를 이룰 수 있다.

알고랜드에 대한 컨센서스는 블록체인을 제안,[11] 확인, 작성하기 위해 3단계가 필요하다.그 단계들은 제안되고, 투표하고, 투표 인증된다.

제1단계(블록제안 단계)는 이해관계의 증명원칙을 사용한다.이 단계 동안 시스템 내 사용자 위원회는 가중치가 부여되는 방식으로 무작위로 선정되어 새로운 블록을 제안한다.위원회 선정은 각 사용자가 검증 가능한 무작위 기능(VRF)을 국지적으로 실행해 위원회 참여 여부를 결정하는 '크립토그래픽 구분'이라는 과정을 거쳐 이뤄진다.VRF가 사용자를 선택했다고 표시하면 VRF는 사용자가 위원회에 있는지 검증하는 데 사용할 수 있는 암호화 증명을 반환한다.특정 사용자가 위원회에 참여할 가능성은 해당 사용자가 보유한 알고 토큰 수(지분)에 의해 영향을 받는다.[1][12][13]

사용자가 블록선정위원회에 있다고 결정한 후, 해당 사용자는 2단계에서 검토/분석을 위해 제안된 블록을 구축하여 네트워크에 배포할 수 있다.사용자는 VRF의 암호증명을 제안된 블록에 포함시켜 위원회 멤버십을 증명한다.[12][13]

2단계(블록 최종화 단계)에서는 비잔틴 협정 프로토콜("BA*"라고 함)을 사용하여 제안된 블록에 대해 투표한다.이 2단계에서는 암호 분류를 통해 새로운 위원회가 구성된다.이용자들은 본 2단계 투표위원회에 소속되어 있다고 판단했을 때, 자신이 받은 제안 블록(1단계 위원회 멤버 자격 검증 포함)을 분석하고, 블록 중 채택 여부를 투표한다.만약 투표 위원회가 새로운 블록에 대한 합의를 이룬다면, 새로운 블록은 네트워크를 통해 전파된다.[1][14][15]

알고랜드 컨센서스 알고리즘 내에서는 단계가 실행될 때마다 두 위원회의 멤버십이 바뀐다.이것은 공격자가 어떤 사용자가 위원회에 있는지 미리 알 수 없기 때문에 표적형 공격으로부터 사용자를 보호한다.[1]서로 다른 두 알고랜드 블록은 같은 라운드에서 합의에 도달할 수 없다.[16][17]외부 보안 감사에 따르면, 이 모델은 시기 문제와 적대적 조치(예: 상대방이 메시지 전달을 통제할 수 있는 경우)에 대해서도 설명한다.[18]

스마트 계약

알고랜드의 스마트 계약은 ASC1(알고랜드 스마트 계약)으로 알려져 있다.알고란드는 계약을 '스마트 계약'과 '스마트 서명'의 두 가지 주요 범주로 구분한다.스마트 서명은 상태 비저장, 본질적으로 첨부된 논리가 있는 단순한 트랜잭션이다; '진정한' 스마트 계약은 지속적이다.작성된 계약의 종류에 따라 프로그램의 논리를 평가하는 시기와 방법이 결정된다.알고랜드 계약서는 TEAL로 작성되는데, 이는 알고랜드 노드 내에서 실행되는 알고랜드 가상 머신(AVM)에 의해 해석되는 조립식 언어다.[19]


참조

  1. ^ a b c d e f 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. 8 (10): 1782. doi:10.3390/math8101782.
  2. ^ Bartoletti, Massimo (2020). "A formal model of Algorand smart contracts" (PDF). Financial Cryptography and Data Security 2021. arXiv:2009.12140.
  3. ^ 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. arXiv:1904.04098. doi:10.1109/COMST.2020.2969706. ISSN 1553-877X. S2CID 102352657.
  4. ^ Wan, Shaohua; Li, Meijun; Liu, Gaoyang; Wang, Chen (2020-11-01). "Recent advances in consensus protocols for blockchain: a survey". Wireless Networks. 26 (8): 5579–5593. doi:10.1007/s11276-019-02195-0. ISSN 1572-8196. S2CID 213063001.
  5. ^ Zhao, Helen (2018-02-23). "Bitcoin and blockchain consume an exorbitant amount of energy. These engineers are trying to change that". CNBC. Retrieved 2021-04-03.
  6. ^ "MIT professor debuts high-speed blockchain payments platform Algorand". VentureBeat. 2018-02-15. Retrieved 2021-04-03.
  7. ^ "Algo VC Fund Raises $200M to Fast-Track Its Own Cryptocurrency". www.bizjournals.com. Retrieved 2021-04-03.{{cite web}}: CS1 maint : url-status (링크)
  8. ^ "Bahrain's Shariah Review Bureau Certifies Blockchain Firm Algorand As Shariah Compliant". Crowdfund Insider. 2019-10-23. Retrieved 2021-04-03.
  9. ^ "RSA Conference Tal Rabin Biography". RSA Conference. Retrieved 2022-04-11.{{cite web}}: CS1 maint : url-status (링크)
  10. ^ "Sharding-FAQs". Ethereum Wiki. Retrieved 2022-03-25.
  11. ^ "Algorand consensus - Algorand Developer Portal".
  12. ^ a b 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. arXiv:1904.04098. doi:10.1109/COMST.2020.2969706. ISSN 1553-877X. S2CID 102352657.
  13. ^ a b Wan, Shaohua; Li, Meijun; Liu, Gaoyang; Wang, Chen (2020-11-01). "Recent advances in consensus protocols for blockchain: a survey". Wireless Networks. 26 (8): 5579–5593. doi:10.1007/s11276-019-02195-0. ISSN 1572-8196. S2CID 213063001.
  14. ^ 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. arXiv:1904.04098. doi:10.1109/COMST.2020.2969706. ISSN 1553-877X. S2CID 102352657.
  15. ^ Wan, Shaohua; Li, Meijun; Liu, Gaoyang; Wang, Chen (2020-11-01). "Recent advances in consensus protocols for blockchain: a survey". Wireless Networks. 26 (8): 5579–5593. doi:10.1007/s11276-019-02195-0. ISSN 1572-8196. S2CID 213063001.
  16. ^ 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. 777: 155–183. doi:10.1016/j.tcs.2019.02.001. ISSN 0304-3975. S2CID 126593426.
  17. ^ Chen, Jing; Micali, Silvio (2019-07-19). "Algorand: A secure and efficient distributed ledger". Theoretical Computer Science. 777: 155–183. doi:10.1016/j.tcs.2019.02.001. ISSN 0304-3975.
  18. ^ 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. Vol. 12232. pp. 362–367. arXiv:1907.05523. doi:10.1007/978-3-030-54994-7_27. ISBN 978-3-030-54993-0. S2CID 196471153.
  19. ^ Ewing, Mark (2021-12-13). "Introduction to Algorand: PyTeal Smart Signature Development". DappRadar. Retrieved 2022-03-25.