Function setup_verifier 

pub fn setup_verifier<H>(
    cs: ConstraintSystem,
    log_inv_rate: usize,
) -> Result<Verifier<H>>
where
    H: ParallelHashSuite + Clone,
    Output<H::LeafHash>: SerializeBytes + DeserializeBytes,

Set up only the verifier (no prover) for the given constraint system using H as the Merkle hash suite. Cheaper than setup when proving is not needed.