Function verify

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