, Speed for the elite, consistency for the masses: differentiating eventual consistency in large-scale distributed systems

D. Frey, A. Mostefaoui, M. Perrin, P. Roman, and F. Taïani, The 35th IEEE Symposium on Reliable Distributed Systems (SRDS 2016), pp.197-206, 2016.

D. Frey, A. Kermarrec, C. Maddock, A. Mauthe, P. Roman et al., The 15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2015), pp.51-65, 2015.

D. Frey, M. X. Makkes, and P. Roman, François Taïani, Spyros Voulgaris. The 15th Workshop on Adaptive and Reflective Middleware, 2016.

D. Frey, M. X. Makkes, and P. Roman, François Taïani, Spyros Voulgaris. Research report RR-9162, 2018.

, International Telecommunication Union, ICT Data and Statistics, 2007.

, ICT Facts and Figures, 2017.

U. S. Flurry-analytics, Consumers Time-Spent on Mobile Crosses 5 Hours a Day, 2017.

J. Constine, Facebook now has 2 billion monthly users, 2017.

M. Osman, 28 Powerful Facebook Stats Your Brand Can't Ignore in, 2018.

, What happens online in 60 seconds, 2017.

R. Swatman, Pokémon Go catches five new world records, 2016.

M. Lynley, With 500M downloads, 2016.

, United Nations Human Rights Council, UN Resolution L 20 The promotion, protection and enjoyment of human rights on the Internet, 2016.

P. Hernandez, Pokémon Go's Launch Has Been Terrible, 2016.

D. Thier, Pokémon Go Servers Down As Game Launches In Canada, 2016.

A. Frank, Pokémon Go's server issues have been driving people wild all day, 2016.

M. Rothenberg and C. Bottlenecks, How Pokémon Go (and other game dev teams) caught them all, 2017.

A. S. Tanenbaum and M. V. Steen, Distributed Systems: Principles and Paradigms, p.132392275, 2006.

G. Centers, , 2015.

H. Lu, K. Veeraraghavan, P. Ajoux, J. Hunt, Y. J. Song et al., Existential Consistency: Measuring and Understanding Consistency at Facebook, SOSP, 2015.
DOI : 10.1145/2815400.2815426
URL : http://dl.acm.org/ft_gateway.cfm?id=2815426&type=pdf

A. Kermarrec and F. Taïani, Want to scale in centralized systems? Think P2P, Journal of Internet Services and Applications, vol.6, issue.1, pp.1869-0238, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01199734

P. G. Lopez, A. Montresor, D. Epema, A. Datta, T. Higashino et al., Edge-centric Computing: Vision and Challenges, Commun. Rev, vol.45, issue.5, pp.37-42, 2015.

L. Lamport, The Part-time Parliament, ACM Trans. Comput. Syst, vol.16, issue.2, pp.734-2071, 1998.

M. Castro and B. Liskov, Practical Byzantine Fault Tolerance and Proactive Recovery, ACM Trans. Comput. Syst, vol.20, issue.4, pp.734-2071, 2002.

P. Hunt, M. Konar, F. P. Junqueira, and B. Reed, ZooKeeper: Wait-free Coordination for Internet-scale Systems, Proceedings of the 2010 USENIX Conference on USENIX Annual Technical Conference, ser. USENIX ATC'10, USENIX Association, 2010.

J. Kreps, N. Narkhede, and J. Rao, Kafka: A distributed messaging system for log processing, Proceedings of the NetDB, 2011.

E. A. Brewer, Towards robust distributed systems, PODC, vol.7, 2000.

S. Gilbert and N. Lynch, Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services, ACM SIGACT News, vol.33, issue.2, 2002.

A. Lakshman and P. Malik, Cassandra: A Decentralized Structured Storage System, SIGOPS Oper. Syst. Rev, vol.44, issue.2, 2010.

R. Klophaus, Riak Core: Building Distributed Applications Without Shared State, ACM SIGPLAN Commercial Users of Functional Programming, ser. CUFP '10, 2010.

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

R. Ali, J. Barrdear, R. Clews, and J. Southgate, Innovations in Payment Technologies and the Emergence of Digital Currencies, Social Science Research Network, 2014.

M. Billy and D. ,

