R. Ec and ?. Ec-w.h,

R. Sc and ?. ,

R. Sc and ?. , , p.1

R. Sc and ?. , , vol.1

I. Abraham and D. Malkhi, The blockchain consensus layer and BFT, Bulletin of the EATCS, vol.3, issue.123, pp.1-23, 2017.

E. Anceaume, R. Ludinard, M. Potop-butucaru, and F. Tronel, Bitcoin a distributed shared register, Proceedings of the International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2017.
URL : https://hal.archives-ouvertes.fr/hal-01522360

E. Anceaume, A. D. Pozzo, R. Ludinard, M. Potop-butucaru, and S. Tucci-piergiovanni, Blockchain abstract data type -full version, 2019.

E. Androulaki, A. Barger, V. Bortnikov, C. Cachin, K. Christidis et al., Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains, 2018.

A. F. Anta, K. Konwar, C. Georgiou, and N. Nicolaou, Formalizing and implementing distributed ledger objects, ACM SIGACT News, vol.49, issue.2, pp.58-76, 2018.

C. Cachin, R. Guerraoui, and L. E. Rodrigues, , 2011.

C. Cachin, K. Kursawe, F. Petzold, and V. Shoup, Secure and efficient asynchronous broadcast protocols, Proceedings of the Annual International Cryptology Conference on Advances in Cryptology (CRYPTO), 2001.

T. Crain, V. Gramoli, M. Larrea, and M. Raynal, Leader/Randomization/Signature)-free Byzantine Consensus for Consortium Blockchains, 2017.

C. Decker, J. Seidel, and R. Wattenhofer, Bitcoin meets strong consistency, Proceedings of the 17th International Conference on Distributed Computing and Networking, vol.13, 2016.

C. Dwork, N. Lynch, and L. Stockmeyer, Consensus in presence of partial synchrony, Journal of the ACM (JACM), 1988.

C. Dwork and M. Naor, Pricing via processing or combatting junk mail, Advances in Cryptology -CRYPTO '92, 12th Annual International Cryptology Conference, pp.139-147, 1992.

J. M. Falerio, S. Rajamani, K. Rajan, G. Ramalingam, and K. Vaswani, Generalized lattice agreement, Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC), 2012.

Y. Gilad, R. Hemo, S. Micali, G. Vlachos, and N. Zeldovich, Algorand: Scaling byzantine agreements for cryptocurrencies, Proceedings of the Symposium on Operating Systems Principles (SOSP), pp.51-68, 2017.

A. Girault, G. Gössler, R. Guerraoui, J. Hamza, and D. , Seredinschi. Monotonic prefix consistency in distributed systems, International Conference on Formal Techniques for Distributed Objects, Components, and Systems, pp.41-57, 2018.

M. Herlihy, Wait-free synchronization, ACM Trans. Program. Lang. Syst, vol.13, issue.1, pp.124-149, 1991.

E. Kokoris-kogias, P. Jovanovic, N. Gailly, I. Khoffi, L. Gasser et al., Enhancing bitcoin security and performance with strong consistency via collective signing, 25th USENIX Security Symposium, USENIX Security 16, pp.279-296, 2016.

L. Lamport, R. Shostak, and M. Pease, The byzantine generals problem, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.4, issue.3, pp.382-401, 1982.

D. Mazieres and D. Shasha, Building secure file systems out of byzantine storage, Proceedings of the twenty-first annual symposium on Principles of distributed computing, pp.108-117, 2002.

S. Nakamoto, Bitcoin: A Peer-to-Peer Electronic Cash System, 2008.

E. Oswald and M. Fischlin, The Bitcoin Backbone Protocol: Analysis and Applications, vol.9057, 2015.

R. Pass and E. Shi, Fruitchains: A fair blockchain, Proceedings of the ACM Symposium on Principles of Distributed Computing, PODC 2017, pp.315-324, 2017.

M. Perrin, Distributed Systems, Concurrency and Consistency, 2017.

M. Perrin, A. Mostéfaoui, and C. Jard, Causal consistency: beyond memory, Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, vol.26, pp.1-26, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01286755

G. Wood, Ethereum: A secure decentralised generalised transaction ledger, 2014.