Abstract:Smart contract, a term which was originally coined to refer to the automation of legal contracts in general, has recently seen much interest due to the advent of blockchain technology. Recently, the term is popularly used to refer to low-level code scripts running on a blockchain platform. Our study focuses exclusively on this subset of smart contracts. Such smart contracts have increasingly been gaining ground, finding numerous important applications (e.g., crowdfunding) in the real world. Despite the increasing popularity, smart contract development still remains somewhat a mystery to many developers largely due to its special design and applications. Are there any differences between smart contract development and traditional software development? What kind of challenges are faced by developers during smart contract development? Questions like these are important but have not been explored by researchers yet. In this paper, we performed an exploratory study to understand the current state and potential challenges developers are facing in developing smart contracts on blockchains, with a focus on Ethereum (the most popular public blockchain platform for smart contracts). Toward this end, we conducted this study in two phases. In the first phase, we conducted semi-structured interviews with 20 developers from GitHub and industry professionals who are working on smart contracts. In the second phase, we performed a survey on 232 practitioners to validate the findings from the interviews. Our interview and survey results revealed several major challenges developers are facing during smart contract development: (1) there is no effective way to guarantee the security of smart contract code; (2) existing tools for development are still very basic; (3) the programming languages and the virtual machines still have a number of limitations; (4) performance problems are hard to handle under resource constrained running environment; and (5) online resources (including advanced/updated documents and community support) are still limited. Our study suggests several directions that researchers and practitioners can work on to help improve developers experience on developing high-quality smart contracts.

All Smart Contracts Are Ambiguous

Ambiguous Contracts

Ambiguity is the last thing you need

Smart Contracts: A Requiem

Languages for Smart and Computable Contracts

Understanding Smart Contracts: Hype or Hope?

Mandala: A Smart Contract Programming Language

Violable Contracts and Governance for Blockchain Applications

Smart Contract Languages: a comparative analysis

Legitimacy of Smart Contracts Written in Encrypted Code on Blockchain Technology Under Current Contract Law: A Comparative Study

Making Smart Contracts Smarter

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

Problems of Smart Contracts Application in Transactions in Virtual Property

Smart Contract Development: Challenges and Opportunities

A Review Analysis on Smart Contract Vulnerabilities Using Blockchain

Smart contracts that are smart and can function as legal contracts - A Review of Semantic Blockchain and Distributed Ledger Technologies

A Framework for Contractual Graphs

Watch the Gap: Making code more intelligible to users without sacrificing decentralization?

SmartML: Towards a Modeling Language for Smart Contracts

A Concurrent Perspective on Smart Contracts

An empirical analysis of smart contracts: platforms, applications, and design patterns