circom-compat/src/circom/mod.rs
src/circom/mod.rsRaw
1use ark_ec::PairingEngine;
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 PairingEngine>::Fr)>;