All Smart Contracts Are Ambiguous

James Grimmelmann and Cornell Library
Additional contact information
James Grimmelmann: Cornell University

No v37zd, LawRxiv from Center for Open Science

Abstract: Smart contracts are written in programming languages rather than in natural languages. This might seem to insulate them from ambiguity, because the meaning of a program is determined by technical facts rather than by social ones. It does not. Smart contracts can be ambiguous, too, because technical facts depend on socially determined ones. To give meaning to a computer program, a community of programmers and users must agree on the semantics of the programming language in which it is written. This is a social process, and a review of some famous controversies involving blockchains and smart contracts shows that it regularly creates serious ambiguities. In the most famous case, The DAO hack, more than $150 million in virtual currency turned on the contested semantics of a blockchain-based smart-contract programming language.

Date: 2019-01-14
References: Add references at CitEc
Citations: View citations in EconPapers (3)

Downloads: (external link)
https://osf.io/download/5d07ad420bea13001ab71ac1/

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:osf:lawarx:v37zd

DOI: 10.31219/osf.io/v37zd

Access Statistics for this paper

More papers in LawRxiv from Center for Open Science
Bibliographic data for series maintained by OSF ().