. Monero,

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

L. Lamport, R. Shostak, and M. Pease, The Byzantine Generals Problem, ACM Trans. Program. Lang. Syst, vol.4, issue.3, pp.382-401, 1982.

E. Androulaki, A. Barger, V. Bortnikov, C. Cachin, K. Christidis et al., Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains, Proceedings of the Thirteenth EuroSys Conference, ser. EuroSys '18, vol.30, 2018.

C. R3,

L. Lamport, How to make a multiprocessor computer that correctly executes multiprocess programs, IEEE ToC, vol.100, issue.9, 1979.

M. P. Herlihy and J. M. Wing, Linearizability: A Correctness Condition for Concurrent Objects, ACM Trans. Program. Lang. Syst, vol.12, issue.3, pp.463-492, 1990.

M. Ahamad, G. Neiger, J. E. Burns, P. Kohli, and P. W. Hutto, Causal memory: definitions, implementation, and programming, Distributed Computing, vol.9, issue.1, pp.37-49, 1995.

L. Lamport, Time, Clocks, and the Ordering of Events in a Distributed System, Commun. ACM, vol.21, issue.7, pp.558-565, 1978.

P. Bailis, A. Ghodsi, J. M. Hellerstein, and I. Stoica, Bolt-on causal consistency, ACM SIGMOD Int. Conf. on Man. of Data, 2013.

W. Lloyd, M. J. Freedman, M. Kaminsky, and D. G. Andersen, Don't settle for eventual: scalable causal consistency for wide-area storage with COPS, SOSP, 2011.

S. Almeida, J. Leitão, and L. Rodrigues, ChainReaction: a causal+ consistent datastore based on chain replication, EuroSys, 2013.

M. Zawirski, N. Preguiça, S. Duarte, A. Bieniusa, V. Balegas et al., Write Fast, Read in the Past: Causal Consistency for Client-Side Applications, Proceedings of the 16th Annual Middleware Conference, ser. Middleware '15, pp.75-87, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01248194

D. B. Terry, M. M. Theimer, K. Petersen, A. J. Demers, M. J. Spreitzer et al., Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System, Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, ser. SOSP '95, pp.172-182, 1995.

W. Vogels, Eventually Consistent, CACM, vol.52, issue.1, 2009.

M. Perrin, A. Mostefaoui, and C. Jard, Update Consistency for Wait-free Concurrent Objects, International Parallel and Distributed Processing Symposium, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01101657

M. Shapiro, N. Preguiça, C. Baquero, and M. Zawirski, Conflict-Free Replicated Data Types, SSS, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00609399

S. Burckhardt, A. Gotsman, H. Yang, and M. Zawirski, Replicated Data Types: Specification, Verification, Optimality, SIGPLAN Not, vol.49, issue.1, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00934311

G. Oster, P. Urso, P. Molli, and A. Imine, Data Consistency for P2P Collaborative Editing, Proceedings of the 2006 20th Anniversary Conference on Computer Supported Cooperative Work, ser. CSCW '06, pp.259-268, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00108523

S. Weiss, P. Urso, and P. Molli, Logoot-Undo: Distributed Collaborative Editing System on P2P Networks, IEEE TPDS, vol.21, issue.8, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00450416

R. Friedman, Implementing hybrid consistency with high-level synchronization operations, Dist. Comp, vol.9, issue.3, 1995.

H. Attiya and R. Friedman, Limitations of fast consistency conditions for distributed shared memories, Inf. Proc. Letters, vol.57, issue.5, 1996.

P. Keleher, A. L. Cox, and W. Zwaenepoel, Lazy Release Consistency for Software Distributed Shared Memory, ISCA, ACM, 1992.

R. Friedman, M. Raynal, and F. Taïani, Fisheye Consistency: Keeping Data in Synch in a Georeplicated World, NETYS, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01326888

C. Xie, C. Su, M. Kapritsos, Y. Wang, N. Yaghmazadeh et al., Salt: Combining ACID and BASE in a distributed database, OSDI, USENIX, 2014.

D. B. Terry, V. Prabhakaran, R. Kotla, M. Balakrishnan, M. K. Aguilera et al., Consistency-based service level agreements for cloud storage, SOSP, 2013.

