Cryptology ePrint Archive: Report 2016/1156
Scripting smart contracts for distributed ledger technology
Pablo Lamela Seijas and Simon Thompson and Darryl McAdams
Abstract: We give an overview of the scripting languages used in existing cryptocurrencies, and in particular we review in some detail the scripting languages of Bitcoin, Nxt and Ethereum, in the context of a high-level overview of Distributed Ledger Technology and cryptocurrencies. We survey different approaches, and give an overview of critiques of existing languages. We also cover technologies that might be used to underpin extensions and innovations in scripting and contracts, including technologies for verification, such as zero knowledge proofs, proof-carrying code and static analysis, as well as approaches to making systems more efficient, e.g. Merkelized Abstract Syntax Trees.
Category / Keywords: applications / electronic commerce and payment, blockchain, scripting language, cryptocurrency, smart contract
Date: received 16 Dec 2016, last revised 10 Feb 2017
Contact author: s j thompson at kent ac uk
Available format(s): PDF | BibTeX Citation
Note: Clarification of discussion of Nxt in section 4.
Version: 20170210:161520 (All versions of this report)
Short URL: ia.cr/2016/1156
Discussion forum: Show discussion | Start new discussion
[ Cryptology ePrint archive ]