Cryptology ePrint Archive: Report 2010/229

Concurrent composition in the bounded quantum storage model

Dominique Unruh

Abstract: We define the BQS-UC model, a variant of the UC model, that deals with protocols in the bounded quantum storage model. We present a statistically secure commitment protocol in the BQS-UC model that composes concurrently with other protocols and an (a-priori) polynomially-bounded number of instances of itself. Our protocol has an efficient simulator which is important if one wishes to compose our protocol with protocols that are only computationally secure. Combining our result with prior results, we get a statistically BQS-UC secure protocol for general two-party computation without the need for any setup assumption. The round complexity of that protocol is linear in the circuit depth.

Category / Keywords: foundations / Bounded quantum storage, UC, commitment

Publication Info: Appeared at Eurocrypt 2011

Date: received 23 Apr 2010, last revised 15 May 2011

Contact author: unruh at ut ee

Available formats: PDF | BibTeX Citation

Note: - Earlier version mistakenly claimed a *constant-round* two-party computation protocol.

- Various smaller changes

Version: 20110515:111515 (All versions of this report)

Discussion forum: Show discussion | Start new discussion