Smart Contract from Coding to Execution
Abstract
This paper explores the lifecycle of a smart contract, from the stages of coding and deployment to execution and verification, in order to show that a smart contract can indeed be self-executing, transparent, and immutable. While such functionalities introduce efficiency, trust, and reliability within industries such as financial, supply chain management, and health sectors, smart contracts at the same time have a host of technical and legal challenges arising. This paper identifies key issues: critical vulnerabilities in coding, deployment on immutable blockchains, address assignment complexities, triggering mechanisms, and aspects of privacy. This study has adopted a critical analytical approach to evaluate the technical and legal aspects of smart contract formation, complemented by inductive reasoning to derive general insights and recommendations from specific cases and patterns. The study states that the apt legal framework must be provided for liability, regulatory compliance, and solutions that would be unlooked-for. It further supports hybrid models that blend automation with human oversight, superior communication protocols regarding updating an address, and the use of technologies that allow transparency with the preservation of confidentiality in a balance. The concrete ideas it offers are attempts at technology design aligned with legal frameworks by bringing developers, regulators, and stakeholders together in implementing certain solutions. It emphasizes that continuous research will hence be important to assure reliability, security, and equitability in the adoption of smart contracts, expanding possibilities for their application in an increasingly changing digital environment.
Keywords
Full Text:
PDFReferences
Abdelhamid, Manar & Hassan, Ghada. (2019). Blockchain and smart contracts. In Proceedings of the 8th International Conference on Software and Information Engineering, 91-95.
Agrawal, R., Chitre, M., & Mahmood, Ahmed. (2016). Design of an address assignment and resolution protocol for underwater networks. In OCEANS 2016-Shanghai, 1-7, IEEE.
Ahrendt, W., Pace, G. J., & Schneider, G. (2018). Smart contracts: a killer application for deductive source code verification. Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday, 1-18.
Aitzhan, N. Z., & Svetinovic, D. (2016). Security and privacy in decentralized energy trading through multi-signatures, blockchain and anonymous messaging streams. IEEE transactions on dependable and secure computing, 15(5), 840-852.
Albert, E., Correas, J., Gordillo, P., Román-Díez, G., & Rubio, A. (2020, October). Smart, and also reliable and gas-efficient, contracts. In 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST),2-2, IEEE.
Andesta, E., Faghih, F., & Fooladgar, M. (2020). Testing smart contracts gets smarter. In 2020 10th international conference on computer and knowledge engineering (ICCKE), 405-412, IEEE.
Angraal, S., Krumholz, H. M., & Schulz, W. L. (2017). Blockchain technology: applications in health care. Circulation: Cardiovascular quality and outcomes, 10(9), e003800.
Asgaonkar, A., & Krishnamachari, B. (2019, May). Solving the buyer and seller’s dilemma: A dual-deposit escrow smart contract for provably cheat-proof delivery and payment for a digital good without a trusted mediator. In 2019 IEEE international conference on blockchain and cryptocurrency (ICBC), 262-267, IEEE.
Atzei. Nicola, Bartoletti. Massimo & Cimoli. Tiziana, (2017). A survey of attacks on ethereum smart contracts (sok). In Principles of Security and Trust: 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings 6 Springer Berlin Heidelberg, 164-186.
Bandara, H. D., Xu, X., & Weber, I. (2020). Patterns for blockchain data migration. In Proceedings of the European Conference on Pattern Languages of Programs 2020, 1-19.
Bassan. Fabio & Rabitti. Maddalena, (2024). From smart legal contracts to contracts on blockchain: an empirical investigation. Computer Law & Security Review, 55, 106035.
Beniiche, A. (2020). A study of blockchain oracles. arXiv preprint arXiv:2004.07140.
Bodó, B., Gervais, D., & Quintais, J. P. (2018). Blockchain and smart contracts: the missing link in copyright licensing? International Journal of Law and Information Technology, 26(4), 311-336.
Brent, L., Jurisevic, A., Kong, M., Liu, E., Gauthier, F., Gramoli, V., ... & Scholz, B. (2018). Vandal: A scalable security analysis framework for smart contracts. arXiv preprint arXiv:1809.03981.
Buterin. Vitalik, "A next-generation smart contract and decentralized application platform" (2014), white paper, 2-1, 34.
Canfora, G., Di Sorbo, A., Laudanna, S., Vacca, A., & Visaggio, C. A. (2020). Gasmet: Profiling gas leaks in the deployment of solidity smart contracts. arXiv e-prints, arXiv-2008.
Chen, T., Li, Z., Zhou, H., Chen, J., Luo, X., Li, X., & Zhang, X. (2018). Towards saving money in using smart contracts. In Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 81-84.
Christidis. Konstantinos & Devetsikiotis. Michael, "Blockchains and smart contracts for the internet of things" (2016), 4, Ieee Access, 2298.
Dannen, C. (2017). Introducing Ethereum and solidity, 1, Berkeley: Apress, 159-160.
De Filippi. Primavera & Hassan. Samer, (2018). Blockchain technology as a regulatory technology: From code is law to law is code. arXiv preprint arXiv:1801.02507.
Durovic. Mateja & Janssen. André, (2019). Formation of smart contracts under contract law, The Cambridge handbook of smart contracts, blockchain technology and digital platforms, Cambridge University Press, 61-79.
Dwyer. Kevin, (2023). Ethereum’s Testnets Explained [2024] Holešky, Goerli, Sepolia, and More, available at: https://www.ankr.com/blog/ethereum-testnets-ultimate-guide/
Ethereum Foundation. (n.d.), (without year), Ethereum, A Secure Decentralized Generalized Transaction Ledger, Retrieved from, available at https://ethereum.org/
Fischer, M. P., Breitenbücher, U., Képes, K., & Leymann, F. (2017, September). Towards an approach for automatically checking compliance rules in deployment models. In Proceedings of The Eleventh International Conference on Emerging Security Information, Systems and Technologies (SECURWARE), 150-153.
Fröwis, Michael & Böhme, Rainer. (2017). In code we trust? Measuring the control flow immutability of all smart contracts deployed on Ethereum. In Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS International Workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 14-15, 2017, Proceedings, Springer International Publishing, 357-372.
Garside, A., Wilkinson, S., Blycha, N., & Staples, M. (2021). Digital infrastructure integrity protocol for smart and legal contracts diip 2021. Available at SSRN 3814811.
Godoy, J., Galeotti, J. P., Garbervetsky, D., & Uchitel, S. (2022, October). Predicate abstractions for smart contract validation. In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 289-299.
Grishchenko. Ilya, Maffei. Matteo & Schneidewind. Clara, (2018). A semantic framework for the security analysis of ethereum smart contracts. In Principles of Security and Trust: 7th International Conference, POST 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings 7, Springer International Publishing, 243-269.
Gritti, F., Ruaro, N., McLaughlin, R., Bose, P., Das, D., Grishchenko, I., ... & Vigna, G. (2023). Confusum contractum: confused deputy vulnerabilities in ethereum smart contracts. In 32nd USENIX Security Symposium (USENIX Security 23), 1793-1810.
Gudmundsson, J., Hougaard, J. L., & Ko, C. Y. (2024). Sharing sequentially triggered losses: Automated conflict resolution through smart contracts. Management Science, 70(3), 1773-1786.
Hou, R., Traverson, L., Chabrol, F., Gautier, L., de Araújo Oliveira, S. R., David, P. M., ... & Ridde, V. (2023). Communication and information strategies Implemented by four hospitals in Brazil, Canada, and France to deal with COVID-19 Healthcare-Associated Infections. Health Systems & Reform, 9(2), 2223812.
Hu. Yining, Liyanage. Madhusanka, Mansoor. Ahsan, Thilakarathna. Kanchana, Jourjon. Guillaume, Seneviratne. Aruna, (2022). Blockchain-based smart contracts-applications and challenges, https://doi.org/10.48550/arXiv.1810.04699 , PP1-26.
Huang, M., Chen, J., Jiang, Z., & Zheng, Z. (2024, February). Revealing Hidden Threats: An Empirical Study of Library Misuse in Smart Contracts, In Proceedings of the 46th IEEE/ACM International Conference on Software Engineering 1-12.
Hwang. Seon-Jin, Choi. Seok-Hwan, Shin. Jinmyeong, Choi. Yoon-Ho, (2022). CodeNet: Code-targeted convolutional neural network architecture for smart contract vulnerability detection, IEEE Access, 10, 32595.
Imteaj. Ahmed, Amini. M. Hadi, Pardalos. Panos M, (2021). Toward smart contract and consensus mechanisms of Blockchain. Foundations of Blockchain: Theory and Applications, ISBN : 978-3-030-75024-4, 15-28.
Khan, N., Lahmadi, A., Francois, J., & State, R. (2018, April). Towards a management plane for smart contracts: Ethereum case study. In NOMS 2018-2018 IEEE/IFIP Network Operations and Management Symposium, 1-6, IEEE.
Knecht, M., & Stiller, B. (2022). CASC: Content Addressed Smart Contracts. In 2022 IEEE International Conference on Blockchain (Blockchain), 326-333, IEEE.
Kuppuswamy, S., & Kodavali, L. (2024). Chapter Six-Bayesian network-based quality assessment of blockchain smart contracts. Adv. Comput, 132, 85-110.
Madir, J. (2018). Smart contracts:(how) do they fit under existing legal frameworks?. Available at SSRN 3301463.
Merlec, M. M., Sinai, N. K., & In, H. P. (2023, October). A Blockchain-based Trustworthy and Secure Review System for Decentralized e-Portfolio Platforms. In 2023 14th International Conference on Information and Communication Technology Convergence (ICTC), 675-680, IEEE.
Molina-Jimenez, C., & Felizia, S. M. (2024). On the use of smart hybrid contracts to provide flexibility in algorithmic governance, Data & Policy, 6, e8.
Nelaturu, K., Mavridou, A., Stachtiari, E., Veneris, A., & Laszka, A. (2022). Correct-by-design interacting smart contracts and a systematic approach for verifying ERC20 and ERC721 contracts with VeriSolid. IEEE Transactions on Dependable and Secure Computing, 20(4), 3110-3127.
Nelaturu, K., Mavridoul, A., Veneris, A., & Laszka, A. (2020, May). Verified development and deployment of multiple interacting smart contracts with VeriSolid. In 2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-9, IEEE.
Nollkaemper, A., & Jacobs, D. (2012). Shared responsibility in international law: a conceptual framework, Mich. J. Int'l L., 34, 359.
Ojog, S. (2021). The emerging world of decentralized finance. Informatica Economica, 25(4), 43-52.
Oliva, G. A., & Hassan, A. E. (2021, August). The gas triangle and its challenges to the development of blockchain-powered applications. In Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 1463-1466.
Oluwatosin. Serah, (2023). Mastering Addresses In Ethereum, avilabile at: https://medium.com/@ajaotosinserah/mastering-addresses-in-ethereum-5411ba6c3b0f
Otieno, M., Odera, D., & Ounza, J. E. (2023). Theory and practice in secure software development lifecycle: A comprehensive survey, World Journal of Advanced Research and Reviews, 18(3), 053-078.
Pacheco, M., Oliva, G. A., Rajbahadur, G. K., & Hassan, A. E. (2023). What makes Ethereum blockchain transactions be processed fast or slow? An empirical study. Empirical Software Engineering, 28(2), 39.
Papadouli, V., & Papakonstantinou, V. (2023). A preliminary study on artificial intelligence oracles and smart contracts: A legal approach to the interaction of two novel technological breakthroughs. Computer Law & Security Review, 51, 105869.
Patel, A., & Singh, B. (2022). Implementation of Smart Contract Using Ethereum Blockchain. In International Conference on Advanced Communication and Intelligent Systems, Cham: Springer Nature Switzerland, 160-169.
Pereira. Carla Roberta, da Silva. Andrea Lago, Tate. Wendy Lea, Christopher. Martin. (2020). Purchasing and supply management (PSM) contribution to supply-side resilience, International Journal of Production Economics, 228(6),107740.
Rashid, A., & Siddique, M. J. (2019, February). Smart contracts integration between blockchain and internet of things: Opportunities and challenges. In 2019 2nd International Conference on Advancements in Computational Sciences (ICACS), 1-9, IEEE.
Restack, (2024). Smart Contract Vulnerabilities Scanning Tools, available at: https://www.restack.io/p/smart-contract-vulnerabilities-answer-scanning-tools
Rozario, A. M., & Vasarhelyi, M. A. (2018). Auditing with Smart Contracts, International Journal of Digital Accounting Research, 18.
Saberi, S., Kouhizadeh, M., Sarkis, J., & Shen, L. (2019). Blockchain technology and its relationships to sustainable supply chain management. International journal of production research, 57(7), 2117-2135.
Savelyev. Alexander, (2017). Contract law 2.0: ‘Smart’ contracts as the beginning of the end of classic contract law, Information & Communications Technology Law, DOI: 10.1080/13600834.2017.1301036, 126.
Sedlmeir, J., Lautenschlager, J., Fridgen, G., & Urbach, N. (2022). The transparency challenge of blockchain in organizations. Electronic Markets, 32(3), 1779-1794.
Seitenov, A., & Smagulova, G. (2020). Distribution of ethereum blockchain addresses. Scientific Journal of Astana IT University, (4), 41-48.
Semnani, A., & Yang, G. (2024). Beyond Collectibles: A Comprehensive Review of Non-Fungible Token Applications. Available at SSRN 5046792.
Seneviratne, O. (2024). The Feasibility of a Smart Contract" Kill Switch". arXiv preprint arXiv, 2407.10302.
Shaji Varughese, J. (2024). Streamlining Regulatory Processes with Blockchain Technology: Case Studies and Best Practices, International Journal of Science and Research (IJSR), 1-6.
Sharma, T. (2020). Installing Frameworks, Deploying, and Testing Smart Contracts in Ethereum Platform, In Bitcoin and Blockchain, CRC Press 137-162.
Shein, Esther. (2021). Converting laws to programs, Communications of the ACM, 65(1), 15-16.
Shuvo. Mahbub, (2023). Smart Contracts in Supply Chain – 4 Challenges of Implementing, available at: https://coredevsltd.com/articles/smart-contracts-in-supply-chain/
Signer, C. (2018). Gas cost analysis for ethereum smart contracts, (Master's thesis, ETH Zurich, Department of Computer Science). 20-35.
Sindhavad. Aditya, Yadav. Ramavtar & Borse. Yogita, (2023). Crowdfunding using Blockchain. In 2023 7th International Conference On Computing, Communication, Control And Automation (ICCUBEA), 1-6, IEEE.
Singh, J., Sahu, D. P., Murkute, S., Yadav, U., Agarwal, M., & Kumar, P. (2023). Deep Learning Based Bug Detection in Solidity Smart Contracts. In International Conference on Recent Trends in Image Processing and Pattern Recognition, Cham: Springer Nature Switzerland, 101-109.
Sonawane, N., Gupta, P., Laksh, C., & Gururaja, H. S. (2023, October). A Blockchain Solution for Enhancing Risk Management and Transparency in Loan Disbursements. In 2023 International Conference on Evolutionary Algorithms and Soft Computing Techniques (EASCT), 1-6, IEEE.
Szabo. Nick, (1996). Smart Contracts: Building Blocks for Digital Markets, Extropy, #16. Original publication. available online: https://www.fon.hum.uva.nl/rob/Courses/InformationInSpeech/CDROM/Literature/LOTwinterschool2006/szabo.best.vwh.net/smart_contracts_2.html
Tatar, U., Gokce, Y., & Nussbaum, B. (2020). Law versus technology: Blockchain, GDPR, and tough tradeoffs. Computer Law & Security Review, 38, 105454.
Timuçin, Tunahan & Biroğul, Serdar. (2023). THE EVOLUTION OF SMART CONTRACT PLATFORMS: A LOOK AT CURRENT TRENDS AND FUTURE DIRECTIONS. Mugla Journal of Science and Technology, 9(2), 46-55.
Vasiu. Ioana & Vasiu. Lucian, (2023). A Framework for Effective Smart Contracting, Bratislava Law Review, 7(2), 107-122.
Voss, W. G. (2021). Data protection issues for smart contracts. Smart Contracts: Technological, Business and Legal Perspectives (Marcelo Corrales, Mark Fenwick & Stefan Wrbka, eds., Hart Publishing/Bloomsbury, 2021), https://www.bloomsburycollections.com/book/smart-contracts-technological-business-and-legal-perspectives .
Wood, G. (2016). Polkadot: Vision for a heterogeneous multi-chain framework. White paper, 21(2327), 4662.
Wood, Gavin. (2014). Ethereum: A secure decentralised generalised transaction ledger. Ethereum project yellow paper, 151(2014), 1-32.
Worley. Carl & Skjellum. Anthony, (2019). Opportunities, challenges, and future extensions for smart-contract design patterns. In Business Information Systems Workshops: BIS 2018 International Workshops, Berlin, Germany, Revised Papers 21, Springer International Publishing, 264-276.
Wright. Aaron & De Filippi. Primavera, (2015). Decentralized blockchain technology and the rise of lex cryptographia. Available at SSRN 2580664.
Xia, P., Wang, H., Yu, Z., Liu, X., Luo, X., Xu, G., & Tyson, G. (2022, October). Challenges in decentralized name management: the case of ENS. In Proceedings of the 22nd ACM Internet Measurement Conference, 65-82.
Yan, Y., Wei, C., Guo, X., Lu, X., Zheng, X., Liu, Q., ... & Jiang, G. (2020, June). Confidentiality support over financial grade consortium blockchain. In Proceedings of the 2020 ACM SIGMOD international conference on management of data, 2227-2240.
Zarir, A. A., Oliva, G. A., Jiang, Z. M., & Hassan, A. E. (2021). Developing cost-effective blockchain-powered applications: A case study of the gas usage of smart contract transactions in the ethereum blockchain platform. ACM Transactions on Software Engineering and Methodology (TOSEM), 30(3), 1-38.
Zetzsche, D. A., Buckley, R. P., & Arner, D. W. (2018). The distributed liability of distributed ledgers: Legal risks of blockchain. U. Ill. L. Rev., 1361.
Zhou. Haozhe, Milani Fard. Amin & Makanju. Adetokunbo, (2022). The state of ethereum smart contracts security: Vulnerabilities, countermeasures, and tool support. Journal of Cybersecurity and Privacy, 2(2), 358-378.
Zima, M. (2016). Sending Money Like Sending E-mails: Cryptoaddresses, Universal Decentralised Identities. arXiv preprint arXiv, 1612.04982.
Refbacks
- There are currently no refbacks.