SMART CONTRACTS ON BLOCKCHAIN: ARCHITECTURAL FOUNDATIONS, EXECUTION SEMANTICS, SECURITY ANALYSIS, AND EMERGING APPLICATIONS

This paper looked at contracts on blockchain focusing on how they are built how they work how safe they are and where they can be used. The study showed how blockchain technology makes systems that're safe, clear and can't be changed. These systems let smart contracts do deals automatically without needing people in the middle. The way the system is built showed that there are levels to it. These levels help to make sure that smart contracts work well and safely. The study also checked how the smart contracts work showing how the contract functions are started by transactions checked with agreement rules and saved forever on the blockchain. The tests and the check showed that smart contracts make things more automatic, clear and trustworthy in systems. By not using people in the middle and making sure that the rules are followed automatically smart contracts make things faster and cheaper while keeping the data safe and able to be checked. The results also showed how special codes help make sure that transactions are safe and that the contract data can't be changed without permission. With these good things the study found some problems with smart contracts. These problems include mistakes in the code of the contracts not being able to handle too many people and not having clear laws for blockchain contracts. Fixing these problems needs ways to write the smart contracts, new tools to check them better ways to make the blockchain work better and laws that support the use of blockchain contracts. In the end smart contracts are a step forward in technology. They could change areas, like money keeping track of things, health, peoples digital identities and how governments work.

[1]   N. Atzei, M. Bartoletti, and T. Cimoli, “A Survey of Attacks on Ethereum Smart Contracts,” Proceedings of the International Conference on Principles of Security and Trust, Springer, 2017. [2]            L. Luu, D. H. Chu, H. Olickel, P. Saxena, and A. Hobor, “Making Smart Contracts Smarter,” Proceedings of the ACM Conference on Computer and Communications Security (CCS), 2016. [3]   G. Wood, “Ethereum: A Secure Decentralised Generalised Transaction Ledger,” Ethereum Project Yellow Paper, 2014. [4]   M. Alharby and A. van Moorsel, “Blockchain-Based Smart Contracts: A Systematic Mapping Study,” International Journal of Computer Science and Network Security, vol. 17, no. 5, 2017. [5]   O. Novo, “Blockchain Meets IoT: An Architecture for Scalable Access Management in IoT,” IEEE Internet of Things Journal, vol. 5, no. 2, 2018. [6]   P. Tsankov et al., “Securify: Practical Security Analysis of Smart Contracts,” Proceedings of the ACM Conference on Computer and Communications Security, 2018. [7]   K. Christidis and M. Devetsikiotis, “Blockchains and Smart Contracts for the Internet of Things,” IEEE Access, vol. 4, pp. 2292–2303, 2016. [8]   N. Bhargavan et al., “Formal Verification of Smart Contracts: Short Survey,” Proceedings of the ACM Workshop on Programming Languages and Analysis for Security, 2016. [9]   [Z. Zheng, S. Xie, H. Dai, X. Chen, and H. Wang, “An Overview of Blockchain Technology: Architecture, Consensus, and Future Trends,” IEEE International Congress on Big Data, 2017. [10]        S. Nakamoto, “Bitcoin: A Peer-to-Peer Electronic Cash System,” Bitcoin White Paper, 2008.