C. Li, D. Porto, A. Clement, J. Gehrke, N. Preguiça et al., Making GeoReplicated Systems Fast as Possible, Consistent when Necessary, OSDI, USENIX, 2012.

R. Guerraoui, M. Pavlovic, and D. Seredinschi, Incremental Consistency Guarantees for Replicated Objects, 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16), pp.978-979, 2016.

M. , Concurrent Programming: Algorithms, Principles, and Foundations, pp.978-981, 2013.

C. Dwork, N. A. Lynch, and L. J. Stockmeyer, Consensus in the presence of partial synchrony, J. ACM, vol.35, issue.2, pp.288-323, 1988.

M. K. Aguilera, C. Delporte-gallet, H. Fauconnier, and S. Toueg, Consensus with Byzantine Failures and Little System Synchrony, 2006 International Conference on Dependable Systems and Networks (DSN 2006, pp.147-155, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00154870

D. Ongaro and J. Ousterhout, 2014 USENIX Annual Technical Conference (USENIX ATC 14), pp.978-979, 2014.

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

M. , Fault-Tolerant Message-Passing Distributed Systems -An Algorithmic Approach, 2018.

C. Dwork and M. Naor, Pricing via Processing or Combatting Junk Mail", en, in Advances in Cryptology -CRYPTO' 92, ser, Lecture Notes in Computer Science, pp.139-147, 1992.

A. Back, Hashcash -A Denial of Service Counter-Measure, 2002.

I. Eyal, A. E. Gencer, E. G. Sirer, and R. V. Renesse, Bitcoin-NG: A Scalable Blockchain Protocol, 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16), pp.978-979, 2016.

C. Decker, J. Seidel, and R. Wattenhofer, Bitcoin Meets Strong Consistency, Proceedings of the 17th International Conference on Distributed Computing and Networking, ser. ICDCN '16, vol.13, pp.1-13, 2016.
DOI : 10.1145/2833312.2833321
URL : http://arxiv.org/pdf/1412.7935

E. K. 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.978-979, 2016.

E. Kokoris-kogias, P. Jovanovic, L. Gasser, N. Gailly, E. Syta et al., OmniLedger: A Secure, Scale-Out, Decentralized Ledger via Sharding, 2018 IEEE Symposium on Security and Privacy (SP), vol.00, pp.19-34, 2018.
DOI : 10.1109/sp.2018.000-5

M. Zamani, M. Movahedi, and M. Raykova, RapidChain: Scaling Blockchain via Full Sharding, Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, ser. CCS '18, pp.931-948, 2018.

Y. Gilad, R. Hemo, S. Micali, G. Vlachos, and N. Zeldovich, Algorand: Scaling Byzantine Agreements for Cryptocurrencies, Proceedings of the 26th Symposium on Operating Systems Principles, ser. SOSP '17, pp.51-68, 2017.

A. Kiayias, A. Russell, B. David, and R. Oliynykov, Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol, Advances in Cryptology -CRYPTO 2017, pp.357-388, 2017.

B. David, P. Ga?i, A. Kiayias, and A. Russell, Ouroboros Praos: An Adaptively-Secure, Semi-synchronous Proof-of-Stake Blockchain, Advances in Cryptology -EURO-CRYPT 2018, pp.978-981, 2018.

E. Buchman, J. Kwon, and Z. Milosevic, The latest gossip on BFT consensus, 2018.

C. Cachin and M. Vukoli´cvukoli´c, Blockchain Consensus Protocols in the Wild, 2017.

M. Vukoli´cvukoli´c, The Quest for Scalable Blockchain Fabric: Proof-of-Work vs. BFT Replication", en, in Open Problems in Network Security, ser. Lecture Notes in Computer Science 9591

I. Abraham, D. Malkhi, and T. D. Schmid, The Blockchain Consensus Layer and BFT, en, Bulletin of EATCS, vol.3, issue.123, 2017.

M. Blum, P. Feldman, and S. Micali, Non-interactive Zero-knowledge and Its Applications, Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing, ser. STOC '88, pp.103-112, 1988.

