Module sp1_recursion_program::fri

Re-exports

• pub use domain::*;
• pub use two_adic_pcs::*;

Modules

• domain
• hints
• two_adic_pcs
• types

Functions

• reduce_fast
• verify_batch
  Verifies a batch opening.
• verify_challenges
  Verifies a set of FRI challenges.
• verify_query
  Verifies a FRI query.
• verify_shape_and_sample_challenges
  Reference: https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/fri/src/verifier.rs#L27