Evaluate returns the verifiable unpredictable(random) function evaluated at m.

ProofToHash asserts that proof is correct for m and outputs index.

Verify returns true if vrf and nizk is correct for msg.

Vrf returns the verifiable random function evaluated m and a NIZK proof.