Open Access Open Access  Restricted Access Subscription or Fee Access

Blockchain-based Smart contracts: Concepts & Challenges and Adoption in Potential Banking Sectors

Hany Elsaeed, Dr. Mohamed Badr Senousy


A Blockchain-based smart contract is a stored code to represent a contract between different parties and it executes automatically when predetermined terms and conditions met. In spite of the idea of Smart contract raised more than twenty years ago. The idea did not see the light until the emergence of Blockchain technology in 2008. With the advance in Blockchain technology, smart contracts are being use to serve a wide range of different applications. This paper explains the concept of smart contracts, its benefits and its applications focusing on banking sector. The paper also discusses the technical explanation about its execution and deployment through the Ethereum platform. Finally, the paper discusses the different challenges & future problems of smart contracts and proposed solutions.


Blockchain, DAO, Ethereum, EVM, Hyperledger, Solidity, Smart Contracts.

Full Text:



Nakamoto, Satoshi. "Bitcoin: A Peer-To-Peer Electronic Cash System." (2008)

Maher Alharby, and Aad van Moorsel , “Blockchain-Based Smart contracts : A systematic mapping study”, Taibah University, Medina, KSA, 2017.

YiningHu ,MadhusankaLiyanage, ArunaSeneviratne ,”Blockchain-based Smart Contracts Applications and Challenges“,University of New South Wales,Jun 2019.

C. K. Frantz and M. Nowostawski, “From institutions to code: Towards automated generation of smart contracts," in 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), pp. 210-215, IEEE, 2016.

Paritosh C. Basu , “ Emerging dimensions of Blockchain technology ”, AIMA Journal of Management & Research, Volume 13 Issue 1/4, ISSN 10974 – 497, February 2019.

N.Szabo, (1994) “Formalizing and securing relationships on public networks”, Available online at: [Accessed 15/09/2019

Husneara Sheikh, Rahima Meer Azmathullah , FaizaRizwan “Smart Contract Development, Adoption and Challenges: The Powered Blockchain”, University, Wadi Add a wasir, Riyadh, Saudi Arabia 2019

anonymous credit.html ; Wei Dai - Bitcoin Wiki.html

L. Luu, D.-H. Chu, H. Olickel, P. Saxena, and A. Hobor, “Making smart contracts smarter," in Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security,CCS '16, pp. 254-269, ACM, 2016

Infosys limited, Bengalurue, India, “Bolckchain adoption in financial institution, “,2017

Christopher Frantz, Martin K. Purvis , “nADICO: A Nested Grammar of Institutions”, University of Otago, New Zealand , 2013

Bahga, Arshdeep,andVijay K. Madisetti. ”Blockchain platform for industrial Internet of Things” Journal of Software Engineering and Applications , 2016

Bhabendu Kumar et al., “An Overview of Smart Contract and Use cases in Blockchain Technology “ , IISC, Bengaluru , India , 2018

K. Bhargavan, A. Delignat-Lavaud, C. Fournet, A. Gollamudi, G. Gonthier, N. Kobeissi, N.Kulatova, A. Rastogi, T. Sibut-Pinote, N. Swamy, et al., “Formal verification of smart contracts: Short paper," in Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, pp. 91-96, ACM, 2016. [16]

G. Bigi, A. Bracciali, G. Meacci, and E. Tuosto, “Validation of decentralised smart contracts through game theory and formal methods," in Programming Languages with Applications to Biology and Security, pp. 142-161, Springer, 2015. [1

Daejun Park, Yi Zhang, Manasvi Saxena “A Formal Verification Tool for Ethereum VM Bytecode”, University of Illinois at Urbana-Champaign, USA, ESEC/FSE ’18, November 4–9, 2018.

K. Delmolino, M. Arnett, A. Kosba, A. Miller, and E. Shi, “Step by step towards creating a safe smart contract: Lessons and insights from a cryptocurrency lab," in International Conference on Financial Cryptography and Data Security, pp. 79-94, Springer, 2016.

F. Idelberger, G. Governatori, R. Riveret, and G. Sartor, “Evaluation of logic-based smart contracts for Blockchain systems," in International Symposium on Rules and Rule Markup Languages for the Semantic Web,167-183, Springer, 2016.

N. Atzei, M. Bartoletti, and T. Cimoli, “A survey of attacks on ethereum smart contracts (sok)," in International Conference on Principles of Security and Trust, pp. 164-186, Springer, 2017.

A. Kosba, A. Miller, E. Shi, Z. Wen, and C. Papamanthou, “Hawk: The Blockchain model of cryptography and privacy-preserving smart contracts," in 2016 IEEE Symposium on Security and Privacy (SP),839-858, IEEE, 2016.

H. Watanabe, S. Fujimura, A. Nakadaira, Y. Miyazaki, A. Akutsu, and J. J. Kishigami, “Blockchain contract: A complete consensus using Blockchain," in 2015 IEEE 4th Global Conference on Consumer Electronics (GCCE), pp. 577-578, IEEE, 2015.


  • There are currently no refbacks.

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.