Function prove_verify 

pub fn prove_verify<H>(
    verifier: &Verifier<H>,
    prover: &Prover<OptimalPackedB128, H>,
    witness: &ValueVec,
) -> Result<()>
where
    H: ParallelHashSuite,
    Output<H::LeafHash>: SerializeBytes + DeserializeBytes,