Function sp1_recursion_program::fri::two_adic_pcs::verify_two_adic_pcs

source ยท 
pub fn verify_two_adic_pcs<C: Config>(
    builder: &mut Builder<C>,
    config: &FriConfigVariable<C>,
    rounds: Array<C, TwoAdicPcsRoundVariable<C>>,
    proof: TwoAdicPcsProofVariable<C>,
    challenger: &mut DuplexChallengerVariable<C>,
)
where
    C::F: TwoAdicField,
    C::EF: TwoAdicField,