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 条
  • [31] Smart Contracts Integration between Blockchain and Internet of Things: Opportunities and Challenges
    Rashid, Azam
    Siddique, Muhammad Jawaid
    2019 2ND INTERNATIONAL CONFERENCE ON ADVANCEMENTS IN COMPUTATIONAL SCIENCES (ICACS), 2019, : 99 - 107
  • [32] Smart contracts
    De Filippi, Primavera
    Wray, Chris
    Sileno, Giovanni
    INTERNET POLICY REVIEW, 2021, 10 (02):
  • [33] Smart contracts
    Meitinger T.H.
    Informatik-Spektrum, 2017, 40 (4) : 371 - 375
  • [34] Intelligent contracts: Making smart contracts smart for blockchain intelligence
    Ouyang, Liwei
    Zhang, Wenwen
    Wang, Fei-Yue
    COMPUTERS & ELECTRICAL ENGINEERING, 2022, 104
  • [35] Automatic Monitoring System for Security Using IoT Devices and Smart Contracts
    Iwata, Kotono
    Omote, Kazumasa
    ADVANCED INFORMATION NETWORKING AND APPLICATIONS, AINA-2022, VOL 1, 2022, 449 : 205 - 216
  • [36] Consolidating Smart Contracts with Behavioral Contracts
    Wei, Guannan
    Xie, Danning
    Zhang, Wuqi
    Yuan, Yongwei
    Zhang, Zhuo
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (PLDI):
  • [37] Food Quality Monitoring System Based on Smart Contracts and Evaluation Models
    Yu, Bin
    Zhan, Ping
    Lei, Ming
    Zhou, Fang
    Wang, Peng
    IEEE ACCESS, 2020, 8 : 12479 - 12490
  • [38] Monitoring Infrastructure: The Challenges of Moving Beyond Petascale
    Bonnie, A.
    Illescas, D.
    Mason, M.
    2017 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER), 2017, : 785 - 788
  • [39] On Observing Contracts: Deontic Contracts Meet Smart Contracts
    Azzopardi, Shaun
    Pace, Gordon J.
    Schapachnik, Fernando
    LEGAL KNOWLEDGE AND INFORMATION SYSTEMS (JURIX 2018), 2018, 313 : 21 - 30
  • [40] A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges
    Alfuhaid, Sofana
    Amyot, Daniel
    Anda, Amal Ahmed
    Mylopoulos, John
    IEEE ACCESS, 2023, 11 : 65872 - 65890
12345