Paper 2020/832

Round-optimal Black-box Commit-and-prove with Succinct Communication

Susumu Kiyoshima

Abstract

We give a four-round black-box construction of a commit-and-prove protocol with succinct communication. Our construction is WI and has constant soundness error, and it can be upgraded into a one that is ZK and has negligible soundness error by relying on a round-preserving transformation of Khurana et al. (TCC 2018). Our construction is obtained by combining the MPC-in-the-head technique of Ishai et al. (SICOMP 2009) with the two-round succinct argument of Kalai et al. (STOC 2014), and the main technical novelty lies in the analysis of the soundness---we show that, although the succinct argument of Kalai et al. does not necessarily provide soundness for NP statements, it can be used in the MPC-in-the-head technique for proving the consistency of committed MPC views. Our construction is based on sub-exponentially hard collision-resistant hash functions, two-round PIRs, and two-round OTs.

Metadata
Available format(s)
PDF
Category
Foundations
Publication info
A major revision of an IACR publication in CRYPTO 2020
Contact author(s)
susumu kiyoshima @ ntt-research com
History
2020-07-07: received
Short URL
https://ia.cr/2020/832
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2020/832,
      author = {Susumu Kiyoshima},
      title = {Round-optimal Black-box Commit-and-prove with Succinct Communication},
      howpublished = {Cryptology ePrint Archive, Paper 2020/832},
      year = {2020},
      note = {\url{https://eprint.iacr.org/2020/832}},
      url = {https://eprint.iacr.org/2020/832}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.