On the Feasibility of Decentralized Derivatives Markets

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10323)


In this paper, we present Velocity, a decentralized market deployed on Ethereum for trading a custom type of derivative option. To enable the smart contract to work, we also implement a price fetching tool called PriceGeth. We present this as a case study, noting challenges in development of the system that might be of independent interest to whose working on smart contract implementations. We also apply recent academic results on the security of the Solidity smart contract language in validating our code’s security. Finally, we discuss more generally the use of smart contracts in modelling financial derivatives.

Supplementary material


  1. 1.
    Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks on ethereum smart contracts (SoK). In: Maffei, M., Ryan, M. (eds.) POST 2017. LNCS, vol. 10204, pp. 164–186. Springer, Heidelberg (2017). CrossRefGoogle Scholar
  2. 2.
    Benet, J.: Ipfs-content addressed, versioned, p2p file system (2014). arXiv:1407.3561
  3. 3.
    Bentov, I., Mizrahi, A., Rosenfeld, M.: Decentralized prediction market without arbiters (2017). arXiv:1701.08421
  4. 4.
    Buterin, V., et al.: A next-generation smart contract and decentralized application platform (2014)Google Scholar
  5. 5.
    Clark, J., Bonneau, J., Felten, E.W., Kroll, J.A., Miller, A., Narayanan, A.: On decentralizing prediction markets and order books. In: WEIS (2014)Google Scholar
  6. 6.
    Irvine, D.: Maidsafe distributed file system. Technical report, limited (2010)Google Scholar
  7. 7.
    Kievit-Kylar, B., Horlacher, C., Godard, M., Saucier, C.: Equibit: a peer-to-peer electronic equity system (2016). arXiv:1612.06953
  8. 8.
    Luu, L., Chu, D.-H., Olickel, H., Saxena, P., Hobor, A.: Making smart contracts smarter. In: Proceedings of 2016 ACM SIGSAC Conference on Computer and Communications Security, pp. 254–269. ACM (2016)Google Scholar
  9. 9.
    Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system (2008)Google Scholar
  10. 10.
    Szabo, N.: The idea of smart contracts (1997)Google Scholar
  11. 11.
    Wood, G.: Ethereum: a secure decentralised generalised transaction ledger. Ethereum Project Yellow Paper (2014)Google Scholar
  12. 12.
    Zhang, F., Cecchetti, E., Croman, K., Juels, A., Shi, E.: Town crier: an authenticated data feed for smart contracts. In: Proceedings of 2016 ACM SIGSAC Conference on Computer and Communications Security, pp. 270–282. ACM (2016)Google Scholar
  13. 13.
    okturtles: A blockchain-based DNS, http server that fixes https security (2014)Google Scholar
  14. 14.
    Finley, K.: A 50 million dollar hack just showed that the DAO was all too human. Wired (2016)Google Scholar
  15. 15.
    Demian Lerner, S.: Rootstock: bitcoin powered smart contracts. Whitepaper (2015)Google Scholar
  16. 16.
    Daian, P.: Analysis of the DAO exploit. Hacking, Distributed (2016)Google Scholar
  17. 17.
    Reitwiessner, C.: Security alert: solidity variables can be overwritten in storage. Ethereum Blog (2016)Google Scholar
  18. 18.
    ConsenSys: Ethereum contract security techniques and tips. ConsenSys (2016)Google Scholar

Copyright information

© International Financial Cryptography Association 2017

Authors and Affiliations

  1. 1.BitaccessOttawaCanada
  2. 2.Concordia UniversityMontrealCanada

Personalised recommendations