As JAM third party implementations are encouraged we need to produce a set of test vectors for the crypto primitives we're using. Here's a list of open points / doubts we need to address. Ring Proof Related [ ] 1 Are ring-proof and fflonk libraries stable with respect to the produced output?We don't want to produce test vectors that are invalidated by some upcoming change. Sergey: fflonk is not audited and can't be trusted. Fiat sharmir implementation of ring proof is not finalized. [x] 2 We need deterministic outputs for test vectors

Crates: bandersnatch_vrfs dleq_vrfs RFC 9381 Notes: https://hackmd.io/@davxy/B1EB_Yr0p VRF Input (H) (aka VrfInput)

https://datatracker.ietf.org/doc/rfc9381/ 5. ECVRF General math objects and domains: F: finite field E: elliptic curve defined over F G: subgroup of E with large prime order q: prime order of G B: generator of group G