Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond

被引：22
|
作者：
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 条
  • [41] Blockchain, Smart Contracts and law: Smart Contracts as risk for computer scientists
    Hoffmann T.
    Skwarek V.
    Informatik-Spektrum, 2019, 42 (03) : 197 - 204
  • [42] Systematic literature review on smart contracts in the construction industry: Potentials, benefits, and challenges
    Xuling Ye
    Ningshuang Zeng
    Markus König
    Frontiers of Engineering Management, 2022, 9 : 196 - 213
  • [43] Systematic literature review on smart contracts in the construction industry: Potentials, benefits, and challenges
    Ye, Xuling
    Zeng, Ningshuang
    Koenig, Markus
    FRONTIERS OF ENGINEERING MANAGEMENT, 2022, 9 (02) : 196 - 213
  • [44] Systematic literature review on smart contracts in the construction industry:Potentials,benefits,and challenges
    Xuling YE
    Ningshuang ZENG
    Markus K?NIG
    Frontiers of Engineering Management, 2022, 9 (02) : 196 - 213
  • [45] Applications of Blockchain and Smart Contracts to Address Challenges of Cooperative, Connected, and Automated Mobility
    Kontos, Christos
    Panagiotakopoulos, Theodor
    Kameas, Achilles
    Sensors, 2024, 24 (19)
  • [46] Research Challenges of Open Data as a Service for Smart Cities
    Walletzky, Leonard
    Romanovska, Frantiska
    Toli, Angeliki Maria
    Ge, Mouzhi
    PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE (CLOSER), 2020, : 468 - 472
  • [47] How are Solidity smart contracts tested in open source projects? An exploratory study
    Palechor, Luisa
    Bezemer, Cor-Paul
    3RD ACM/IEEE INTERNATIONAL CONFERENCE ON AUTOMATION OF SOFTWARE TEST (AST 2022), 2022, : 165 - 169
  • [48] Aplos: Smart Contracts Made Smart
    Bandara, Eranga
    Ng, Wee Keong
    Ranasinghe, Nalin
    De Zoysa, Kasun
    BLOCKCHAIN AND TRUSTWORTHY SYSTEMS, BLOCKSYS 2019, 2020, 1156 : 431 - 445
  • [49] Smart Contracts for Smart Supply Chains
    Prause, Gunnar
    IFAC PAPERSONLINE, 2019, 52 (13): : 2501 - 2506
  • [50] Smart Contracts: A Synoposis
    Tissaoui, Linda
    Liu, Joyling
    Marcotte, Dan M.
    EUROPEAN REVIEW OF PRIVATE LAW, 2018, 26 (06): : 943 - 949
12345