pub fn verify<'a, F, Tower, Transcript, Advice>(
system: &'a EvalClaimSystem<'_, F>,
proof: &mut Proof<Transcript, Advice>,
) -> Result<ReducedClaim<'a, F>, Error>where
F: TowerField + PackedTop<Tower>,
Tower: TowerFamily<B128 = F>,
Transcript: CanRead + CanSample<F>,