• Corpus ID: 12808341

Scripting smart contracts for distributed ledger technology

  title={Scripting smart contracts for distributed ledger technology},
  author={Pablo Lamela Seijas and Simon J. Thompson and Darryl McAdams},
  journal={IACR Cryptol. ePrint Arch.},
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. [] Key Method 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…
SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course
This work focuses on smart contracts, which are programs on top of blockchains and cryptocurrencies that allow parties to exchange valuable assets without mutual trust, with smart contracts controlling the interaction between the parties.
Formal investigation of the Extended UTxO model
Since these (possibly Turing-complete) programs often deal with transactions of significant funds, it is of utmost importance that one can reason and ideally provide formal proofs about their behaviour in a concurrent/distributed setting.
Overview of the Languages for Safe Smart Contract Programming
An overview of smart contract programming languages design principles, related vulnerabilities, and future research areas is provided to outline the to date state of languages and to become a possible basis for future proceedings.
Trust in Smart Contracts is a Process, As Well
This position paper proposes a list of requirements for a human and machine-readable contract authoring language, friendly to lawyers, serving as a common (and a specification) language, for programmers, and the parties to a contract.
Smart Contracts and Opportunities for Formal Methods
This paper surveys the existing smart-contract ecosystem and the existing tools for analyzing smart contracts, and poses research challenges for formal-methods and program analysis applied to smart contracts.
SmaCoNat: Smart Contracts in Natural Language
This paper proposes concepts that enhance the understanding of code by limiting confusing language constructs, such as nesting, arbitrary naming of operations, and unreadable hash identifiers, which are barely covered by existing languages but significantly enhance readability and safety without violating deterministic parsability.
Secure Smart Contract System Built on SMPC Over Blockchain
  • Yan Zhu, Xiaoxu Song, Shuai Yang, Yao Qin, Qiong Zhou
  • Computer Science
    2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData)
  • 2018
A SMPC-based smart contract platform with three-layer structure: contract, computing, and group communication layer, which gives the implementation process, language structure and grammar specification of smart contracts.
Securify: Practical Security Analysis of Smart Contracts
An extensive evaluation of Securify over real-world Ethereum smart contracts is presented and it is demonstrated that it can effectively prove the correctness of smart contracts and discover critical violations.
Findel: Secure Derivative Contracts for Ethereum
Findel is introduced – a purely declarative financial domain-specific language well suited for implementation in blockchain networks and an Ethereum smart contract is implemented that acts as a marketplace for Findel contracts and is implemented.
Raziel: Private and Verifiable Smart Contracts on Blockchains
An implementation of ZRaziel, which combines secure multi-party computation and proof-carrying code to provide privacy, correctness and verifiability guarantees for smart contracts on blockchains, is described and examples to demonstrate its practical viability are presented.


Making Smart Contracts Smarter
This paper investigates the security of running smart contracts based on Ethereum in an open distributed network like those of cryptocurrencies, and proposes ways to enhance the operational semantics of Ethereum to make contracts less vulnerable.
Formal Verification of Smart Contracts: Short Paper
This paper outlines a framework to analyze and verify both the runtime safety and the functional correctness of Ethereum contracts by translation to F*, a functional programming language aimed at program verification.
A Survey of Attacks on Ethereum Smart Contracts (SoK)
This work analyses the security vulnerabilities of Ethereum smart contracts, providing a taxonomy of common programming pitfalls which may lead to vulnerabilities, and shows a series of attacks which exploit these vulnerabilities, allowing an adversary to steal money or cause other damage.
Evaluation of Logic-Based Smart Contracts for Blockchain Systems
A fundamental challenge is emphasized - algorithms for logic approaches have to be efficient, but they also need to be literally cheap as measured within the environment where they are deployed and according to its economic rules.
Tezos : A Self-Amending Crypto-Ledger Position Paper
This paper aims to remedy the potential for atrophied evolution in the crypto-currency space by presenting Tezos, a generic and self-amending crypto-ledger that can instantiate any blockchain based protocol.
Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts
Hawk is a decentralized smart contract system that does not store financial transactions in the clear on the blockchain, thus retaining transactional privacy from the public's view, and is the first to formalize the blockchain model of cryptography.
Geppetto: Versatile Verifiable Computation
Geppetto introduces complementary techniques for reducing prover overhead and increasing prover flexibility, and efficiently verifies the correct execution of proprietary (i.e, Secret) algorithms.
Peer-to-peer affine commitment using bitcoin
This work shows how to solve the peer-to-peer affine commitment problem using a generalization of Bitcoin in which transactions deal in types rather than numbers, which has applications to proof-carrying authorization and mechanically executable contracts.
Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab
We document our experiences in teaching smart contract programming to undergraduate students at the University of Maryland, the first pedagogical attempt of its kind. Since smart contracts deal
Zerocoin: Anonymous Distributed E-Cash from Bitcoin
Zerocoin is proposed, a cryptographic extension to Bitcoin that augments the protocol to allow for fully anonymous currency transactions and uses standard cryptographic assumptions and does not introduce new trusted parties or otherwise change the security model of Bitcoin.