Smart Contract Satisfiability Checking for Blockchain Consistency

In a blockchain environment, smart contracts have been defined to be a way of setting up trust between parties by providing a self-executing equivalent of legal contracts. Besides, ensuring correctness and reliability of smart contracts is vital to checking trust in blockchain-based systems. In this paper, we discuss a logic-based approach in order to ensure the quality of the blockchain in terms of trustworthiness of smart contracts by considering some minors behaving as a logical satisfiability service. The service selection is designed as a Proof of Work of the minors.