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