openvm_recursion_circuit/batch_constraint/sumcheck/univariate/
mod.rs

1mod air;
2mod trace;
3
4pub use air::{UnivariateSumcheckAir, UnivariateSumcheckCols};
5pub(crate) use trace::UnivariateSumcheckTraceGenerator;