Function sp1_recursion_circuit::fri::verify_two_adic_pcs

source ยท 
pub fn verify_two_adic_pcs<C: Config>(
    builder: &mut Builder<C>,
    config: &FriConfig<OuterChallengeMmcs>,
    proof: &TwoAdicPcsProofVariable<C>,
    challenger: &mut MultiField32ChallengerVariable<C>,
    rounds: Vec<TwoAdicPcsRoundVariable<C>>,
)