Paper 2014/522
Constrained Pseudorandom Functions: Verifiable and Delegatable
Nishanth Chandran, Srinivasan Raghuraman, and Dhinakaran Vinayagamurthy
Abstract
Constrained pseudorandom functions (introduced independently by Boneh and Waters (CCS 2013), Boyle, Goldwasser, and Ivan (PKC 2014), and Kiayias, Papadopoulos, Triandopoulos, and Zacharias (CCS 2013)), are pseudorandom functions (PRFs) that allow the owner of the secret key $k$ to compute a constrained key $k_f$, such that anyone who possesses $k_f$ can compute the output of the PRF on any input $x$ such that $f(x) = 1$ for some predicate $f$. The security requirement of constrained PRFs state that the PRF output must still look indistinguishable from random for any $x$ such that $f(x) = 0$. Boneh and Waters show how to construct constrained PRFs for the class of bitfixing as well as circuit predicates. They explicitly left open the question of constructing constrained PRFs that are delegatable  i.e., constrained PRFs where the owner of $k_f$ can compute a constrained key $k_{f'}$ for a further restrictive predicate $f'$. Boyle, Goldwasser, and Ivan left open the question of constructing constrained PRFs that are also verifiable. Verifiable random functions (VRFs), introduced by Micali, Rabin, and Vadhan (FOCS 1999), are PRFs that allow the owner of the secret key $k$ to prove, for any input $x$, that $y$ indeed is the output of the PRF on $x$; the security requirement of VRFs state that the PRF output must still look indistinguishable from random, for any $x$ for which a proof is not given. In this work, we solve both the above open questions by constructing constrained pseudorandom functions that are simultaneously verifiable and delegatable.
Metadata
 Available format(s)
 Category
 Foundations
 Publication info
 Preprint. MINOR revision.
 Keywords
 Pseudorandom functionsConstrained PRFssignaturesVerifiable Random FunctionsMultilinear maps
 Contact author(s)
 nichandr @ microsoft com
 History
 20140707: received
 Short URL
 https://ia.cr/2014/522
 License

CC BY
BibTeX
@misc{cryptoeprint:2014/522, author = {Nishanth Chandran and Srinivasan Raghuraman and Dhinakaran Vinayagamurthy}, title = {Constrained Pseudorandom Functions: Verifiable and Delegatable}, howpublished = {Cryptology ePrint Archive, Paper 2014/522}, year = {2014}, note = {\url{https://eprint.iacr.org/2014/522}}, url = {https://eprint.iacr.org/2014/522} }