A Review on Recent Progress of Smart Contract in Blockchain

被引:35
作者
Wu, Canghai [1 ]
Xiong, Jie [1 ]
Xiong, Huanliang [1 ]
Zhao, Yingding [1 ]
Yi, Wenlong [1 ]
机构
[1] Jiangxi Agr Univ, Software Coll, Nanchang 330045, Jiangxi, Peoples R China
关键词
Smart contracts; Blockchains; Licenses; Codes; Virtual machining; Containers; Bitcoin; Blockchain; smart contract; transaction automation; non tamperability; SECURITY;
D O I
10.1109/ACCESS.2022.3174052
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
A smart contract, in form, is represented as a piece of computer program code involving related commercial transactions and algorithms. Essentially, this is the computerization of the pre-agreed contract between the participants. This special contract agreement is automatically verified and executed once preset conditions are triggered. Smart contracts are not only used in the field of financial transactions, but also include many aspects of social life. Although smart contract technology has unique advantages, it is still in the early stages of development, and many problems remain to be solved. First, this article briefly summarizes the development process of blockchain, and then focuses on the research progress of blockchain 2.0-smart contracts. Second, the related concepts of smart contracts are presented, and the working mechanism of smart contracts and the difficulties faced by smart contracts are elaborated. Finally, in response to these problems and dilemmas, the corresponding solutions and ideas are summarized, and the future challenges and development trends of smart contracts are analyzed and judged.
引用
收藏
页码:50839 / 50863
页数:25
相关论文
共 92 条
[71]   Iota Tangle: A cryptocurrency to communicate Internet-of-Things data [J].
Silvano, Wellington Fernandes ;
Marcelino, Roderval .
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2020, 112 :307-319
[72]  
Szabo N., 1997, First Monday, V2
[73]   SmartCheck: Static Analysis of Ethereum Smart Contracts [J].
Tikhomirov, Sergei ;
Voskresenskaya, Ekaterina ;
Ivanitskiy, Ivan ;
Takhaviev, Ramil ;
Marchenko, Evgeny ;
Alexandrov, Yaroslav .
2018 IEEE/ACM 1ST INTERNATIONAL WORKSHOP ON EMERGING TRENDS IN SOFTWARE ENGINEERING FOR BLOCKCHAIN (WETSEB), 2018, :9-16
[74]  
Vitalik Buterin, 2014, ETHEREUM NEXT GENERA
[75]   An Analysis of Smart Contracts Security Threats Alongside Existing Solutions [J].
Vivar, Antonio Lopez ;
Castedo, Alberto Turegano ;
Orozco, Ana Lucila Sandoval ;
Villalba, Luis Javier Garcia .
ENTROPY, 2020, 22 (02)
[76]   Propositions as Types [J].
Wadler, Philip .
COMMUNICATIONS OF THE ACM, 2015, 58 (12) :75-84
[77]   zk-AuthFeed: Protecting Data Feed to Smart Contracts With Authenticated Zero Knowledge Proof [J].
Wan, Zhiguo ;
Zhou, Yan ;
Ren, Kui .
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2023, 20 (02) :1335-1347
[78]  
[王健 Wang Jian], 2021, [信息网络安全, Netinfo Security], P40
[79]   ContractWard: Automated Vulnerability Detection Models for Ethereum Smart Contracts [J].
Wang, Wei ;
Song, Jingjing ;
Xu, Guangquan ;
Li, Yidong ;
Wang, Hao ;
Su, Chunhua .
IEEE TRANSACTIONS ON NETWORK SCIENCE AND ENGINEERING, 2021, 8 (02) :1133-1144
[80]   ACE: Asynchronous and Concurrent Execution of Complex Smart Contracts [J].
Wuest, Karl ;
Matetic, Sinisa ;
Egli, Silvan ;
Kostiainen, Kari ;
Capkun, Srdjan .
CCS '20: PROCEEDINGS OF THE 2020 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, 2020, :587-600