Paper 2016/1110

Efficient Post-Quantum Zero-Knowledge and Signatures

Steven Goldfeder, Melissa Chase, and Greg Zaverucha

Abstract

In this paper, we present a new post-quantum digital signature algorithm that derives its security entirely from assumptions about symmetric-key primitives, which are very well studied and believed to be quantum-secure (with increased parameter sizes). We present our new scheme with a complete post-quantum security analysis, and benchmark results from a prototype implementation. Our construction is an efficient instantiation of the following design: the public key is $y=f(x)$ for preimage-resistant function $f$, and $x$ is the private key. A signature is a non-interactive zero-knowledge proof of $x$, that incorporates a message to be signed. Our security analysis uses recent results of Unruh (EUROCRYPT'12,'15,'16) that show how to securely convert an interactive sigma protocol to a non-interactive one in the quantum random oracle model (QROM). The Unruh construction is generic, and does not immediately yield compact proofs. However, when we specialize the construction to our application, we can reduce the size overhead of the QROM-secure construction to 1.6x, when compared to the Fiat-Shamir transform, which does not have a rigorous post-quantum security analysis. Our implementation results compare both instantiations, with multiple choices of $f$ for comparison. Our signature scheme proposal uses the block cipher LowMC for $f$, as it gives the shortest signatures. In addition to reducing the size of signatures with Unruh's construction, we also improve the size of proofs in the underlying sigma protocol (of Giacomelli et al., USENIX'16) by a factor of two. This is of independent interest as it yields more compact proofs for arbitrary choices of $f$ in the classical case as well. Further, this reduction in size comes at no additional computational cost.

Metadata
Available format(s)
PDF
Category
Public-key cryptography
Publication info
Preprint. MINOR revision.
Contact author(s)
stevenag @ cs princeton edu
History
2016-11-25: received
Short URL
https://ia.cr/2016/1110
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2016/1110,
      author = {Steven Goldfeder and Melissa Chase and Greg Zaverucha},
      title = {Efficient Post-Quantum Zero-Knowledge and Signatures},
      howpublished = {Cryptology ePrint Archive, Paper 2016/1110},
      year = {2016},
      note = {\url{https://eprint.iacr.org/2016/1110}},
      url = {https://eprint.iacr.org/2016/1110}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.