pub type WitnessOutput = <RistrettoGroup2HashDh as VerifiableRandomFunction>::RandomOutput;