A Survey on Consensus Mechanisms and Mining Strategy Management
Total Page:16
File Type:pdf, Size:1020Kb
1 A Survey on Consensus Mechanisms and Mining Strategy Management in Blockchain Networks Wenbo Wang, Member, IEEE, Dinh Thai Hoang, Member, IEEE, Peizhao Hu, Member, IEEE, Zehui Xiong, Student Member, IEEE, Dusit Niyato, Fellow, IEEE, Ping Wang, Senior Member, IEEE Yonggang Wen, Senior Member, IEEE and Dong In Kim, Fellow, IEEE Abstract—The past decade has witnessed the rapid evolution digital tokens between Peer-to-Peer (P2P) users. Blockchain in blockchain technologies, which has attracted tremendous networks, especially those adopting open-access policies, are interests from both the research communities and industries. The distinguished by their inherent characteristics of disinterme- blockchain network was originated from the Internet financial sector as a decentralized, immutable ledger system for transac- diation, public accessibility of network functionalities (e.g., tional data ordering. Nowadays, it is envisioned as a powerful data transparency) and tamper-resilience [2]. Therefore, they backbone/framework for decentralized data processing and data- have been hailed as the foundation of various spotlight Fin- driven self-organization in flat, open-access networks. In partic- Tech applications that impose critical requirement on data ular, the plausible characteristics of decentralization, immutabil- security and integrity (e.g., cryptocurrencies [3], [4]). Further- ity and self-organization are primarily owing to the unique decentralized consensus mechanisms introduced by blockchain more, with the distributed consensus provided by blockchain networks. This survey is motivated by the lack of a comprehensive networks, blockchains are fundamental to orchestrating the literature review on the development of decentralized consensus global state machine1 for general-purpose bytecode execution. mechanisms in blockchain networks. In this survey, we provide a Therefore, blockchains are also envisaged as the backbone systematic vision of the organization of blockchain networks. By of the emerging open-access, trusted virtual computers [6] emphasizing the unique characteristics of incentivized consensus in blockchain networks, our in-depth review of the state-of- for decentralized, transaction-driven resource management in the-art consensus protocols is focused on both the perspective communication networks and distributed autonomous sys- of distributed consensus system design and the perspective of tems [5], [7]. For these reasons, blockchain technologies have incentive mechanism design. From a game-theoretic point of been heralded by both the industry and academia as the view, we also provide a thorough review on the strategy adoption fundamental “game changer” [8] in decentralization of digital for self-organization by the individual nodes in the blockchain backbone networks. Consequently, we provide a comprehensive infrastructures ranging from the financial industry [4] to a survey on the emerging applications of the blockchain networks broad domain including Internet of Things (IoTs) [9] and self- in a wide range of areas. We highlight our special interest in how organized network orchestration [10]. the consensus mechanisms impact these applications. Finally, we Generally, the term “blockchain networks” can be inter- discuss several open issues in the protocol design for blockchain preted from two levels, namely, the “blockchains” which consensus and the related potential research directions. refer to a framework of immutable data organization, and the Index Terms—Blockchain, permissionless consensus, Byzantine “blockchain networks” on top of which the approaches of data fault tolerance, mining, incentive mechanisms, game theory, P2P deployment and maintenance are defined. The two aspects are networks. also considered as the major innovation of blockchain tech- nologies. For data organization, blockchain technologies em- I. INTRODUCTION ploy a number of off-the-shelf cryptographic techniques [11]– In the past decade, blockchain networks have gained tremen- [13] and cryptographically associate the users’ on-chain iden- arXiv:1805.02707v4 [cs.CR] 19 Feb 2019 dous popularity for their capabilities of distributively provid- tities with the transactions of their tokenized assets. Thus, ing immutable ledgers as well as platforms for data-driven blockchains are able to provide the proofs of authentication for autonomous organization. Proposed by the famous grassroot asset (i.e., token) transfer and then the proofs of asset owner- cryptocurrency project “Bitcoin” [1], the blockchain network ships. Furthermore, a blockchain maintains an arbitrary order was originally adopted as the backbone of a public, distributed of the transactional records by cryptographically chaining the ledger system to process asset transactions in the form of record subsets in the form of data “blocks” to their chronic predecessors. With the help of cryptographic references, any Wenbo Wang, Zehui Xiong, Dusit Niyato and Yonggang Wen are with the School of Computer Science and Engineering, Nanyang Tech- attempt of data tampering can be immediately detected. From nological University, Singapore 639798 (email: [email protected], zx- the perspective of network organization, the problem of repli- [email protected], [email protected], [email protected]). cated agreement [14], [15] on a single/canonical transaction Dinh Thai Hoang is with the Faculty of Engineering and Information Technology, University of Technology Sydney, NSW 2007, Australia (e-mail: history among trustless nodes is creatively tackled by the [email protected]). blockchain consensus protocols in an open-access, weakly Peizhao Hu is with the Department of Computer Science, Rochester synchronized network. Blockchain consensus protocols are Institute of Technology, Rochester, NY, USA 14623 (email: [email protected]). Ping Wang is with the Department of Electrical Engineering & Computer Science, Lassonde School of Engineering, York University, 4700 Keele St., 1Distributed consensus orchestrates the states of replicated program ex- LAS 2016 Toronto, ON M3J 1P3, Canada (email: [email protected]). ecution on decentralized notes. It provides the runtime environment for Dong In King is wit the School of Information and Communica- distributively verifying the output of the same program. Therefore, the tion Engineering, Sungkyunkwan University, Suwon 16419, Korea (e-mail: blockchain network is also known as a distributed Virtual Machine (VM) [email protected]). in the literature [5]. able to offer the agreement on the global blockchain-data state the design, application and security of the smart contracts2 among a large number of trustless nodes with no identity are reviewed in the context of the Ethereum network. In [7], authentication and low messaging overhead [16]. To achieve [16], two brief surveys on consensus protocols in blockchain this, a number of blockchain networks, e.g., Bitcoin, choose to networks are provided. incorporate an incentive-based block creation process known The existing surveys on the fast-developing studies of as “block mining” in their protocols. With distributed consen- blockchain technologies rarely provide a global view on sus, the blockchain can be viewed as a universal memory of the issues related to consensus protocols. Our work aims the blockchain network. Meanwhile, the blockchain network to fill this gap by providing a comprehensive survey on can be viewed as a virtual computer (i.e., distributed VM) this specific topic. To distinguish our study from the exist- comprised by every node therein. ing works, we present our survey on blockchain networks from the perspective of consensus formation, especially in open-access3 P2P networks. In analogy to the distributed With the rapid evolution in blockchain technologies, the database, blockchain consensus is perceived as a process demand for the higher-level quality of services by blockchain- of collaborative state transitions among distributed nodes in based applications presents more critical challenges in de- the framework of blockchain-specified data organization. We signing blockchain protocols. Particularly, the performance of emphasize that such a viewpoint brings the taxonomy of blockchain networks significantly relies on the performance blockchain networks into a paradigm that is comparable to the of the adopted consensus mechanisms, e.g., in terms of classical problems of global state maintenance in distributed data consistency, speed of consensus finality, robustness to systems [22]. Therefore, we are able to cast our analysis of arbitrarily behaving nodes (i.e., Byzantine nodes [15]) and blockchain networks into the context of classical fault-tolerant network scalability. Compared with the classical Byzantine studies by focusing on the standard consensus properties in consensus protocols allowing very limited network scalability distributed systems (i.e., the Agreement-Validity-Termination in distributed systems [15], [17], most of the existing con- properties [22, Chapter 13.1]). We provide a uniform view sensus protocols in open-access blockchain networks (e.g., of blockchain networks by presenting a number of imple- Bitcoin) guarantee the better network scalability at the cost mentation stacks and revealing the interconnection between of limited processing throughput. Also, to achieve decentral- different protocol components therein. We align our survey ized consensus among poorly synchronized, trustless nodes,a on blockchain consensus protocols with a uniform framework number of these protocols incur huge consumption