Module tiny 

Tiny VRF

Compact VRF-AD scheme producing a short (c, s) proof. Prepends the Schnorr pair (G, Y) to the I/O list and proves a single DLEQ on the delinearized merged pair. The challenge scalar c is stored instead of the nonce commitment, yielding a smaller proof at the cost of not supporting batch verification.

Usage

use ark_vrf::suites::bandersnatch::*;
use ark_vrf::tiny::{Prover, Verifier};

let secret = Secret::from_seed([0; 32]);
let public = secret.public();
let input = Input::new(b"example input").unwrap();
let io = secret.vrf_io(input);

// Proving
let proof = secret.prove(io, b"aux data");

// Verification
let result = public.verify(io, b"aux data", &proof);

Structs

Proof

Tiny VRF proof.

Traits

Prover

Trait for types that can generate Tiny VRF proofs.

TinySuite

Marker trait for suites that support the Tiny VRF scheme.

Verifier

Trait for entities that can verify Tiny VRF proofs.