Skip to main content

Smart Derivatives: On-Chain Forwards for Digital Assets

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 12478))

Abstract

In this paper, we present a framework for the development of on-chain forwards (and futures). This utilises smart contracts to automate the custody of collateral and settlement of payouts on expiry. Importantly, our framework also enables forwards to be traded without counterparty risk or reliance on off-chain assets (such as fiat currencies). To achieve this, we build on our previous work on on-chain options and demonstrate how the relevant mathematical guarantees can be extended to forwards. In addition, we discuss recent trends in cryptoasset derivatives, capital requirements, and other design considerations (such as the use of split contracts). This paper will be of interest to academics and practitioners interested in financial smart contracts.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    Nominal value of notional traded, as reported by Skew.com (accessed 29 May 2020).

  2. 2.

    Annualised standard deviation of daily returns over a 365 day window. Source: Skew.com (accessed 29 May 2020).

  3. 3.

    Annualised standard deviation of daily returns for the S&P500 (Total Return) index, based on a 252 trading day window (as of 29 May 2020).

  4. 4.

    In a distribution of daily returns, high sigma moves for cryptoassets are far more frequent than those experienced in other asset classes (e.g. 8 instances of \(+/-\)10% daily moves for bitcoin in 2019).

  5. 5.

    “Real” spot volume data from Bitwise  [5] (accessed 29 May 2020). Note that derivatives volumes are inflated through leverage (that is, they reflect the contracts’ notional). Nonetheless, they help us ascertain market participants’ exposure to cryptoassets through derivatives (versus spot).

  6. 6.

    The chart includes volumes for perpetual swaps (BitMEX’s most popular product), though these are (as their name indicates) swaps designed to track spot prices through regular payments to parties that are ITM, as opposed to forwards or futures.

  7. 7.

    Defi Pulse reports that $130 million is locked up in on-chain derivatives (accessed 29 May 2020). However, we note that this includes Synthetix, a platform for trading tokenised assets, which are not derivatives in the common use of the term (as they have no settlement or expiry).

  8. 8.

    From the perspective of a forward seller, the payoff is the opposite: forward price - final spot price.

  9. 9.

    In this context, ATM indicates that the options’ strike is (at the time of purchase) equal to the price of the forward with the same expiry (i.e. ATM forward).

  10. 10.

    See e.g. this guide from CME: https://www.cmegroup.com/education/courses/introduction-to-options/put-call-parity.html.

  11. 11.

    A buyer is ITM when the forward price is greater than the spot price (in which case, the seller is OTM). The converse holds true when the forward price is below the spot price.

  12. 12.

    For an overview of the socialised losses system in BitMEX, see https://blog.bitmex.com/bitmex-vs-cme-futures-guide/. On BitMEX’s insurance fund, see https://blog.bitmex.com/the-bitmex-insurance-fund/.

