Distributed Electronic Rights in JavaScript

  • Mark S. Miller
  • Tom Van Cutsem
  • Bill Tulloh
Conference paper

DOI: 10.1007/978-3-642-37036-6_1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7792)
Cite this paper as:
Miller M.S., Van Cutsem T., Tulloh B. (2013) Distributed Electronic Rights in JavaScript. In: Felleisen M., Gardner P. (eds) Programming Languages and Systems. ESOP 2013. Lecture Notes in Computer Science, vol 7792. Springer, Berlin, Heidelberg

Abstract

Contracts enable mutually suspicious parties to cooperate safely through the exchange of rights. Smart contracts are programs whose behavior enforces the terms of the contract. This paper shows how such contracts can be specified elegantly and executed safely, given an appropriate distributed, secure, persistent, and ubiquitous computational fabric. JavaScript provides the ubiquity but must be significantly extended to deal with the other aspects. The first part of this paper is a progress report on our efforts to turn JavaScript into this fabric. To demonstrate the suitability of this design, we describe an escrow exchange contract implemented in 42 lines of JavaScript code.

Keywords

security distributed objects object-capabilities smart contracts 

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Mark S. Miller
    • 1
  • Tom Van Cutsem
    • 2
  • Bill Tulloh
    • 1
  1. 1.Google, Inc.USA
  2. 2.Vrije Universiteit BrusselBelgium

Personalised recommendations