Module vrf 

Verifiable Random Function (VRF) using Ed25519.

A VRF produces a pseudorandom output together with a proof that the output was computed correctly. Given (pubkey, input), anyone can verify that output = VRF(privkey, input) without seeing privkey.

Construction: ECVRF-EDWARDS25519-SHA512-TAI (simplified, not full RFC 9381).

Structs

VrfKeypair

VrfProof

Functions

vrf_verify

Verify that proof.output is the correct VRF output for pubkey + input.