Smart Contract Templates: foundations, design landscape and research directions
arXiv:1608.00771
Abstract
In this position paper, we consider some foundational topics regarding smart contracts (such as terminology, automation, enforceability, and semantics) and define a smart contract as an automatable and enforceable agreement. We explore a simple semantic framework for smart contracts, covering both operational and non-operational aspects, and describe templates and agreements for legally-enforceable smart contracts, based on legal documents. Building upon the Ricardian Contract, we identify operational parameters in the legal documents and use these to connect legal agreements to standardised code. We also explore the design landscape, including increasing sophistication of parameters, increasing use of common standardised code, and long-term research.
Cited by in corpus (21)
- A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems
- Towards Safer Smart Contracts: A Survey of Languages and Verification Methods
- Segment blockchain: A size reduced storage mechanism for blockchain
- Raziel: Private and Verifiable Smart Contracts on Blockchains
- sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts
- ESCORT: Ethereum Smart COntRacTs Vulnerability Detection using Deep Neural Network and Transfer Learning
- Blockchains: a Systematic Multivocal Literature Review
- Deductive Proof of Ethereum Smart Contracts Using Why3
- Agreements between Enterprises digitized by Smart Contracts in the Domain of Industry 4.0
- Basis Path Coverage Criteria for Smart Contract Application Testing
- Design discussion on the ISDA Common Domain Model
- Blockchain Testing: Challenges, Techniques, and Research Directions
- Competitive Data Trading in Wireless-Powered Internet of Things (IoT) Crowdsensing Systems with Blockchain
- Literature Review: Smart Contract Semantics
- Smart Derivatives Contracts: the ISDA Master Agreement and the automation of payments and deliveries
- Online Payments by Merely Broadcasting Messages (Extended Version)
- Smart contracts that are smart and can function as legal contracts - A Review of Semantic Blockchain and Distributed Ledger Technologies
- User behavior and token adoption on ERC20
- Towards scalable user-deployed ultra-dense networks: Blockchain-enabled small cells as a service
- Historical Context and Key Features of Digital Money Tokens
- Understanding the Motivations, Challenges and Needs of Blockchain Software Developers: A Survey