A novel Integrated strict verification of smart contracts on Blockchain

EasyChair Preprint 2943

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 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: BZT (Byzantine fault tolerance method), Blockchain, formal verification, smart contracts

@booklet{EasyChair:2943,
  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 2943},
  year      = {EasyChair, 2020}}