2020
DOI: 10.3389/fbloc.2020.00027
|View full text |Cite
|
Sign up to set email alerts
|

Smart Contracts Contracts

Abstract: This paper explores the connection between software contracts and smart contracts. Despite the assonance, these two terms denote quite different concepts: software contracts are logical properties of software components, while smart contracts are programs executed on blockchains. What is the relation between them? We answer this question by discussing how to integrate software contracts in the design of programming languages for smart contracts.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1

Citation Types

0
3
0

Year Published

2021
2021
2024
2024

Publication Types

Select...
4
3

Relationship

0
7

Authors

Journals

citations
Cited by 10 publications
(3 citation statements)
references
References 23 publications
0
3
0
Order By: Relevance
“…A digital contract entered into with a smart contract is subject to the general contracting rules [7]. Blockchain technology [8] is not the only applicable technology for a smart contract [9], and other distributed ledger technologies are also used. The Russian legislation does not establish any restrictions on the types of technologies used.…”
Section: Discussionmentioning
confidence: 99%
“…A digital contract entered into with a smart contract is subject to the general contracting rules [7]. Blockchain technology [8] is not the only applicable technology for a smart contract [9], and other distributed ledger technologies are also used. The Russian legislation does not establish any restrictions on the types of technologies used.…”
Section: Discussionmentioning
confidence: 99%
“…Ethereum is not designed as non-state or apolitical money. It has a currency, called Ether, but this currency is functional and used to power small applications on Ethereum's distributed world computer (Bartoletti, 2020). Thus, while economic concerns are important, they don't dominate everything and can be overridden if it serves the public good.…”
Section: Ethereum Staking and The Environmentmentioning
confidence: 99%
“…The use of smart contracts has gained much recognition due to its ability to transfer assets in the form, mainly, of cryptocurrencies. Another relevant definition is given by [19] which conceptualizes smart contracts as programs that execute correctly without the intervention of a trusted authority and cites Ethereum as responsible for implementing the smart model contracts currently adopted and also the consensus model applied by it, which is very robust due to it's verification scheme that only allows registration in the blocks for transactions considered valid [20].…”
Section: Theoretical Foundationmentioning
confidence: 99%