B. Bünz, J. Bootle, D. Boneh, A. Poelstra, P. Wuille et al., Bulletproofs: Short Proofs for Confidential Transactions and More, 2018 IEEE Symposium on Security and Privacy (SP), vol.00, pp.319-338, 2018.

E. Ben-sasson, I. Bentov, Y. Horesh, and M. Riabzev, Scalable, transparent, and postquantum secure computational integrity, Cryptology ePrint Archive, 2018.

N. Narula, W. Vasquez, and M. Virza, zkLedger: Privacy-Preserving Auditing for Distributed Ledgers, 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18), pp.978-979, 2018.

J. A. Garay, A. Kiayias, and N. Leonardos, The Bitcoin Backbone Protocol: Analysis and Applications, EUROCRYPT (2), ser, vol.9057, pp.281-310, 2015.

I. Eyal and E. G. Sirer, Majority Is Not Enough: Bitcoin Mining Is Vulnerable", en, in Financial Cryptography and Data Security, ser, Lecture Notes in Computer Science, vol.8437, pp.436-454, 2014.

A. Sapirshtein, Y. Sompolinsky, and A. Zohar, Optimal Selfish Mining Strategies in Bitcoin", en, in Financial Cryptography and Data Security, ser, Lecture Notes in Computer Science, pp.515-532, 2016.

K. Nayak, S. Kumar, A. Miller, and E. Shi, Stubborn Mining: Generalizing Selfish Mining and Combining with an Eclipse Attack, 2016 IEEE European Symposium on Security and Privacy (EuroS P), pp.305-320, 2016.

E. Heilman, A. Kendler, A. Zohar, and S. Goldberg, Eclipse Attacks on Bitcoin's Peerto-Peer Network, 24th USENIX Security Symposium (USENIX Security 15), Washington, D.C.: USENIX Association, pp.978-979, 2015.

A. Gervais, G. O. Karame, K. Wüst, V. Glykantzis, H. Ritzdorf et al., On the Security and Performance of Proof of Work Blockchains, 2016.

, ACM SIGSAC Conference on Computer and Communications Security, ser. CCS '16, pp.3-16, 2016.

G. O. Karame, E. Androulaki, and S. Capkun, Double-spending Fast Payments in Bitcoin, Proceedings of the 2012 ACM Conference on Computer and Communications Security, ser. CCS '12, pp.906-917, 2012.

A. Gervais, S. Capkun, G. O. Karame, and D. Gruber, On the Privacy Provisions of Bloom Filters in Lightweight Bitcoin Clients, Proceedings of the 30th Annual Computer Security Applications Conference, ser. ACSAC '14, pp.326-335, 2014.

K. Croman, C. Decker, I. Eyal, A. E. Gencer, A. Juels et al.,

E. G. Shi, D. Sirer, R. Song, and . Wattenhofer, On Scaling Decentralized Blockchains", in Financial Cryptography and Data Security, ser, Lecture Notes in Computer Science, pp.106-125, 2016.

B. Bishop, Review of Bitcoin Scaling Proposals, Scaling Bitcoin Workshop Phase 1, 2015.

S. Barber, X. Boyen, E. Shi, and E. Uzun, Bitter to Better -How to Make Bitcoin a Better Currency, Financial Cryptography and Data Security, pp.399-414, 2012.

J. Bonneau, A. Miller, J. Clark, A. Narayanan, J. A. Kroll et al., SoK: Research Perspectives and Challenges for Bitcoin and Cryptocurrencies, 2015 IEEE Symposium on Security and Privacy, pp.104-121, 2015.

E. Syta, I. Tamas, D. Visher, D. I. Wolinsky, P. Jovanovic et al., Keeping Authorities "Honest or Bust" with Decentralized Witness Cosigning, 2016 IEEE Symposium on Security and Privacy (SP), pp.526-545, 2016.

E. Anceaume, T. Lajoie-mazenc, R. Ludinard, and B. Sericola, Safety analysis of Bitcoin improvement proposals, 2016 IEEE 15th International Symposium on Network Computing and Applications (NCA), pp.318-325, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01397685

K. Nikitin, E. Kokoris-kogias, P. Jovanovic, N. Gailly, L. Gasser et al., CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds, pp.978-979, 2017.

