Towards a Verified Model of the Algorand Consensus Protocol in Coq
暂无分享,去创建一个
Victor Luchangco | Jing Chen | Karl Palmskog | Grigore Rosu | Musab AlTurki | Brandon Moore | Lucas Peña
[1] Michael D. Ernst,et al. Planning for change in a formal verification of the raft consensus protocol , 2016, CPP.
[2] Satoshi Nakamoto. Bitcoin : A Peer-to-Peer Electronic Cash System , 2009 .
[3] Silvio Micali,et al. ALGORAND AGREEMENT: Super Fast and Partition Resilient Byzantine Agreement , 2018, IACR Cryptol. ePrint Arch..
[4] Ilya Sergey,et al. Programming and proving with distributed protocols , 2017, Proc. ACM Program. Lang..
[5] Jing Chen,et al. Algorand: A secure and efficient distributed ledger , 2019, Theor. Comput. Sci..
[6] Silvio Micali,et al. Algorand: Scaling Byzantine Agreements for Cryptocurrencies , 2017, IACR Cryptol. ePrint Arch..
[7] Ilya Sergey,et al. Mechanising blockchain consensus , 2018, CPP.
[8] Paulo Veríssimo,et al. Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq , 2018, ESOP.