1/// Circuits and gadgets shared across the different folding schemes.
2use ark_ec::CurveGroup;
3use ark_ff::Field;
4
5pub mod cyclefold;
6pub mod nonnative;
7
8// CF represents the constraints field
9pub type CF<C> = <<C as CurveGroup>::BaseField as Field>::BasePrimeField;