Paper 2015/497

Efficient Zero-Knowledge Proofs of Non-Algebraic Statements with Sublinear Amortized Cost

Zhangxiang Hu, Payman Mohassel, and Mike Rosulek

Abstract

We describe a zero-knowledge proof system in which a prover holds a large dataset M and can repeatedly prove NP relations about that dataset. That is, for any (public) relation R and x, the prover can prove that w:R(M,x,w)=1. After an initial setup phase (which depends only on M), each proof requires only a constant number of rounds and has communication/computation cost proportional to that of a {\em random-access machine (RAM)} implementation of R, up to polylogarithmic factors. In particular, the cost per proof in many applications is sublinear in |M|. Additionally, the storage requirement between proofs for the verifier is constant.

Metadata
Available format(s)
PDF
Category
Cryptographic protocols
Publication info
Published by the IACR in CRYPTO 2015
Keywords
zero-knowledgesecure computationoblivious ramgarbled circuits
Contact author(s)
rosulekm @ eecs oregonstate edu
History
2015-05-26: revised
2015-05-26: received
See all versions
Short URL
https://ia.cr/2015/497
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2015/497,
      author = {Zhangxiang Hu and Payman Mohassel and Mike Rosulek},
      title = {Efficient Zero-Knowledge Proofs of Non-Algebraic Statements with Sublinear Amortized Cost},
      howpublished = {Cryptology {ePrint} Archive, Paper 2015/497},
      year = {2015},
      url = {https://eprint.iacr.org/2015/497}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.