M. Kawazoe, A. , and S. Toueg, Failure detection and randomization: A hybrid approach to solve consensus, SIAM J. Comput, vol.28, issue.3, pp.890-903, 1998.

P. Aublin, R. Guerraoui, N. Kne?evi´kne?evi´c, V. Quéma, and M. Vukoli´cvukoli´c, The Next 700 BFT Protocols, ACM Transactions on Computer Systems, vol.32, issue.4, pp.1-1245, 2015.
DOI : 10.1145/2658994

M. Ben-or, Another advantage of free choice (Extended Abstract), Proceedings of the second annual ACM symposium on Principles of distributed computing , PODC '83, pp.27-30, 1983.
DOI : 10.1145/800221.806707

A. Neves-bessani, J. Sousa, and E. Adílio-pelinson-alchieri, State machine replication for the masses with BFT-SMART, 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2014, pp.355-362, 2014.

E. W. Kroll and . Felten, Sok: Research perspectives and challenges for Bitcoin and cryptocurrencies, 2015 IEEE Symposium on Security and Privacy, SP 2015, pp.104-121, 2015.

G. Bracha, An asynchronou [(n-1)/3]-resilient consensus protocol, Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing (PODC), pp.154-162, 1984.
DOI : 10.1145/800222.806743

E. A. Brewer, Towards robust distributed systems (abstract), Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing , PODC '00, p.7, 2000.
DOI : 10.1145/343477.343502

C. Cachin, K. Kursawe, and V. Shoup, Random oracles in constantipole, Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing , PODC '00, pp.123-132, 2000.
DOI : 10.1145/343477.343531

M. Castro and B. Liskov, Practical byzantine fault tolerance and proactive recovery, ACM Transactions on Computer Systems, vol.20, issue.4, pp.398-461, 2002.
DOI : 10.1145/571637.571640
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.6725

D. Tushar, R. Chandra, J. Griesemer, and . Redstone, Paxos made live: an engineering perspective, Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC), 2007.

A. Clement, E. Wong, L. Alvisi, M. Dahlin, and M. Marchetti, Making Byzantine fault tolerant systems tolerate Byzantine faults, Proceedings of the 6th USENIX symposium on Networked systems design and implementation, NSDI'09, pp.153-168, 2009.

J. C. Corbett, J. Dean, and M. Epstein, Spanner, ACM Transactions on Computer Systems, vol.31, issue.3, p.318, 2013.
DOI : 10.1145/2518037.2491245

P. Roberto-de, On Building Blocks for Distributed Systems, 1999.

C. Decker, J. Seidel, and R. Wattenhofer, Bitcoin meets strong consistency, Proceedings of the 17th International Conference on Distributed Computing and Networking, ICDCN '16, 2016.
DOI : 10.1145/2833312.2833321
URL : http://arxiv.org/abs/1412.7935

C. Decker and R. Wattenhofer, Information propagation in the Bitcoin network, IEEE P2P 2013 Proceedings, pp.1-10, 2013.
DOI : 10.1109/P2P.2013.6688704

X. Défago, A. Schiper, and P. Urbán, Total order broadcast and multicast algorithms, ACM Computing Surveys, vol.36, issue.4, pp.372-421, 2004.
DOI : 10.1145/1041680.1041682

R. John and . Douceur, The sybil attack. In Peer-to-Peer Systems, First International Workshop, pp.251-260, 2002.

J. Du, D. Sciascia, S. Elnikety, W. Zwaenepoel, and F. Pedone, Clock-RSM: Low-Latency Inter-datacenter State Machine Replication Using Loosely Synchronized Physical Clocks, 2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014.
DOI : 10.1109/DSN.2014.42
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.4569

C. Dwork, N. Lynch, and L. Stockmeyer, Consensus in the presence of partial synchrony, Journal of the ACM, vol.35, issue.2, 1988.
DOI : 10.1145/42282.42283

C. Dwork, N. Lynch, and L. Stockmeyer, Consensus in the presence of partial synchrony, Journal of the ACM, vol.35, issue.2, pp.288-323, 1988.
DOI : 10.1145/42282.42283

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.
DOI : 10.1007/3-540-48071-4_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.397.5512

I. Eyal, . Adem-efe-gencer, R. Emin-gün-sirer, and . Van-renesse, Bitcoin- NG: A scalable blockchain protocol, 13th USENIX Symposium on Networked Systems Design and Implementation, NSDI '16, 2016.

I. Eyal-and-emin-gün and . Sirer, Majority is not enough: Bitcoin mining is vulnerable, Financial Cryptography and Data Security -18th International Conference, pp.436-454, 2014.

M. J. Fischer, N. A. Lynch, and M. S. Paterson, Impossibility of distributed consensus with one faulty process, Journal of the ACM, vol.32, issue.2, pp.374-382, 1985.
DOI : 10.1145/3149.214121

J. A. Garay, A. Kiayias, and N. Leonardos, The Bitcoin Backbone Protocol: Analysis and Applications, Advances in Cryptology -EUROCRYPT 2015 -34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, pp.281-310, 2015.
DOI : 10.1007/978-3-662-46803-6_10

A. Gervais and G. O. Karame, Vedran Capkun, and Srdjan Capkun. Is Bitcoin a decentralized currency?, pp.54-60, 2014.

S. Gilbert and N. A. Lynch, Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services, ACM SIGACT News, vol.33, issue.2, pp.51-59, 2002.
DOI : 10.1145/564585.564601

R. Guerraoui and M. Vukoli´cvukoli´c, Refined quorum systems, Distributed Computing, vol.4, issue.2, pp.1-42, 2010.
DOI : 10.1007/s00446-010-0103-7

