Blockchain-based Smart Contracts: A Systematic Mapping Study [PDF]
An appealing feature of blockchain technology is smart contracts. A smart contract is executable code that runs on top of the blockchain to facilitate, execute and enforce an agreement between untrusted parties without the involvement of a trusted third party. In this paper, we conduct a systematic mapping study to collect all research that is relevant
Maher Alharby, Aad van Moorsel
arxiv +2 more sources
An Overview on Smart Contracts: Challenges, Advances and Platforms [PDF]
Smart contract technology is reshaping conventional industry and business processes. Being embedded in blockchains, smart contracts enable the contractual terms of an agreement to be enforced automatically without the intervention of a trusted third party.
Zibin Zheng+6 more
arxiv +3 more sources
Declarative Smart Contracts [PDF]
This paper presents DeCon, a declarative programming language for implementing smart contracts and specifying contract-level properties. Driven by the observation that smart contract operations and contract-level properties can be naturally expressed as relational constraints, DeCon models each smart contract as a set of relational tables that store ...
Chen, Haoxian+4 more
arxiv +3 more sources
Smart Contract Upgradeability on the Ethereum Blockchain Platform: An Exploratory Study [PDF]
Context: Smart contracts are computerized self-executing contracts that contain clauses, which are enforced once certain conditions are met. Smart contracts are immutable by design and cannot be modified once deployed, which ensures trustlessness. Despite smart contracts' immutability benefits, upgrading contract code is still necessary for bug fixes ...
arxiv
DEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode [PDF]
Smart contracts are Turing-complete programs running on the blockchain. They are immutable and cannot be modified, even when bugs are detected. Therefore, ensuring smart contracts are bug-free and well-designed before deploying them to the blockchain is extremely important. A contract defect is an error, flaw or fault in a smart contract that causes it
arxiv +1 more source
Probabilistic Framework For Loss Distribution Of Smart Contract Risk [PDF]
Smart contract risk can be defined as a financial risk of loss due to cyber attacks on or contagious failures of smart contracts. Its quantification is of paramount importance to technology platform providers as well as companies and individuals when considering the deployment of this new technology. That is why, as our primary contribution, we propose
arxiv
Blockchain Enabled Smart Contract Based Applications: Deficiencies with the Software Development Life Cycle Models [PDF]
With the recent popularity of Blockchain and other Distributed Ledger Technologies (DLT), blockchain enabled smart contract applications has attracted increased research focus. However, the immutability of the blocks, where the smart contracts are stored, causes conflicts with the traditional Software Development Life Cycle (SDLC) models usually ...
arxiv
An Empirical Study of Protocols in Smart Contracts [PDF]
Smart contracts are programs that are executed on a blockhain. They have been used for applications in voting, decentralized finance, and supply chain management. However, vulnerabilities in smart contracts have been abused by hackers, leading to financial losses. Understanding state machine protocols in smart contracts has been identified as important
arxiv
ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection [PDF]
Decentralized cryptocurrencies feature the use of blockchain to transfer values among peers on networks without central agency. Smart contracts are programs running on top of the blockchain consensus protocol to enable people make agreements while minimizing trusts.
arxiv +1 more source
Abusing the Ethereum Smart Contract Verification Services for Fun and Profit [PDF]
Smart contracts play a vital role in the Ethereum ecosystem. Due to the prevalence of kinds of security issues in smart contracts, the smart contract verification is urgently needed, which is the process of matching a smart contract's source code to its on-chain bytecode for gaining mutual trust between smart contract developers and users.
arxiv