Module 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