Trust in Smart Contracts is a Process, As Well

@inproceedings{Khalil2017TrustIS,
  title={Trust in Smart Contracts is a Process, As Well},
  author={Firas Al Khalil and Tom Butler and Leona O'Brien and Marcello Ceci},
  booktitle={Financial Cryptography Workshops},
  year={2017}
}
Distributed ledger technologies are rising in popularity, mainly for the host of financial applications they potentially enable, through smart contracts. Several implementations of distributed ledgers have been proposed, and different languages for the development of smart contracts have been suggested. A great deal of attention is given to the practice of development, i.e. programming, of smart contracts. In this position paper, we argue that more attention should be given to the “traditional… Expand
A Unifying Model of Legal Smart Contracts
TLDR
A unifying model is given that encapsulates essential components of legal smart contracts in a model-driven architecture and may serve as a basis for comparing existing modeling frameworks, which is demonstrated by applying it to a set of eight distinct languages. Expand
Smart Contract Development: Challenges and Opportunities
TLDR
This study focuses exclusively on this subset of smart contracts, and suggests several directions that researchers and practitioners can work on to help improve developers’ experience on developing high-quality smart contracts. Expand
Legally Enforceable Smart-Contract Languages
TLDR
This study reviews existing Smart Contract Languages (SCL) and identifies properties that are critical to any future SCL for drafting legally binding contracts and finds 10 SCL properties that enable legally compliant DAOs. Expand
Smart Contracts: A Requiem
"Smart contracts” are technologies that facilitate the generation and transfer of blockchain-based crypto-assets. The unfortunate labeling of these technologies as "contracts" has spawned a plethoraExpand
Verification-Led Smart Contracts
  • R. Banach
  • Computer Science
  • Financial Cryptography Workshops
  • 2019
TLDR
It is argued that a more structured approach, in which smart contract families are designed ab initio with efficient verifiability in mind, provide a much more practical way forward and the boundary between on-chain and off-chain information is crucial in determining the practicability of smart contract verification. Expand
Implementation of Blockchain Powered Smart Contracts in Governmental Services
TLDR
This research focused on answering the main research question: “How can blockchain powered smart contracts be implemented in governmental services?” and used the design science approach in order to answer the main question. Expand
The Intelligible Contract
TLDR
A novel model of legal digital contracts automatically executable on Blockchain technologies, namely the Intelligible Contract is introduced, to provide a contribution in bridging the gap between traditional contracts and digital contracts towards the goal of making them intelligible and legal valid. Expand
Model-Based Software Design and Testing in Blockchain Smart Contracts: A Systematic Literature Review
TLDR
It was observed that no clear methodology exists for evaluating and validating the quality either of this software or the overall development process, which means that software developers may implement smart contract code in which bugs and serious security vulnerabilities appear when the software is delivered to their customers. Expand
A general form of smart contract for decentralized energy systems management
TLDR
A basic template for smart contracts that can be built upon for distributed electricity systems management is formalized, demonstrating that using smart contracts to agree control instructions between different parties is feasible. Expand
Modelling the contracts of the future
TLDR
This article looks at how contractual structures and relationships across a variety of speciman scenarios (private sector supply contracts and public service delivery contracts) can be explained using the work of Ian Macneil to consider smart contracts from his perspective. Expand
...
1
2
3
...

References

SHOWING 1-10 OF 33 REFERENCES
From Institutions to Code: Towards Automated Generation of Smart Contracts
TLDR
A modeling approach is proposed that supports the semi-automated translation of human-readable contract representations into computational equivalents in order to enable the codification of laws into verifiable and enforceable computational structures that reside within a public blockchain. Expand
Evaluation of Logic-Based Smart Contracts for Blockchain Systems
TLDR
A fundamental challenge is emphasized - algorithms for logic approaches have to be efficient, but they also need to be literally cheap as measured within the environment where they are deployed and according to its economic rules. Expand
Making Smart Contracts Smarter
TLDR
This paper investigates the security of running smart contracts based on Ethereum in an open distributed network like those of cryptocurrencies, and proposes ways to enhance the operational semantics of Ethereum to make contracts less vulnerable. Expand
Town Crier: An Authenticated Data Feed for Smart Contracts
TLDR
An authenticated data feed system called Town Crier is presented, which acts as a bridge between smart contracts and existing web sites, which are already commonly trusted for non-blockchain applications and defines and proves its basic security properties in the Universal Composibility (UC) framework. Expand
Blockchain Temporality: Smart Contract Time Specifiability with Blocktime
TLDR
The result of this effort is to show that blocktime allows the contingency of future events to be more robustly orchestrated through temporality as a selectable smart contract feature. Expand
Scripting smart contracts for distributed ledger technology
TLDR
An overview of the scripting languages used in existing cryptocurrencies, and in particular the scripts of Bitcoin, Nxt and Ethereum are reviewed in some detail, in the context of a high-level overview of Distributed Ledger Technology and cryptocurrencies. Expand
ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER
TLDR
The blockchain paradigm when coupled with cryptographically-secured transactions has demonstrated its utility through a number of projects, with Bitcoin being one of the most notable ones, and Ethereum implements this paradigm in a generalised manner. Expand
Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes
TLDR
It is proposed that data-aware business processes, and in particular the Business Artifact paradigm, can provide a robust basis for a shared ledger Business Collaboration Language (BCL), and potential advantages of the artifact-based approach are examined. Expand
Formalizing and Securing Relationships on Public Networks
TLDR
Protocols with application in important contracting areas, including credit, content rights management, payment systems, and contracts with bearer are discussed. Expand
Smart Contract Templates: essential requirements and design options
TLDR
The design landscape of potential formats for storage and transmission of smart legal agreements is explored, and essential requirements are identified and a number of key design options are described, from which future development of standardised formats for defining and manipulatingsmart legal agreements are envisaged. Expand
...
1
2
3
4
...