We could add a feature flag to use verifier-randomness instead of computing the fiat shamir challenge using hashes