Function risc0_zkp_verify::fri::fri_verify

pub fn fri_verify<S: Sha, F>(iop: &mut ReadIOP<'_, S>, degree: usize, f: F) where
    F: FnMut(&mut ReadIOP<'_, S>, usize) -> Fp4,