Results 11 to 20 of about 1,554,184 (382)
Internet Policy Review, 2021 A smart contract is code deployed in a blockchain environment, or the source code from which such code was compiled.
Primavera De Filippi +2 more
doaj +10 more sources
Smart Contract Broker: Improving Smart Contract Reusability in a Blockchain Environment
Sensors, 2023 In this paper, we propose a smart contract broker to improve the reusability of smart contracts in a blockchain environment. The current blockchain platform lacks a standard approach to sharing and managing smart contracts, which makes it difficult for ...
Joonseok Park +2 more
doaj +3 more sources
Declarative Smart Contracts [PDF]
arXiv, 2022 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 Contracts in the New Era of Contract Law
Цифровое право, 2020 This essay examines whether smart contract innovation is capable of displacing the orthodox adherence to traditional contracts. This examination is underpinned by an analysis of the legality of smart contracts, through which it is exemplified that smart ...
Alexandros A. Papantoniou
doaj +4 more sources
Formal Verification of Blockchain Smart Contracts via ATL Model Checking
IEEE Access, 2022 A blockchain is a list of data blocks as a publicly distributed ledger, which are linked together using cryptography. By allowing Turing-complete programming languages to implement smart contracts, recent blockchains such as Ethereum can reduce needs in ...
Wonhong Nam, Hyunyoung Kil
doaj +2 more sources
Adding Concurrency to Smart Contracts [PDF]
arXiv, 2017 Modern cryptocurrency systems, such as Ethereum, permit complex financial transactions through scripts called smart contracts. These smart contracts are executed many, many times, always without real concurrency. First, all smart contracts are serially executed by miners before appending them to the blockchain.
Paul Gazzillo +3 more
arxiv +7 more sources
Smart contracts in energy systems: A systematic review of fundamental approaches and implementations
Renewable and Sustainable Energy Reviews, 2022 Marcelo Salgado-bravo +2 more
exaly +2 more sources
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis [PDF]
International Conference on Software Engineering, 2023 Smart contracts are prone to various vulnerabilities, leading to substantial financial losses over time. Current analysis tools mainly target vulnerabilities with fixed control- or data-flow patterns, such as re-entrancy and integer overflow.
Yuqiang Sun +7 more
semanticscholar +1 more source
Security Threat Mitigation for Smart Contracts: A Comprehensive Survey [PDF]
ACM Computing Surveys, 2023 The blockchain technology, initially created for cryptocurrency, has been re-purposed for recording state transitions of smart contracts—decentralized applications that can be invoked through external transactions.
Nikolay Ivanov +5 more
semanticscholar +1 more source
Detection and Analysis of Ethereum Energy Smart Contracts
Applied Sciences, 2023 As blockchain technology advances, so has the deployment of smart contracts on blockchain platforms, making it exceedingly challenging for users to explicitly identify application services. Unlike traditional contracts, smart contracts are not written in
Bahareh Lashkari, Petr Musilek
doaj +1 more source