Software verification challenges in the blockchain ecosystem

被引:1
作者
Olivieri, Luca [1 ]
Spoto, Fausto [2 ]
机构
[1] CaFoscari Univ Venice, Venice, Italy
[2] Univ Verona, Verona, Italy
关键词
Blockchain; Smart contracts; Blockchain-oriented software; Software verification; Program analysis; Automatic verification; SMART CONTRACTS;
D O I
10.1007/s10009-024-00758-x
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Blockchain technology has created a new software development context, with its own peculiarities, mainly due to the guarantees that the technology must satisfy, that is, immutability, distributability, and decentralization of data. Its rapid evolution over the last decade implied a lack of adequate verification tools, exposing developers and users to critical vulnerabilities and bugs. This paper clarifies the extent of block chain-oriented software (BoS), that goes well beyond smart contracts. Moreover, it provides an overview of the challenges related to software verification in the blockchain context, encompassing smart contracts, blockchain layers, cross-chain applications, and, more generally, BoS. This study aims to highlight the shortcomings of the state-of-art and of the state-of-practice of software verification in that context and identify, at the same time, new research directions.
引用
收藏
页码:431 / 444
页数:14
相关论文
共 110 条
[1]   Cryptographic consensus mechanisms [J].
Aggarwal, Shubhani ;
Kumar, Neeraj .
BLOCKCHAIN TECHNOLOGY FOR SECURE AND SMART APPLICATIONS ACROSS INDUSTRY VERTICALS, 2021, 121 :211-226
[2]   Blockchain in Industries: A Survey [J].
Al-Jaroodi, Jameela ;
Mohamed, Nader .
IEEE ACCESS, 2019, 7 :36500-36515
[3]  
Allombert V., 2019, 17 INT C HIGH PERFOR, P1, DOI 10.1109/HPCS48598.2019.9188227
[4]   Evolution of Internet of Things From Blockchain to IOTA: A Survey [J].
Alshaikhli, Mays ;
Elfouly, Tarek ;
Elharrouss, Omar ;
Mohamed, Amr ;
Ottakath, Najmath .
IEEE ACCESS, 2022, 10 :844-866
[5]   Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains [J].
Androulaki, Elli ;
Barger, Artem ;
Bortnikov, Vita ;
Cachin, Christian ;
Christidis, Konstantinos ;
De Caro, Angelo ;
Enyeart, David ;
Ferris, Christopher ;
Laventman, Gennady ;
Manevich, Yacov ;
Muralidharan, Srinivasan ;
Murthy, Chet ;
Binh Nguyen ;
Sethi, Manish ;
Singh, Gari ;
Smith, Keith ;
Sorniotti, Alessandro ;
Stathakopoulou, Chrysoula ;
Vukolic, Marko ;
Cocco, Sharon Weed ;
Yellick, Jason .
EUROSYS '18: PROCEEDINGS OF THE THIRTEENTH EUROSYS CONFERENCE, 2018,
[6]  
[Anonymous], 2018, MITRE CVE 2018 10299
[7]  
[Anonymous], 2018, MITRE CVE 2018 11687
[8]  
[Anonymous], 2020, TENDERMINT WHAT IS T
[9]  
[Anonymous], 2010, MITRE CVE 2010 5139
[10]  
Antonopoulos A. M., 2018, MASTERING ETHEREUM B