Introduction of Formal Methods in Blockchain Consensus Mechanism and Its Associated Protocols
As the size of data is increasing exponentially, its security is a major concern. Emerging technology like blockchain is used to provide security to systems. Since the inception of blockchain, it has been adopted by researchers and industry both, however, it gained enormous attention after cryptocur...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2022-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/9801830/ |
| _version_ | 1798038369488338944 |
|---|---|
| author | Sudhani Verma Divakar Yadav Girish Chandra |
| author_facet | Sudhani Verma Divakar Yadav Girish Chandra |
| author_sort | Sudhani Verma |
| collection | DOAJ |
| description | As the size of data is increasing exponentially, its security is a major concern. Emerging technology like blockchain is used to provide security to systems. Since the inception of blockchain, it has been adopted by researchers and industry both, however, it gained enormous attention after cryptocurrency. It can be defined as a means of storing information in such a way that modification and hacking the system is difficult or impossible. A blockchain is a decentralized ledger that is digital and public, consisting of records of transactions called blocks. A consensus technology assures that all nodes agree on a unique sequence for appending blocks. A comprehensive examination of these algorithms will aid in understanding how and why each blockchain operates in the manner that it does. In this study, we addressed extensively used consensus techniques in the blockchain and the importance of consensus protocol in blockchain technology. The underlying consensus algorithm is a critical component of every blockchain-based system which determine the performance and security of the system. Ensuring the correctness of consensus protocols is uttermost important to create trust in the blockchain-based systems and formal methods are the way to create that trust and develop correct and verified systems. Formal modeling is a method of writing a system mathematically and examining the correctness and verifying the developed system. This study analyzed the importance of consensus mechanisms and how formal methods are helping to develop a correct blockchain-based system. The current scenario of the application of formal methods in the consensus mechanism of blockchain for their verification is presented. |
| first_indexed | 2024-04-11T21:39:16Z |
| format | Article |
| id | doaj.art-47a741f2086a41399b259a49853b1a23 |
| institution | Directory Open Access Journal |
| issn | 2169-3536 |
| language | English |
| last_indexed | 2024-04-11T21:39:16Z |
| publishDate | 2022-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Access |
| spelling | doaj.art-47a741f2086a41399b259a49853b1a232022-12-22T04:01:39ZengIEEEIEEE Access2169-35362022-01-0110666116662410.1109/ACCESS.2022.31847999801830Introduction of Formal Methods in Blockchain Consensus Mechanism and Its Associated ProtocolsSudhani Verma0https://orcid.org/0000-0003-4765-9534Divakar Yadav1Girish Chandra2Department of Computer Science and Engineering, Institute of Engineering and Technology, Lucknow, IndiaDepartment of Computer Science and Engineering, Institute of Engineering and Technology, Lucknow, IndiaDepartment of Computer Science and Engineering, Institute of Engineering and Technology, Lucknow, IndiaAs the size of data is increasing exponentially, its security is a major concern. Emerging technology like blockchain is used to provide security to systems. Since the inception of blockchain, it has been adopted by researchers and industry both, however, it gained enormous attention after cryptocurrency. It can be defined as a means of storing information in such a way that modification and hacking the system is difficult or impossible. A blockchain is a decentralized ledger that is digital and public, consisting of records of transactions called blocks. A consensus technology assures that all nodes agree on a unique sequence for appending blocks. A comprehensive examination of these algorithms will aid in understanding how and why each blockchain operates in the manner that it does. In this study, we addressed extensively used consensus techniques in the blockchain and the importance of consensus protocol in blockchain technology. The underlying consensus algorithm is a critical component of every blockchain-based system which determine the performance and security of the system. Ensuring the correctness of consensus protocols is uttermost important to create trust in the blockchain-based systems and formal methods are the way to create that trust and develop correct and verified systems. Formal modeling is a method of writing a system mathematically and examining the correctness and verifying the developed system. This study analyzed the importance of consensus mechanisms and how formal methods are helping to develop a correct blockchain-based system. The current scenario of the application of formal methods in the consensus mechanism of blockchain for their verification is presented.https://ieeexplore.ieee.org/document/9801830/Blockchainconsensus protocolsdistributed ledger technologyformal methodsformal verification |
| spellingShingle | Sudhani Verma Divakar Yadav Girish Chandra Introduction of Formal Methods in Blockchain Consensus Mechanism and Its Associated Protocols IEEE Access Blockchain consensus protocols distributed ledger technology formal methods formal verification |
| title | Introduction of Formal Methods in Blockchain Consensus Mechanism and Its Associated Protocols |
| title_full | Introduction of Formal Methods in Blockchain Consensus Mechanism and Its Associated Protocols |
| title_fullStr | Introduction of Formal Methods in Blockchain Consensus Mechanism and Its Associated Protocols |
| title_full_unstemmed | Introduction of Formal Methods in Blockchain Consensus Mechanism and Its Associated Protocols |
| title_short | Introduction of Formal Methods in Blockchain Consensus Mechanism and Its Associated Protocols |
| title_sort | introduction of formal methods in blockchain consensus mechanism and its associated protocols |
| topic | Blockchain consensus protocols distributed ledger technology formal methods formal verification |
| url | https://ieeexplore.ieee.org/document/9801830/ |
| work_keys_str_mv | AT sudhaniverma introductionofformalmethodsinblockchainconsensusmechanismanditsassociatedprotocols AT divakaryadav introductionofformalmethodsinblockchainconsensusmechanismanditsassociatedprotocols AT girishchandra introductionofformalmethodsinblockchainconsensusmechanismanditsassociatedprotocols |