Trust in Smart Contracts is a Process, As Well

  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},
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… 
A Unifying Model of Legal Smart Contracts
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.
Smart Contract Development: Challenges and Opportunities
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.
Legally Enforceable Smart-Contract Languages
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.
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 plethora
Verification-Led Smart Contracts
  • R. Banach
  • Computer Science
    Financial Cryptography Workshops
  • 2019
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.
Implementation of Blockchain Powered Smart Contracts in Governmental Services
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.
The Intelligible Contract
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.
Model-Based Software Design and Testing in Blockchain Smart Contracts: A Systematic Literature Review
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.
A general form of smart contract for decentralized energy systems management
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.
Blockchain-Based Security and Privacy in Smart Cities


From Institutions to Code: Towards Automated Generation of Smart Contracts
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.
Evaluation of Logic-Based Smart Contracts for Blockchain Systems
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.
Making Smart Contracts Smarter
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.
Town Crier: An Authenticated Data Feed for Smart Contracts
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.
Blockchain Temporality: Smart Contract Time Specifiability with Blocktime
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.
Scripting smart contracts for distributed ledger technology
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.
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.
Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes
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.
Formalizing and Securing Relationships on Public Networks
Protocols with application in important contracting areas, including credit, content rights management, payment systems, and contracts with bearer are discussed.
Smart Contract Templates: essential requirements and design options
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.