| Titre : | modelling and vérification of a blockchain consensus protocol |
| Auteurs : | Abdelnaim Dikki, Auteur ; Zohra Hamidi, Directeur de thèse |
| Type de document : | Monographie imprimée |
| Editeur : | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider, 2022 |
| Format : | 1 vol. (52p.) / couv. ill. en coul / 30 cm |
| Langues: | Anglais |
| Mots-clés: | Blockchain, Consensus protocol, Consensus algorithm, Proof of work, Formalverification, Modeling, Model checking, Uppaal, Temporal logic. |
| Résumé : |
Blockchains have lately found a use for themselves in practically every field, either in finance, health or data management and many more. This spread is due to their impeccable ability to store data securely and prevent any tampering or attempts of changing its content, also due to their decentralized nature where no central authority gets to make the definitive decision. To better manage and oversight these blockchains, many consensus protocols have been created. Each protocol enforcing security and integrity in the blockchain in its own way, and its own rules. All of this is to make sure that the sensitive data within the blockchain is highly secured and to eliminate any attempt of fraud or malicious behaviour. Therefore, this project aims to model, verify, and evaluate one of these consensus protocols in particular which is the proof of work protocol, make a model for it and test some property’s satisfaction, which we will do after going through blockchains and other consensus protocols briefly. |
| Sommaire : |
General Introduction 1 1 Blockchain and consensus protocols 2 1.1 Introduction . 2 1.2.1 Definition . 2 1.2.2 Network of the blockchain 3 1.2.3 Blockchain Networks types 4 1.2.4 Blockchain Network Nodes. 6 1.2.5 Types of Blockchain Network Nodes . 6 1.2.6 Data Organisation 7 1.3 Blockchain Applications and Future Uses 9 1.3.1 Applications 9 1.3.2 Future uses 11 1.4 Blockchain Consensus Protocols 11 1.4.1 Blockchain Networks Consensus . 11 1.4.2 Blockchain Consensus protocol definition 12 1.4.3 Properties of consensus protocols 12 1.4.4 Domain of application 12 1.5 Examples of consensus protocols 13 1.5.1 Proof of Stake (POS) . 13 1.5.2 Proof of Burn (POB) 14 1.5.3 Proof of Capacity (POC) 15 1.5.4 Proof of Elapsed Time (POET) 16 1.5.5 Proof of Authority (AOA) . 17 1.5.6 POW Proof of Work protocol . 18 1.6 Conclusion . . .. 18 2 In depth proof of work protocol analysis 19 2.1 Introduction . .. 19 2.2 Proof of work protocol 19 2.2.1 Definition . 19 2.2.2 Operating principle of PoW . 19 2.2.3 Incentive . . 21 2.2.4 Entities involved in the Mining Process .21 2.2.5 Transactions . 23 2.2.6 Network running Proof of work 24 2.2.7 Solving the Crypto Puzzle. 25 2.3 Cryptography and Block Building . 25 2.3.1 Hash function SHA-256. 25 2.3.2 Nonce .. . 26 2.3.3 Build blocks using nonce . 27 2.3.4 Block Reward . 27 2.3.5 Flowchart of Proof of Work28 2.4 Proof of Work Main Problems . 28 2.4.1 Computation Power 28 2.4.2 The 51% Attack 30 2.4.3 Forks . . . . 31 2.4.4 Double Spending 32 2.5 Related Work . . 32 2.6 Conclusion . . .. 33 3 Modeling and verification of PoW protocol in Uppaal 34 3.1 Introduction . . . 34 3.2 Modeling PoW protocol using Uppaal34 3.2.1 The Uppaal tool . 34 3.2.2 Description of PoW protocol in Uppaal 34 3.2.3 Proof of work algorithm 35 3.2.4 Structures . 35 3.2.5 Miner . . 37 3.2.6 Client . 40 3.3 Property verification . 43 3.3.1 The probablity of Reachability 43 3.3.2 The property of Safety 43 3.3.3 Property of Liveliness 43 3.3.4 Verification of qualifying properties 44 3.3.5 Probabilistic verification of properties. 45 3.3.6 Property simulation 47 3.3.7 Conclusion 48 General conclusion and perspective 50 Bibliography 52 |
Disponibilité (1)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| MINF/752 | Mémoire master | bibliothèque sciences exactes | Consultable |
