Function verify

pub fn verify<'a, F, Challenger_>(
    system: &'a EvalClaimSystem<'_, F>,
    transcript: &mut VerifierTranscript<Challenger_>,
) -> Result<ReducedClaim<'a, F>, Error>
where
    F: TowerTop + PackedTop<Scalar = F>,
    Challenger_: Challenger,