A Perspective on Blockchain Smart Contracts: Reducing Uncertainty and Complexity in Value Exchange

01/06/2018
by   Henry Kim, et al.
0

The blockchain constitutes a technology-based, rather than social or regulation based, means to lower uncertainty about one another in order to exchange value. However, its use may very well also lead to increased complexity resulting from having to subsume work that displaced intermediary institutions had performed. We present our perspective that smart contracts may be used to mitigate this increased complexity. We further posit that smart contracts can be delineated according to complexity: Smart contracts that can be verified objectively without much uncertainty belong in an inter-organizational context; those that cannot be objectively verified belong in an intra-organizational context. We state that smart contracts that implement a formal (e.g. mathematical or simulation) model are especially beneficial for both contexts: They can be used to express and enforce inter-organizational agreements, and their basis in a common formalism may ensure effective evaluation and comparison between different intra-organizational contracts. Finally, we present a case study of our perspective by describing Intellichain, which implements formal, agent-based simulation model as a smart contract to provide epidemiological decision support.

READ FULL TEXT
research
09/25/2020

A formal model of Algorand smart contracts

We develop a formal model of Algorand stateless smart contracts (statele...
research
05/24/2020

Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts

This paper introduces Tezla, an intermediate representation of Michelson...
research
01/08/2018

Violable Contracts and Governance for Blockchain Applications

We examine blockchain technologies, especially smart contracts, as a pla...
research
03/16/2023

Smart Contract Generation for Inter-Organizational Process Collaboration

Currently, inter-organizational process collaboration (IOPC) has been wi...
research
10/15/2021

Fast and Reliable Formal Verification of Smart Contracts with the Move Prover

The Move Prover (MVP) is a formal verifier for smart contracts written i...
research
02/14/2019

Smart contracts meet quantum cryptography

We put forward the idea that classical blockchains and smart contracts a...
research
05/28/2023

Understanding Blockchain Governance: Analyzing Decentralized Voting to Amend DeFi Smart Contracts

Smart contracts are contractual agreements between participants of a blo...

Please sign up or login with your details

Forgot password? Click here to reset