1use ark_ec::pairing::Pairing;
 2
 3pub mod r1cs_reader;
 4pub use r1cs_reader::{R1CSFile, R1CS};
 5
 6mod circuit;
 7pub use circuit::CircomCircuit;
 8
 9mod builder;
10pub use builder::{CircomBuilder, CircomConfig};
11
12mod qap;
13pub use qap::CircomReduction;
14
15pub type Constraints<E> = (ConstraintVec<E>, ConstraintVec<E>, ConstraintVec<E>);
16pub type ConstraintVec<E> = Vec<(usize, <E as Pairing>::ScalarField)>;