A Novel Integrated Strict Verification of Smart Contracts on Blockchain
B. Aarthi1, Rahul Kumar2, Abhishek3, Rahul Kumar4
1B. Aarthi*, Assistant Professor, Department of Computer Science and Engineering, SRM Institute of Science and Technology, Ramapuram, Chennai (Tamil Nadu), India.
2Rahul Kumar, Department of Computer Science and Engineering, SRM Institute of Science and Technology, Ramapuram, Chennai (Tamil Nadu), India.
3Abhishek, Department of Computer Science and Engineering, SRM Institute of Science and Technology, Ramapuram, Chennai (Tamil Nadu), India.
4Rahul Kumar, Department of Computer Science and Engineering, SRM Institute of Science and Technology, Ramapuram, Chennai (Tamil Nadu), India
Manuscript received on March 15, 2020. | Revised Manuscript received on April 01, 2020. | Manuscript published on April 10, 2020. | PP: 1993-1995 | Volume-9 Issue-6, April 2020. | Retrieval Number: F3615049620/2020©BEIESP | DOI: 10.35940/ijitee.F3615.049620
Open Access | Ethics and Policies | Cite | Mendeley
© The Authors. Blue Eyes Intelligence Engineering and Sciences Publication (BEIESP). This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/)
Abstract: Blockchain is an evolving technology which helps in keeping records and process transactions in decentralized manner. Blockchain is considered as safest medium because of its decentralized nature and many protocols, algorithms which it follows to make sure that transaction are immutable. Blockchain concept basically uses BZT theorem, this is considered as one of secured algorithm to predict secure results. however formal verification approach for the smart contract is still the best way to perform verification. In our paper, we have depicted various algorithm according to which we can verify the smart contract in best possible way.
Keywords: Smart Contracts, Blockchain, Formal Verification, BZT (Byzantine Fault Tolerance).
Scope of the Article: Blockchain-enabled IoT Device and Data Security and Privacy