References

  1. Eskandari, S., Clark, J., Sundaresan, V., Adham M.: On the feasibility of decentralized derivatives markets. The Computer Research Repository (CoRR), abs/1802.04915 (2018). https://arxiv.org/abs/1802.04915

  2. Clack, C.D., Bakshi, V.A., Braine, L.: Smart contract templates: foundations, design landscape and research directions. The Computer Research Repository (CoRR), abs/1608.007771 (2016). http://arxiv.org/abs/1608.00771

  3. Fries, C.P., Kohl-Landgraf, P.: Smart derivative contracts (detaching transactions from counterparty credit risk: specification, parametrisation, valuation) (2018). https://doi.org/10.2139/ssrn.3163074

  4. Delgado De Molina Rius, A., Gashier, E.: Smart derivatives: on-chain financial options for digital assets. Paper presented at the IEEE Crypto Valley Conference (2019). Shorturl.at/oFHVX

    Google Scholar 

  5. Bitwise: Economic and non-economic trading in bitcoin: exploring the real spot market for the world’s first digital commodity (2019). https://www.sec.gov/comments/sr-nysearca-2019-01/srnysearca201901-5574233-185408.pdf

  6. Deutsche Börse Group: The global derivatives market: a blueprint for market safety and integrity (2009)

    Google Scholar 

  7. Samani, K.: Defi’s invisible asymptotes (2020). https://multicoin.capital/2020/06/04/defis-invisible-asymptotes/

  8. Delgado De Molina Rius, A.: Smart contracts: taxonomy, transaction costs and design trade-offs (2020, forthcoming)

    Google Scholar 

  9. Hull, J.: Options, Futures, and Other Derivatives. Pearson, London (2014)

    MATH  Google Scholar 

  10. Rehlon, A., Nixon, D.: Central counterparties: what are they, why do they matter and how does the bank supervise them? Bank of England Quarterly Bulletin Q2 (2013)

    Google Scholar 

  11. Miller, M.S., Stiegler, M.: The digital path: smart contracts and the third world. In: Birner, J., Garrouste, P. (eds.) Markets, Information and Communication. Austrian Perspectives on the Internet Economy. Routledge (2003). https://doi.org/10.4324/9780203180419_chapter_3

  12. Delgado De Molina Rius, A.: Split contracts: bridging smart contract code and legal prose (2018). (Unpublished manuscript)

    Google Scholar 

  13. ISDA and Linklaters: whitepaper: smart contracts and distributed ledger - a legal perspective (2017). https://www.isda.org/a/6EKDE/smart-contracts-and-distributed-ledger-a-legal-perspective.pdf

  14. ISDA: Legal guidelines for smart derivatives contracts: introduction (2019). https://www.isda.org/a/MhgME/Legal-Guidelines-for-Smart-Derivatives-Contracts-Introduction.pdf

  15. The Libra Association: Libra whitepaper (v2.0) (2020). https://libra.org/en-US/white-paper/

  16. The Maker Foundation: MakerDAO’s multi-collateral dai (MCD) system

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Alfonso D. D. M. Rius .

Editor information

Editors and Affiliations

Appendices

A Appendix: Call Option

The diagram below shows the flow of payments for a physically settled, fully collaterised call option for 10 ETH (notional) with a strike price of $250, and a premium of 1.6 ETH (equivalent to $280 at the initial spot price).

figure a

Inflows/outflows at t = 0:

$$\begin{aligned} Long \textit{ call} = - premium \end{aligned}$$
(c1)
$$\begin{aligned} Short \textit{ call} = premium - notional \end{aligned}$$
(c2)

Inflows/outflows at t = expiry, if call option is ITM (finalPrice > strike):

$$\begin{aligned} Long \textit{ call} = notional - (notional * \frac{strike}{finalPrice}) \end{aligned}$$
(c3.1)
$$\begin{aligned} Short \textit{ call} = notional * \frac{strike}{finalPrice} \end{aligned}$$
(c4.1)

Inflows/outflows at t = expiry, if call option is ATM/OTM (finalPrice \(\le \) strike):

$$\begin{aligned} Long \textit{ call} = 0 \end{aligned}$$
(c3.2)
$$\begin{aligned} Short \textit{ call} = notional \end{aligned}$$
(c4.2)

B Appendix: Put Option

The diagram below shows the flow of payments for a physically settled, fully collaterised put option for 10 ETH (notional) with a strike price of $70, and a premium of 0.2 ETH (equivalent to $35 at the initial spot price).

figure b

Inflows/outflows at t = 0:

$$\begin{aligned} Long \textit{ put} = - premium - notional \end{aligned}$$
(p1)
$$\begin{aligned} Short \textit{ put} = premium - notional * \frac{strike}{spot} \end{aligned}$$
(p2)

Inflows/outflows at t = expiry, if put option is ITM (finalPrice < strike):

$$\begin{aligned} Long \textit{ put} = 0 \end{aligned}$$
(p3.1)
$$\begin{aligned} Short \textit{ put} = notional \end{aligned}$$
(p4.1)

Inflows/outflows at t = expiry, if put option is ATM/OTM (finalPrice \(\ge \) strike):

$$\begin{aligned} Long \textit{ put} = notional - (notional * \frac{strike}{finalPrice}) \end{aligned}$$
(p3.2)
$$\begin{aligned} Short \textit{ put} = notional * \frac{strike}{finalPrice} \end{aligned}$$
(p4.2)

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Rius, A.D.D.M., Gashier, E. (2020). Smart Derivatives: On-Chain Forwards for Digital Assets. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Applications. ISoLA 2020. Lecture Notes in Computer Science(), vol 12478. Springer, Cham. https://doi.org/10.1007/978-3-030-61467-6_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-61467-6_13

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-61466-9

  • Online ISBN: 978-3-030-61467-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics