Function setup_zk 

pub fn setup_zk<H>(
    cs: ConstraintSystem,
    log_inv_rate: usize,
) -> Result<(ZKVerifier<H>, ZKProver<OptimalPackedB128, H>)>
where
    H: ParallelHashSuite + Clone,
    Output<H::LeafHash>: SerializeBytes + DeserializeBytes,

Set up a ZK prover and verifier for the given constraint system using H as the Merkle hash suite.