Mark S. Miller
2013-01-14 22:45:33 UTC
At http://code.google.com/p/es-lab/downloads/detail?name=distr-erights-in-js.pdf
Paper for invited talk at ESOP2013 http://www.etaps.org/2013/esop13
Final already submitted, but comments of course appreciated anyway.
Distributed Electronic Rights in JavaScript
Mark S. Miller
Tom Van Cutsem
Bill Tulloh
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.
--
Cheers,
--MarkM
Paper for invited talk at ESOP2013 http://www.etaps.org/2013/esop13
Final already submitted, but comments of course appreciated anyway.
Distributed Electronic Rights in JavaScript
Mark S. Miller
Tom Van Cutsem
Bill Tulloh
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.
--
Cheers,
--MarkM