Cryptology ePrint Archive: Report 2017/875
Instantaneous Decentralized Poker
Iddo Bentov and Ranjit Kumaresan and Andrew Miller
Abstract: We present efficient protocols for amortized secure multiparty computation with penalties and secure cash distribution, of which poker is a prime example. Our protocols have an initial phase where the parties interact with a cryptocurrency network, that then enables them to interact only among themselves over the course of playing many poker games in which money changes hands.
The high efficiency of our protocols is achieved by harnessing the power of stateful contracts. Compared to the limited expressive power of Bitcoin scripts, stateful contracts enable richer forms of interaction between standard secure computation and a cryptocurrency.
We formalize the stateful contract model and the security notions that our protocols accomplish, and provide proofs in the simulation paradigm. Moreover, we provide a reference implementation in Ethereum/Solidity for the stateful contracts that our protocols are based on.
We also adapt our off-chain cash distribution protocols to the special case of stateful duplex micropayment channels, which are of independent interest. In comparison to Bitcoin based payment channels, our duplex channel implementation is more efficient and has additional features.
Category / Keywords: secure computation, fairness, amortization, Bitcoin, mental poker
Original Publication (in the same form): IACR-ASIACRYPT-2017
Date: received 7 Sep 2017
Contact author: iddobentov at cornell edu, vranjit@gmail com, soc1024@illinois edu
Available format(s): PDF | BibTeX Citation
Version: 20170913:212810 (All versions of this report)
Short URL: ia.cr/2017/875
[ Cryptology ePrint archive ]