P. Otte, M. D. Vos, and J. Pouwelse, TrustChain: A Sybil-resistant scalable blockchain, Future Generation Computer Systems, pp.167-739, 2017.

C. Decker and R. Wattenhofer, A Fast and Scalable Payment Network with Bitcoin Duplex Micropayment Channels, pp.978-981, 2015.

J. Lind, I. Eyal, F. Kelbert, O. Naor, P. Pietzuch et al., Teechain: Scalable Blockchain Payments using Trusted Execution Environments, 2017.

L. Luu, V. Narayanan, C. Zheng, K. Baweja, S. Gilbert et al., A Secure Sharding Protocol For Open Blockchains, Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, ser. CCS '16, pp.17-30, 2016.

A. Demers, D. Greene, C. Hauser, W. Irish, J. Larson et al., Epidemic Algorithms for Replicated Database Maintenance, Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, ser. PODC '87, pp.1-12, 1987.

K. P. Birman, M. Hayden, O. Ozkasap, Z. Xiao, M. Budiu et al., ACM Trans. Comput. Syst, vol.17, issue.2, pp.734-2071, 1999.

P. T. Eugster, R. Guerraoui, S. B. Handurukande, P. Kouznetsov, and A. Kermarrec, Lightweight Probabilistic Broadcast, ACM Trans. Comput. Syst, vol.21, issue.4, pp.341-374, 2003.

A. Kermarrec, L. Massoulie, and A. Ganesh, Probabilistic reliable dissemination in large-scale systems, IEEE Transactions on Parallel and Distributed Systems, vol.14, issue.3, pp.248-258, 2003.

M. Jelasity, S. Voulgaris, R. Guerraoui, A. Kermarrec, and M. Van-steen, Gossipbased Peer Sampling, ACM Trans. Comput. Syst, vol.25, issue.3, 2007.

S. Voulgaris, D. Gavidia, and M. V. Steen, CYCLON: Inexpensive Membership Management for Unstructured P2P Overlays, en, Journal of Network and Systems Management, vol.13, issue.2, pp.1064-7570, 2005.

A. J. Ganesh, A. Kermarrec, and L. Massoulié, Scamp: Peer-to-Peer Lightweight Membership Service for Large-Scale Group Communication", en, in Networked Group Communication, ser. Lecture Notes in Computer Science 2233, J. Crowcroft and M

. Hofmann, , pp.44-55, 2001.

P. Felber, A. Kermarrec, L. Leonini, E. Rivière, and S. Voulgaris, Pulp: An adaptive gossip-based dissemination protocol for multi-source message streams, en, Peer-toPeer Networking and Applications, vol.5, pp.1936-6442, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00646616

M. Jelasity, A. Montresor, and O. Babaoglu, Gossip-based Aggregation in Large Dynamic Networks, ACM Trans. Comput. Syst, vol.23, issue.3, pp.219-252, 2005.

R. Ormándi, I. Hegedus, and M. Jelasity, Asynchronous Peer-to-peer Data Mining with Stochastic Gradient Descent, Proceedings of the 17th International Conference on Parallel Processing -Volume Part I, ser. Euro-Par'11, pp.978-981, 2011.

G. Danner and M. Jelasity, Fully Distributed Privacy Preserving Mini-batch Gradient Descent Learning", en, in Distributed Applications and Interoperable Systems, ser. Lecture Notes in Computer Science 9038, pp.978-981, 2015.

M. Jelasity, A. Montresor, and O. Babaoglu, T-Man: Gossip-based Fast Overlay Topology Construction, Comput. Netw, vol.53, issue.13, pp.1389-1286, 2009.

S. Voulgaris and M. V. Steen, VICINITY: A Pinch of Randomness Brings out the Structure, ser. Lecture Notes in Computer Science, vol.8275, pp.21-40, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01480790

R. Guerraoui, R. R. Levy, B. Pochon, and V. Quéma, Throughput Optimal Total Order Broadcast for Cluster Environments, ACM Trans. Comput. Syst, vol.28, issue.2, pp.1-5, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00945800

M. Matos, H. Mercier, P. Felber, R. Oliveira, and J. Pereira, EpTO: An Epidemic Total Order Algorithm for Large-Scale Distributed Systems, Middleware, ACM, pp.978-979, 2015.

