openvm_native_recursion::fri

Function verify_shape_and_sample_challenges

Source
pub fn verify_shape_and_sample_challenges<C: Config>(
    builder: &mut Builder<C>,
    config: &FriConfigVariable<C>,
    proof: &FriProofVariable<C>,
    challenger: &mut impl ChallengerVariable<C>,
) -> FriChallengesVariable<C>
Expand description

Reference: https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/fri/src/verifier.rs#L27