Smart Contract in the Loop: Fault Impact Assessment for Distributed Ledger Technologies.
Uloženo v:
| Název: | Smart Contract in the Loop: Fault Impact Assessment for Distributed Ledger Technologies. |
|---|---|
| Autoři: | Péter, Bertalan Zoltán, Ádám, Zsófia, Micskei, Zoltán, Kocsis, Imre |
| Zdroj: | Acta Cybernetica; 2025, Vol. 27 Issue 2, p197-220, 24p |
| Témata: | SYSTEM failures, CHECKS, BLOCKCHAINS, CONTRACTS |
| Abstrakt: | Due to their decentralized and trustless nature, blockchain and distributed ledger technologies are increasingly used in several domains, including critical applications. The behavior of such blockchain-integrated systems is typically driven by smart contracts. However, smart contracts are application-specific software and may contain faults with severe system-level impacts. This is especially true in the case of the extensively used Hyperledger Fabric (HLF) platform, where smart contracts are written in general-purpose languages (Java, among others), and applications can go far beyond handling virtual currency-like assets. In this work, we present a novel formal-verification-based approach to smart contract verification and a high-level empirical model of the HLF platform. Our Smart Contract in the Loop (SCIL) method uses a model checker (Java Pathfinder) to check whether specific error properties hold for a given smart contract, while a predefined combination of platform-level fault modes is active. We facilitate the checking of HLF smart contracts without modification and enable the propagation or non-propagation of platform faults through the smart contracts to the system failure level. [ABSTRACT FROM AUTHOR] |
| Copyright of Acta Cybernetica is the property of University of Szeged, Institute of Informatics and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Databáze: | Complementary Index |
Full Text Finder 
Nájsť tento článok vo Web of Science Buďte první, kdo okomentuje tento záznam!