sp1_recursion_program::fri::two_adic_pcs

Function verify_two_adic_pcs

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,

Function verify_two_adic_pcsCopy item path

Function verify_two_adic_pcs