An information system for the evaluation of blockchain smart contracts' effectiveness

  • Alexander Panayotov Sofia University, FMI
Keywords: information system, blockchain, smart contracts, measuring effectiveness, index of effectiveness


Blockchain smart contracts have quickly become a focal point of research and development. Their autonomous, decentralized, transparent and secure nature allows for enforcement of agreement between multiple parties, with no need for trust as a prerequisite and no intermediaries to facilitate the relationship. However, this shift in paradigm, the significant difference with conventional software, and a variety of decentralization specifics has made development of reliable and effective smart contracts extremely difficult. The tendency has been shown by the short, yet turbulent history of smart contracts, full of numerous attacks, exploits, thefts, and failures. In this paper, the authors address this by developing an information system for the automated evaluation of the effectiveness of blockchain smart contracts. The system implements a previously created formal model that is used to calculate the effectiveness of a smart contract, based on specified factors. The information system provides as a result the level of effectiveness in the form of an output metric called Smart Contract Index of Effectiveness, which quantifies the level of potential risk to the effectiveness of a smart contract. System requirements, architecture, technologies and process are discussed. Direction for future development of the information system and further specification of its scope and functionality is also provided.


1. Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system. [online] Available at: [Accessed January, 8th, 2023].

2. 5 Major Types of Blockchain Protocols | Analytics Steps, [online] Available at: [Accessed January, 8th, 2023].

3. Blockchain Strategy | Shaping Europe’s digital future (, [online] Available at: [Accessed January, 8th, 2023].

4. Mavridou, A., Laszka, A., Stachtiari, E., Dubey, A. (2019). VeriSolid: Correct-by-Design
Smart Contracts for Ethereum. In: Goldberg, I., Moore, T. (eds) Financial Cryptography and Data
security. FC 2019. Lecture Notes in Computer Science(), vol 11598. Springer, Cham.

5. Liu, Jing & Liu, Zhentian. (2019). A Survey on Security Verification of Blockchain Smart
Contracts. IEEE Access. 7. 77894-77904. 10.1109/ACCESS.2019.2921624

6. A. Panayotov and P. Ruskov, "Measuring the effectiveness of blockchain smart contracts," 2022 International Conference Automatics and Informatics (ICAI), 2022, pp. 73-77, doi: 10.1109/ICAI55857.2022.9960013.

7. Apps Script – Google Apps Script, [online] Available at: [Accessed January, 8th, 2023].
How to Cite
Panayotov, A. (2023). An information system for the evaluation of blockchain smart contracts’ effectiveness. Vanguard Scientific Instruments in Management, 18. Retrieved from[]=316