R. Baldoni, R. Guerraoui, R. R. Levy, V. Quéma, and S. T. Piergiovanni, Unconscious Eventual Consistency with Gossips, 2006.

A. Sousa, J. Pereira, F. Moura, and R. Oliveira, Optimistic total order in wide area networks, SRDS, 2002.

M. Lin and K. Marzullo, Directional Gossip: Gossip in a Wide Area Network, EDCC, 1999.

N. Carvalho, J. Pereira, R. Oliveira, and L. Rodrigues, Emergent Structure in Unstructured Epidemic Multicast, DSN, 2007.

K. Hopkinson, K. Jenkins, K. Birman, J. Thorp, G. Toussaint et al., Adaptive Gravitational Gossip: A Gossip-Based Communication Protocol with User-Selectable Rates, IEEE TPDS, vol.20, issue.12, 2009.

I. Gupta, A. Kermarrec, and A. Ganesh, Efficient and adaptive epidemic-style protocols for reliable and scalable multicast, IEEE TPDS, vol.17, issue.7, 2006.

D. Frey, R. Guerraoui, A. Kermarrec, B. Koldehofe, M. Mogensen et al., Heterogeneous Gossip, 2009.

W. Golab, X. Li, and M. A. Shah, Analyzing consistency properties for fun and profit, PODC, ACM, 2011.

W. Golab, M. R. Rahman, A. Auyoung, K. Keeton, and I. Gupta, Client-centric benchmarking of eventual consistency for cloud storage systems, ICDCS, 2014.

S. Patil, M. Polte, K. Ren, W. Tantisiriroj, L. Xiao et al., YCSB++: benchmarking and performance debugging advanced features in scalable table stores, Symp. on Cloud Comp. (SoCC), 2011.

K. Zellag and B. Kemme, How consistent is your cloud application?, in Symp. on Cloud Comp. (SoCC), 2012.

F. Taïani, S. Lin, and G. S. Blair, GossipKit: A Unified ComponentFramework for Gossip, IEEE TSE, vol.40, issue.2

P. T. Eugster, R. Guerraoui, A. Kermarrec, and L. Massoulié, From epidemics to distributed computing, IEEE computer, vol.37, pp.60-67, 2004.

A. Montresor and M. Jelasity, PeerSim: A scalable P2P simulator, P2P, 2009.

M. R. Rahman, W. Golab, A. Auyoung, K. Keeton, and J. J. Wylie, Toward a Principled Framework for Benchmarking Consistency, HotDep, USENIX, 2012.

L. Lamport, On interprocess communication, Distributed Computing, vol.1, issue.2, pp.178-2770, 1986.

. Bitcoin-developer-guide,

B. Bryan, Protocol-Level Pruning, 2017.

A. Miller, Storing UTXOs in a Balanced Merkle Tree (zero-trust nodes with O(1)-storage), 2012.

D. Leung, A. Suhl, Y. Gilad, and N. Zeldovich, Vault: Fast Bootstrapping for Cryptocurrencies, 2018.

A. Kiayias, A. Miller, and D. Zindros, Non-Interactive Proofs of Proof-of-Work, Cryptology ePrint Archive, vol.963, 2017.

D. Ryan and C. Liang, Hybrid Casper FFG, EIP, vol.1011, 2018.

D. Frey, A. Mostéfaoui, M. Perrin, P. Roman, and F. Taïani, Speed for the Elite, Consistency for the Masses: Differentiating Eventual Consistency in Large-Scale Distributed Systems, 35th IEEE Symposium on Reliable Distributed Systems, SRDS 2016, pp.197-206, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01344138

D. Frey, A. Kermarrec, C. Maddock, A. Mauthe, P. Roman et al., Similitude: Decentralised Adaptation in Large-Scale P2P Recommenders, Distributed Applications and Interoperable Systems -15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, pp.51-65, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01138365

D. Frey, M. X. Makkes, P. Roman, F. Taïani, and S. Voulgaris, Bringing secure Bitcoin transactions to your smartphone, Proceedings of the 15th International Workshop on Adaptive and Reflective Middleware, vol.3, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01384461

, Dietcoin: shortcutting the Bitcoin verification process for your smartphone, 2018.