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 条

[21] Smart Contracts on the Management of EHR: Review, Challenges, and Future Directions
Beltran Triana, Carlos Andres Felipe
Paul Guillen, Edward
Rojas Reales, Wilson Mauro
2022 6TH INTERNATIONAL CONFERENCE ON SYSTEM RELIABILITY AND SAFETY, ICSRS, 2022, : 318 - 323
[22] Mobile Smart Contracts: Exploring Scalability Challenges and Consensus Mechanisms
Deval, Vipin
Dwivedi, Vimal Kumar
Dixit, Abhishek
Norta, Alex
Shah, Syed Attique
Sharma, Rahul
Draheim, Dirk
IEEE ACCESS, 2024, 12 : 34265 - 34288
[23] An Energy Trade Framework Using Smart Contracts: Overview and Challenges
Aloqaily, Moayad
Boukerche, Azzedine
Bouachir, Ouns
Khalid, Fariea
Jangsher, Sobia
IEEE NETWORK, 2020, 34 (04): : 119 - 125
[24] Smart contracts in Spain; the regulation of smart contracts
Legeren-Molina, Antonio
REVISTA DE DERECHO CIVIL, 2018, 5 (02): : 193 - 241
[25] Blockchain and Smart Contracts. Approach to their Legal Problems and Challenges
Padilla Sanchez, Jorge Alberto
REVISTA DE DERECHO PRIVADO, 2020, (39) : 175 - 201
[26] Security Challenges and Opportunities for Smart Contracts in Internet of Things: A Survey
Peng, Kai
Li, Meijun
Huang, Haojun
Wang, Chen
Wan, Shaohua
Choo, Kim-Kwang Raymond
IEEE INTERNET OF THINGS JOURNAL, 2021, 8 (15) : 12004 - 12020
[27] Are smart contracts too smart for Supply Chain 4.0? A blockchain framework to mitigate challenges
Grida, Mohamed
Mostafa, Noha A.
JOURNAL OF MANUFACTURING TECHNOLOGY MANAGEMENT, 2023, 34 (04) : 644 - 665
[28] Recent trends of smart nonintrusive load monitoring in buildings: A review, open challenges, and future directions
Himeur, Yassine
Alsalemi, Abdullah
Bensaali, Faycal
Amira, Abbes
Al-Kababji, Ayman
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2022, 37 (10) : 7124 - 7179
[29] Future Contracts: Smart Contracts
Kashyap, Sistla
Pathak, Pankaj
CARDIOMETRY, 2022, (24): : 729 - 736
[30] Implementation and Challenges of Utilizing the Smart Contracts Automation Tool in the Construction Industry
Alqahtani, Fahad K.
Alsharef, Abdullah
Bin Dakhel, Abdullah
Alshaya, Hamad
Sherif, Mohamed
CONSTRUCTION RESEARCH CONGRESS 2024: CONTRACTING, DELIVERY, SCHEDULING, ESTIMATING, ECONOMICS, AND ORGANIZATIONAL MANAGEMENT AND PLANNING IN CONSTRUCTION, 2024, : 155 - 165

← 1 2 3 4 5 →