zinc_piop/lib.rs
1pub mod combined_poly_resolver;
2pub mod ideal_check;
3pub mod lookup;
4pub mod multipoint_eval;
5pub mod projections;
6pub mod random_field_sumcheck;
7pub mod shift_predicate;
8pub mod sumcheck;
9#[cfg(test)]
10pub mod test_utils;
11
12/// Sumcheck combination function: maps MLE evaluations to a single field
13/// element.
14pub type CombFn<F> = Box<dyn Fn(&[F]) -> F + Send + Sync>;