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>>,
)