Paper 2012/436

Secure Database Commitments and Universal Arguments of Quasi Knowledge

Melissa Chase and Ivan Visconti

Abstract

In this work we focus on a simple database commitment functionality where besides the standard security properties, one would like to hide the size of the input of the sender. Hiding the size of the input of a player is a critical requirement in some applications, and relatively few works have considered it. Notable exceptions are the work on zero-knowledge sets introduced in~\cite{MRK03}, and recent work on size-hiding private set intersection~\cite{ADT11}. However, neither of these achieves a secure computation (i.e., a reduction of a real-world attack of a malicious adversary into an ideal-world attack) of the proposed functionality. The first result of this submission consists in defining ``secure'' database commitment and in observing that previous constructions do not satisfy this definition. This leaves open the question of whether there is any way this functionality can be achieved. We then provide an affirmative answer to this question by using new techniques that combined together achieve ``secure'' database commitment. Our construction is in particular optimized to require only a constant number of rounds, to provide non-interactive proofs on the content of the database, and to rely only on the existence of a family of CRHFs. This is the first result where input-size hiding secure computation is achieved for an interesting functionality and moreover we obtain this result with standard security (i.e., simulation in expected polynomial time against fully malicious adversaries, without random oracles, non-black-box extraction assumptions, hardness assumptions against super-polynomial time adversaries, or other controversial/strong assumptions). A key building block in our construction is a universal argument enjoying an improved proof of knowledge property, that we call quasi-knowledge. This property is significantly closer to the standard proof of knowledge property than the weak proof of knowledge property satisfied by previous constructions.

Metadata
Available format(s)
PDF
Category
Foundations
Publication info
Published elsewhere. This is the full version of a paper that will appear at Crypto '12
Keywords
ZK setsuniversal argumentsinput-size hiding computation.
Contact author(s)
melissac @ microsoft com
History
2012-08-05: received
Short URL
https://ia.cr/2012/436
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2012/436,
      author = {Melissa Chase and Ivan Visconti},
      title = {Secure Database Commitments and Universal Arguments of Quasi Knowledge},
      howpublished = {Cryptology ePrint Archive, Paper 2012/436},
      year = {2012},
      note = {\url{https://eprint.iacr.org/2012/436}},
      url = {https://eprint.iacr.org/2012/436}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.