A novel and practical runtime verification approach for Hyperledger Fabric, the leading cross-organizational blockchain platform, as an error detection facility for fault tolerance mechanisms; building on the proposition that, in contrast to the public setting, cross-organizational blockchains have ample computational headroom for their systematic use.
Abstract
Smart contracts in blockchains often implement critical functionality; consequently, their development-time software fault detection, removal, and avoidance have been the target of intensive research. However, the applicability of runtime dependability mechanisms to smart contracts has not been explored systematically, mainly due to the transaction pricing models of public blockchains. In this paper, we propose a novel and practical runtime verification approach for Hyperledger Fabric, the leading cross-organizational blockchain platform, as an error detection facility for fault tolerance mechanisms; building on the proposition that, in contrast to the public setting, cross-organizational blockchains have ample computational headroom for their systematic use. We introduce a smart contract entity framework architecture with reusable domain models and encapsulated runtime verification. We demonstrate and evaluate the approach on a Fabric implementation of the TPC-C benchmark.
This work refers to vulnerabilities that violate the security guarantees of cross-chain verification as Cross-chain Verification Vulnerabilities (CVVs), and conducts the first systematic empirical study of this vulnerability class.
Yu-Ying Wang, Yi Guo, Jiachi Chen The State Key Laboratory of Blockchain et al.· 0 citations
In blockchain-based systems, smart contracts facilitate transparent and automated transactions. However, since gas is needed for every operation carried out on the blockchain, inefficient smart contract design can greatly raise gas costs. In this paper, using our defined review criteria, we review existing literature o...
Hamza Hashmi, Ayesha Maqbool, Tauseef Rana· Journal of King Saud Univers...· 0 citations
Smart contracts, characterized by automation, transparency, and decentralization, can establish efficient, secure, and reliable blockchain fund management and data processing mechanisms, playing a crucial supporting role in blockchain application scenarios. However, security issues in smart contracts are increasingly p...
Gong-Ming Wang, Jun-Song Zhou, Bing-Sen Li et al.· Information· 0 citations
In the Machine-to-Everything (M2X) economy, machines, organizations, and people transact autonomously across organizational boundaries. Smart contracts, which are programs that execute the terms of an agreement on a blockchain, are central to this vision because they provide the transparency and security that such coor...
Sowelu Avanzo, V. Dwivedi, Alex Norta et al.· Proceedings of the 2026 Inte...· 0 citations
Blockchains enable decentralized applications through smart contracts---interactive programs executed through consensus. However, the inherently asynchronous nature of blockchain transaction ordering introduces a class of vulnerabilities known as frontrunning attacks, which have caused millions of dollars in losses in...
Sebastian Holler, Anna Piscitelli, Jannik Albrecht et al.· 0 citations
Background: Conventional property escrow depends on intermediaries and sequential verification, which can limit transaction visibility and create opportunities for delays, inconsistent records, and disputes. Blockchain-based smart contracts provide an auditable execution environment in which predefined conditions can a...
Omega Joel Patria Moata, Febi Elvira Messe, Fiktor Imanuel Tanesab· Journal of Business, Social...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
