openvm_recursion_circuit/gkr/sumcheck/
mod.rs

1mod air;
2mod trace;
3
4pub use air::{GkrLayerSumcheckAir, GkrLayerSumcheckCols};
5pub use trace::{GkrSumcheckRecord, GkrSumcheckTraceGenerator};