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