Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond

被引：24
|
作者：
Azzopardi, Shaun [1 ]
Ellul, Joshua [1 ,2 ]
Pace, Gordon J. [1 ,2 ]
机构：
[1] Univ Malta, Dept Comp Sci, Msida, Malta
[2] Univ Malta, Ctr Distributed Ledger Technol, Msida, Malta
来源：
RUNTIME VERIFICATION (RV 2018) | 2018年 / 11237卷
关键词：
ORIENTED PROPERTIES; RUNTIME; SPECIFICATIONS;
D O I：
10.1007/978-3-030-03769-7_8
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Smart contracts present new challenges for runtime verification techniques, due to features such as immutability of the code and the notion of gas that must be paid for the execution of code. In this paper we present the runtime verification tool CONTRACTLARVA and outline its use in instrumenting monitors in smart contracts written in Solidity, for the Ethereum blockchain-based distributed computing platform. We discuss the challenges faced in doing so, and how some of these can be addressed, using the ERC-20 token standard to illustrate the techniques. We conclude by proposing a list of open challenges in smart contract and blockchain monitoring.
引用
收藏
页码：113 / 137
页数：25
相关论文
共 50 条
  • [1] What Do We Mean by Smart Contracts? Open Challenges in Smart Contracts
    Vigliotti, Maria G.
    FRONTIERS IN BLOCKCHAIN, 2021, 3
  • [2] Transaction Monitoring of Smart Contracts
    Capretto, Margarita
    Ceresa, Martin
    Sanchez, Cesar
    RUNTIME VERIFICATION (RV 2022), 2022, 13498 : 162 - 180
  • [3] Monitoring the Future of Smart Contracts
    Capretto, Margarita
    Ceresa, Martin
    Sanchez, Cesar
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2024, 2024, 14573 : 122 - 142
  • [4] On Sharding Open Blockchains with Smart Contracts
    Tao, Yuechen
    Li, Bo
    Jiang, Jingjie
    Ng, Hok Chu
    Wang, Cong
    Li, Baochun
    2020 IEEE 36TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE 2020), 2020, : 1357 - 1368
  • [5] Going Beyond Open Data: Challenges and Motivations for Smart Disclosure in Ethical Consumption
    Sayogo, Djoko Sigit
    Zhang, Jing
    Pardo, Theresa A.
    Tayi, Giri K.
    Hrdinova, Jana
    Andersen, David F.
    Luna-Reyes, Luis Felipe
    JOURNAL OF THEORETICAL AND APPLIED ELECTRONIC COMMERCE RESEARCH, 2014, 9 (02): : 1 - 16
  • [6] An overview on smart contracts: Challenges, advances and platforms
    Zheng, Zibin
    Xie, Shaoan
    Dai, Hong-Ning
    Chen, Weili
    Chen, Xiangping
    Weng, Jian
    Imran, Muhammad
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2020, 105 : 475 - 491
  • [7] The Risks and Challenges of Implementing Ethereum Smart Contracts
    Harris, Christopher G.
    2019 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN AND CRYPTOCURRENCY (ICBC), 2019, : 104 - 107
  • [8] Smart contracts for the Internet of Things: opportunities and challenges
    Fotiou, Nikos
    Polyzos, George C.
    2018 EUROPEAN CONFERENCE ON NETWORKS AND COMMUNICATIONS (EUCNC), 2018, : 256 - 260
  • [9] Challenges for Combining Smart Contracts with Trusted Computing
    Brandenburger, Marcus
    Cachin, Christian
    PROCEEDINGS OF THE 3RD WORKSHOP ON SYSTEM SOFTWARE FOR TRUSTED EXECUTION (SYSTEX'18), 2018, : 20 - 21
  • [10] SoK: Research status and challenges of blockchain smart contracts
    Wang, Feng
    Lu, Yang
    Zhang, Qiang
    Liu, Yang
    Liu, Linlin
    Zhang, Zhiruo
    PROCEEDINGS OF THE 5TH ACM INTERNATIONAL SYMPOSIUM ON BLOCKCHAIN AND SECURE CRITICAL INFRASTRUCTURE, ACM BSCI 2023, 2023, : 145 - 147
12345