Bayesian network-based quality assessment of blockchain smart contracts

Smart contracts (SC) are a key component in the Blockchain. Smart contracts are normal computer programs that are written mostly in solidity object-oriented programming language. Blockchain allows the completion of transactions only if the transaction obeying the smart contract rules. SC is not modifiable once they are deployed into the Blockchain. Thus it is essential to verify the quality of the smart contract before deploying it into the Blockchain. In this chapter, Bayesian Network Model is designed and constructed to measure the SC quality. The benefit of using a Bayesian network is that in addition to getting the probability of each quality measure, it will allow us to recommend the causes for the outcome of each quality measure. The proposed model with Bayesian Network helps in assessing the quality of smart contracts and the success rate is 82%.