A Novel Integrated Strict Verification of Smart Contracts on Blockchain

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.