Function verify 

pub fn verify<F, C>(
    k: usize,
    claim: MultilinearEvalClaim<C::Elem>,
    channel: &mut C,
) -> Result<MultilinearEvalClaim<C::Elem>, Error>
where
    F: Field,
    C: IPVerifierChannel<F>,