Constraint trace requires enabling `ConstraintLayer`

albttx / ark-circom-tc

4 stars 1 forks source link

Constraint trace requires enabling `ConstraintLayer` #2

Closed albttx closed 2 years ago

albttx commented 2 years ago

Constraint trace requires enabling `ConstraintLayer`
thread 'main' panicked at 'assertion failed: {
    use ark_relations::r1cs::{ConstraintSynthesizer, ConstraintSystem};
    let cs = ConstraintSystem::<E::Fr>::new_ref();
    circom.clone().generate_constraints(cs.clone()).unwrap();
    cs.is_satisfied().unwrap()
}',
/home/albttx/.cargo/git/checkouts/ark-circom-4b320b422980d7a5/eb53e6e/src/circom/builder.rs:82:9
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

albttx commented 2 years ago

Error come from the circom circuits

oskarth commented 2 years ago