Z. Istvan, D. Sidler, G. Alonso, and M. Vukoli´cvukoli´c, Consensus in a box: Inexpensive coordination in hardware, Proceedings of the 13th USENIX symposium on Networked systems design and implementation, NSDI, 2016.

B. C. Flavio-paiva-junqueira, M. Reed, and . Serafini, Zab: Highperformance broadcast for primary-backup systems, Proceedings of the Conference on Dependable Systems and Networks (DSN), pp.245-256, 2011.

R. Kapitza, J. Behl, C. Cachin, T. Distler, S. Kuhnle et al., CheapBFT, Proceedings of the 7th ACM european conference on Computer Systems, EuroSys '12, pp.295-308, 2012.
DOI : 10.1145/2168836.2168866

M. Kapritsos, Y. Wang, V. Quema, A. Clement, L. Alvisi et al., All about Eve: execute-verify replication for multi-core servers, Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation, OSDI'12, pp.237-250, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00945738

O. Ghassan, E. Karame, M. Androulaki, A. Roeschlin, S. Gervais et al., Misbehavior in Bitcoin: A study of double-spending and accountability

R. Kotla, L. Alvisi, M. Dahlin, A. Clement, and E. Wong, Zyzzyva, ACM Transactions on Computer Systems, vol.27, issue.4, pp.1-7, 2010.
DOI : 10.1145/1658357.1658358

K. Kursawe and V. Shoup, Optimistic Asynchronous Atomic Broadcast, Automata, Languages and Programming, 32nd International Colloquium, ICALP, pp.204-215, 2005.
DOI : 10.1007/11523468_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.5288

L. Lamport, The part-time parliament, ACM Transactions on Computer Systems, vol.16, issue.2, pp.133-169, 1998.
DOI : 10.1145/279227.279229

L. Lamport, R. Shostak, and M. Pease, The Byzantine Generals Problem, ACM Transactions on Programming Languages and Systems, vol.4, issue.3, pp.382-401, 1982.
DOI : 10.1145/357172.357176
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.1697

Y. Lewenberg, Y. Sompolinsky, and A. Zohar, Inclusive Block Chain Protocols, Financial Cryptography and Data Security -19th International Conference, pp.528-547, 2015.
DOI : 10.1007/978-3-662-47854-7_33
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.108

S. Liu, C. Cachin, V. Quéma, and M. Vukoli´cvukoli´c, XFT: practical fault tolerance beyond crashes, 1502.

G. Losa, Modularity in the design of robust distributed algorithms, 2014.

L. Luu, V. Narayanan, K. Baweja, C. Zheng, S. Gilbert et al., SCP: A computationally-scalable Byzantine consensus protocol for blockchains, Cryptology ePrint Archive, 1168.

C. E. Parisa-jalili-marandi, B. Bezerra, and F. Pedone, Rethinking state-machine replication for parallelism, IEEE 34th International Conference on Distributed Computing Systems, ICDCS 2014, pp.368-377, 2014.

D. Maziéres, The Stellar consensus protocol: A federated model for internetlevel consensus. https://www.stellar.org/papers/stellar-consensus-protocol.pdf, 2015.

J. Mickens, The saddest moment. ;login: The Usenix magazine, p.2014

U. Milkau and J. Bott, Digitalisation in payments: From interoperability to centralised models?, Journal of Payment Strategy & Systems, vol.9, issue.3, p.2015

A. Miller, Y. Xia, K. Croman, E. Shi, and D. Song, The Honey Badger of BFT Protocols, Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security , CCS'16, 2016.
DOI : 10.1145/2976749.2978399

S. Nakamoto, Bitcoin: A peer-to-peer electronic cash system, 2009.

J. O. Karl, D. Dwyer, and . Malone, Bitcoin mining and its energy footprint, Proceedings of the 2014 IET Irish Signals & Systems Conference, 2014.

D. Ongaro and J. Ousterhout, In search of an understandable consensus algorithm, Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference, USENIX ATC'14, pp.305-320, 2014.

M. Poke and T. Hoefler, DARE, Proceedings of the 24th International Symposium on High-Performance Parallel and Distributed Computing, HPDC '15, pp.107-118, 2015.
DOI : 10.1145/2749246.2749267

V. Harigovind, C. Ramasamy, and . Cachin, Parsimonious asynchronous byzantine-fault-tolerant atomic broadcast, Principles of Distributed Systems, 9th International Conference, OPODIS 2005, pp.88-102, 2005.

R. Rodrigues, B. Liskov, K. Chen, M. Liskov, and D. A. Schultz, Automatic Reconfiguration for Large-Scale Reliable Storage Systems, IEEE Transactions on Dependable and Secure Computing, vol.9, issue.2, pp.145-158, 2012.
DOI : 10.1109/TDSC.2010.52
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.6024

F. B. Schneider, Implementing fault-tolerant services using the state machine approach: a tutorial, ACM Computing Surveys, vol.22, issue.4, pp.299-319, 1990.
DOI : 10.1145/98163.98167
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.4762

Y. Sompolinsky and A. Zohar, Secure High-Rate Transaction Processing in Bitcoin, Financial Cryptography and Data Security -19th International Conference, pp.507-527, 2015.
DOI : 10.1007/978-3-662-47854-7_32

S. Toueg, Randomized Byzantine Agreements, Proceedings of the third annual ACM symposium on Principles of distributed computing , PODC '84, pp.163-178, 1984.
DOI : 10.1145/800222.806744

M. Vukoli´cvukoli´c, Quorum Systems: With Applications to Storage and Consensus. Synthesis Lectures on Distributed Computing Theory, 2012.

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

A. Zohar, Bitcoin, Communications of the ACM, vol.58, issue.9, pp.104-113, 2015.
DOI : 10.1145/2701411