1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

use ark_ec::pairing::Pairing;

pub mod r1cs_reader;
pub use r1cs_reader::{R1CSFile, R1CS};

mod circuit;
pub use circuit::CircomCircuit;

mod builder;
pub use builder::{CircomBuilder, CircomConfig};

mod qap;
pub use qap::CircomReduction;

pub type Constraints<E> = (ConstraintVec<E>, ConstraintVec<E>, ConstraintVec<E>);
pub type ConstraintVec<E> = Vec<(usize, <E as Pairing>::ScalarField)>;