Function verify 

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

Verify the proof