Download PDFOpen PDF in browser

A novel Integrated strict verification of smart contracts on Blockchain

EasyChair Preprint no. 2943

3 pagesDate: March 12, 2020


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 the 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.

Keyphrases: Blockchain, BZT (Byzantine fault tolerance method), formal verification, smart contracts

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
  author = {B. Aarthi and Rahul Kumar and Abhishek and Rahul Kumar},
  title = {A novel Integrated strict verification of smart  contracts on Blockchain},
  howpublished = {EasyChair Preprint no. 2943},

  year = {EasyChair, 2020}}
Download PDFOpen PDF in browser