Smart contract derivatives

Kostis Karantias, Aggelos Kiayias, Dionysis Zindros*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The abilities of smart contracts today are confined to reading from their own state. It is useful for a smart contract to be able to react to events and read the state of other smart contracts. In this paper, we devise a mechanism by which a derivative smart contract can read data, observe the state evolution, and react to events that take place in one or more underlying smart contracts of its choice. Our mechanism works even if the underlying smart contract is not designed to operate with the derivative smart contract. Like in traditional finance, derivatives derive their value (and more generally state) through potentially complex dependencies. We show how derivative smart contracts can be deployed in practice on the Ethereum blockchain without any forks or additional assumptions. We leverage any NIPoPoWs mechanism (such as FlyClient or superblocks) to obtain succinct proofs for arbitrary events, making proving them inexpensive for users. The latter construction is of particular interest, as it forms the first introspective SPV client: an SPV client for Ethereum in Ethereum. Last, we describe applications of smart contract derivatives which were not possible prior to our work, in particular the ability to create decentralized insurance smart contracts which insure an underlying on-chain security such as an ICO, as well as futures and options.
Original languageEnglish
Title of host publicationMathematical Research for Blockchain Economy
Subtitle of host publicationSpringer Proceedings in Business and Economics
PublisherSpringer
Pages1-8
Number of pages8
ISBN (Electronic)9783030533564
ISBN (Print)9783030533557
DOIs
Publication statusPublished - 2 Oct 2020
EventThe 2nd International Conference on Mathematical Research for Blockchain Economy -
Duration: 24 Aug 202024 Aug 2020
https://www.marble-conference.org/marble2020

Conference

ConferenceThe 2nd International Conference on Mathematical Research for Blockchain Economy
Abbreviated titleMARBLE 2020
Period24/08/2024/08/20
Internet address

Keywords / Materials (for Non-textual outputs)

  • derovatoves
  • smart contracts
  • spv
  • ethereum
  • NIPoPoWs

Fingerprint

Dive into the research topics of 'Smart contract derivatives'. Together they form a unique fingerprint.

Cite this