• DocumentCode
    153568
  • Title

    Secure Multiparty Computations on Bitcoin

  • Author

    Andrychowicz, Marcin ; Dziembowski, Stefan ; Malinowski, Daniel ; Mazurek, Lukasz

  • Author_Institution
    Univ. of Warsaw, Warsaw, Poland
  • fYear
    2014
  • fDate
    18-21 May 2014
  • Firstpage
    443
  • Lastpage
    458
  • Abstract
    Bit coin is a decentralized digital currency, introduced in 2008, that has recently gained noticeable popularity. Its main features are: (a) it lacks a central authority that controls the transactions, (b) the list of transactions is publicly available, and (c) its syntax allows more advanced transactions than simply transferring the money. The goal of this paper is to show how these properties of Bit coin can be used in the area of secure multiparty computation protocols (MPCs). Firstly, we show that the Bit coin system provides an attractive way to construct a version of "timed commitments", where the committer has to reveal his secret within a certain time frame, or to pay a fine. This, in turn, can be used to obtain fairness in some multiparty protocols. Secondly, we introduce a concept of multiparty protocols that work "directly on Bit coin". Recall that the standard definition of the MPCs guarantees only that the protocol "emulates the trusted third party". Hence ensuring that the inputs are correct, and the outcome is respected is beyond the scope of the definition. Our observation is that the Bit coin system can be used to go beyond the standard "emulation-based" definition, by constructing protocols that link their inputs and the outputs with the real Bit coin transactions. As an instantiation of this idea we construct protocols for secure multiparty lotteries using the Bit coin currency, without relying on a trusted authority (one of these protocols uses the Bit coin-based timed commitments mentioned above). Our protocols guarantee fairness for the honest parties no matter how the loser behaves. For example: if one party interrupts the protocol then her money is transferred to the honest participants. Our protocols are practical (to demonstrate it we performed their transactions in the actual Bit coin system), and can be used in real life as a replacement for the online gambling sites. We think that this paradigm can have also other applications. We discu- s some of them.
  • Keywords
    cryptographic protocols; electronic money; Bitcoin; MPC; decentralized digital currency; emulation-based definition; online gambling sites; secure multiparty computation protocols; secure multiparty lotteries; timed commitments; Cryptography; Games; Internet; Online banking; Protocols; Standards; bitocoin; lottery; multiparty computations;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Security and Privacy (SP), 2014 IEEE Symposium on
  • Conference_Location
    San Jose, CA
  • ISSN
    1081-6011
  • Type

    conf

  • DOI
    10.1109/SP.2014.35
  • Filename
    6956580