Abstract:Verifiable random functions (VRFs) are pseudorandom functions where the owner of the seed, in addition to computing the function's value y at any point x, can also generate a non-interactive proof \(\pi \) that y is correct, without compromising pseudorandomness at other points. Being a natural primitive with a wide range of applications, considerable efforts have been directed toward the construction of such VRFs. While these efforts have resulted in a variety of algebraic constructions (from bilinear maps or the RSA problem), the relation between VRFs and other general primitives is still not well understood. We present new constructions of VRFs from general primitives, the main one being non-interactive witness-indistinguishable proofs (NIWIs). This includes: (1) a selectively secure VRF assuming NIWIs and non-interactive commitments. As usual, the VRF can be made adaptively secure assuming subexponential hardness of the underlying primitives. (2) An adaptively secure VRF assuming (polynomially hard) NIWIs, non-interactive commitments, and (single-key) constrained pseudorandom functions for a restricted class of constraints. The above primitives can be instantiated under various standard assumptions, which yields corresponding VRF instantiations, under different assumptions than were known so far. One notable example is a non-uniform construction of VRFs from subexponentially hard trapdoor permutations, or more generally, from verifiable pseudorandom generators (the construction can be made uniform under a standard derandomization assumption). This partially answers an open question by Dwork and Naor (FOCS '00). The construction and its analysis are quite simple. Both draw from ideas commonly used in the context of indistinguishability obfuscation.

More Efficient Verifiable Functional Encryption.

Improved Construction for Inner Product Functional Encryption

Efficient Functional Encryption for Inner Product with Simulation-Based Security

EVFL: Towards Efficient Verifiable Federated Learning Via Parameter Reuse and Adaptive Sparsification

Functional Encryption with Application to Machine Learning: Simple Conversions from Generic Functions to Quadratic Functions

Unclonable Functional Encryption

Verifiable Random Functions from Non-interactive Witness-Indistinguishable Proofs

A survey on Functional Encryption

Privacy-Preserving Traceable Functional Encryption for Inner Product

Efficient Verifiable Delay Functions

Simulatable Verifiable Random Function from the LWE Assumption

Practical CCA-Secure Functional Encryptions for Deterministic Functions

Efficient public-key authenticated deniable encryption schemes

Efficient Generalized Selective Private Function Evaluation With Applications In Biometric Authentication

Reuse It Or Lose It: More Efficient Secure Computation Through Reuse of Encrypted Values

Hardware functional obfuscation with ferroelectric active interconnects

Privacy Preserving Federated Learning from Multi-Input Functional Proxy Re-Encryption

Certified Everlasting Secure Collusion-Resistant Functional Encryption, and More

Fast and Accurate: Efficient Full-Domain Functional Bootstrap and Digit Decomposition for Homomorphic Computation

A Verifiable Random Function with Short Proofs and Keys