Towards a Verified Model of the Algorand Consensus Protocol in Coq-Reference-Cited by-同舟云学术

Towards a Verified Model of the Algorand Consensus Protocol in Coq

Published:2020 Issue: Volume: Page:362-367
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Alturki Musab A.,Chen Jing,Luchangco Victor,Moore Brandon,Palmskog Karl,Peña Lucas,Roşu Grigore

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-54994-7_27

Reference11 articles.

1. Algorand blockchain features (2019). https://github.com/algorandfoundation/specs/blob/master/overview/Algorand_v1_spec-2.pdf

2. Chen, J., Gorbunov, S., Micali, S., Vlachos, G.: ALGORAND AGREEMENT: super fast and partition resilient Byzantine agreement. Cryptology ePrint Archive, Report 2018/377 (2018). https://eprint.iacr.org/2018/377

3. Chen, J., Micali, S.: Algorand: a secure and efficient distributed ledger. Theor. Comput. Sci. 777, 155–183 (2019)

4. Cohen, C.: Finmap (2019). https://github.com/math-comp/finmap

5. Gilad, Y., Hemo, R., Micali, S., Vlachos, G., Zeldovich, N.: Algorand: scaling byzantine agreements for cryptocurrencies. In: SOSP, pp. 51–68 (2017)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Verification of Justification and Finalization in Beacon Chain;IEEE Access;2024

2. Proof of Review: Trust Me, It's Been Reviewed;Proceedings of the 2023 5th Blockchain and Internet of Things Conference;2023-07-21

3. Blockchain infrastructure and services for biomedical applications;2023 10th International Conference on Electrical, Electronic and Computing Engineering (IcETRAN);2023-06-05

4. Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda;Lecture Notes in Computer Science;2022

5. Formal Verification of Blockchain Byzantine Fault Tolerance;Handbook on Blockchain;2022