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.

A Non-interactive Range Proof with Constant Communication.

Efficient non-interactive zero-knowledge proofs for quantum range verification in blockchain

Improvements on Non-Interactive Zero-Knowledge Proof Systems Related to Quadratic Residuosity Languages.

Efficient Non-Interactive Zero Knowledge Arguments for Set Operations.

A Verifiable Random Function with Short Proofs and Keys

Experimental relativistic zero-knowledge proofs

Preprocessing Succinct Non-Interactive Arguments for Rank-1 Constraint Satisfiability from Holographic Proofs

Non-interactive zero-knowledge proof scheme from RLWE-based key exchange

Interactive zero-knowledge with restricted random oracles

Lightweight Zero-Knowledge Proofs for Crypto-Computing Protocols.

Efficient Modular NIZK Arguments from Shift and Product

Proving in Zero-Knowledge that a Number is the Product of Two Safe Primes

Verifiable Random Functions from Non-interactive Witness-Indistinguishable Proofs

Constructing Verifiable Random Functions with Large Input Spaces

Fiat-Shamir for Proofs Lacks a Proof Even in the Presence of Shared Entanglement

Indistinguishable Proofs of Work or Knowledge.

The Knowledge Complexity of Interactive Proof Systems

Provably Secure Ntru Instances Over Prime Cyclotomic Rings

Compact Proofs of Partial Knowledge for Overlapping CNF Formulae

On the Relativistic Zero Knowledge Quantum Proofs of Knowledge