Corpus ID: 12808341

Scripting smart contracts for distributed ledger technology

@article{Seijas2016ScriptingSC,
  title={Scripting smart contracts for distributed ledger technology},
  author={Pablo Lamela Seijas and Simon J. Thompson and Darryl McAdams},
  journal={IACR Cryptol. ePrint Arch.},
  year={2016},
  volume={2016},
  pages={1156}
}
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…Expand
SoK: Development of Secure Smart Contracts - Lessons from a Graduate Course
TLDR
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. Expand
Formal investigation of the Extended UTxO model
Blockchain technology has opened a whole array of interesting new applications (e.g. secure multiparty computation[Andrychowicz et al. 2014], fair protocol design fair[Bentov and Kumaresan 2014],Expand
Overview of the Languages for Safe Smart Contract Programming
TLDR
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. Expand
Trust in Smart Contracts is a Process, As Well
TLDR
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. Expand
Smart Contracts and Opportunities for Formal Methods
TLDR
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. Expand
SmaCoNat: Smart Contracts in Natural Language
TLDR
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. Expand
Secure Smart Contract System Built on SMPC Over Blockchain
  • Y. 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
TLDR
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. Expand
Securify: Practical Security Analysis of Smart Contracts
TLDR
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. Expand
Findel: Secure Derivative Contracts for Ethereum
TLDR
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. Expand
Raziel: Private and Verifiable Smart Contracts on Blockchains
TLDR
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. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 26 REFERENCES
Making Smart Contracts Smarter
TLDR
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. Expand
Formal Verification of Smart Contracts: Short Paper
TLDR
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. Expand
A Survey of Attacks on Ethereum Smart Contracts (SoK)
TLDR
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. Expand
Evaluation of Logic-Based Smart Contracts for Blockchain Systems
TLDR
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. Expand
Tezos : A Self-Amending Crypto-Ledger Position Paper
The popularization of Bitcoin, a decentralized crypto-currency has inspired the production of several alternative, or “alt”, currencies. Ethereum, CryptoNote, and Zerocash all represent uniqueExpand
Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts
TLDR
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. Expand
Geppetto: Versatile Verifiable Computation
TLDR
Geppetto introduces complementary techniques for reducing prover overhead and increasing prover flexibility, and efficiently verifies the correct execution of proprietary (i.e, Secret) algorithms. Expand
Peer-to-peer affine commitment using bitcoin
TLDR
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. Expand
Pinocchio: Nearly Practical Verifiable Computation
TLDR
This work introduces Pinocchio, a built system for efficiently verifying general computations while relying only on cryptographic assumptions, and is the first general-purpose system to demonstrate verification cheaper than native execution (for some apps). Expand
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 dealExpand
...
1
2
3
...