Function verify 

pub fn verify<E: Curve>(
    data: Data<'_, E>,
    commitment: &Commitment<E>,
    challenge: &Challenge<E>,
    proof: &Proof<E>,
) -> Result<(), InvalidProof>

Verify the proof