Function verify 

pub fn verify<E: Curve, D: Digest>(
    shared_state: &impl Digestable,
    data: Data<'_, E>,
    proof: &NiProof<E>,
) -> Result<(), InvalidProof>

Verify the proof, deriving challenge independently from same data