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.

Two Sequential Squaring Verifiable Delay Function

Efficient Verifiable Delay Functions

A Verifiable Random Function with Short Proofs and Keys

Practical Post-quantum Few-Time Verifiable Random Function with Applications to Algorand

Verifiable Random Functions from Non-interactive Witness-Indistinguishable Proofs

Private and Secure Post-Quantum Verifiable Random Function with NIZK Proof and Ring-LWE Encryption in Blockchain

Constructing Verifiable Random Functions with Large Input Spaces

Implementation Study of Cost-Effective Verification for Pietrzak's Verifiable Delay Function in Ethereum Smart Contracts

On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions

Quantum-Secure Hybrid Blockchain System for DID-based Verifiable Random Function with NTRU Linkable Ring Signature

Verifier-on-a-Leash: new schemes for verifiable delegated quantum computation, with quasilinear resources

Simulatable Verifiable Random Function from the LWE Assumption

A Functional Verification Framework For Dsps With Vliw Architecture Based On A Random Program Generator

Instance-Dependent Verifiable Random Functions and Their Application to Simultaneous Resettability

Nakamoto Consensus with Verifiable Delay Puzzle

VDOO: A Short, Fast, Post-Quantum Multivariate Digital Signature Scheme

A distributed and parallel $(k, n)$ QSS scheme with verification capability

Practical Verifiable Time-Lock Puzzle: Pre- and Post-Solution Verification

Transparent Polynomial Delegation and Its Applications to Zero Knowledge Proof