Function verify 

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

Verify the proof