circom-compat/src/circuit/mod.rs
src/circuit/mod.rsRaw
1use ark_ec::PairingEngine;
2
3pub mod r1cs_reader;
4pub use r1cs_reader::{R1CSFile, R1CS};
5
6mod circom;
7pub use circom::CircomCircuit;
8
9mod builder;
10pub use builder::{CircomBuilder, CircuitConfig};
11
12pub type Constraints<E> = (ConstraintVec<E>, ConstraintVec<E>, ConstraintVec<E>);
13pub type ConstraintVec<E> = Vec<(usize, <E as PairingEngine>::Fr)>;