diff --git a/src/zk/gadget/range_check.rs b/src/zk/gadget/range_check.rs index d1276b56c..352f30296 100644 --- a/src/zk/gadget/range_check.rs +++ b/src/zk/gadget/range_check.rs @@ -45,6 +45,8 @@ impl RangeCheckChip RangeCheckConfig { let z = meta.advice_column(); + meta.enable_equality(z); + let s_rc = meta.complex_selector(); let config = RangeCheckConfig { z, s_rc, k_values_table }; @@ -212,6 +214,10 @@ mod tests { fn configure(meta: &mut ConstraintSystem) -> Self::Config { let table_column = meta.lookup_table_column(); + + let constants = meta.fixed_column(); + meta.enable_constant(constants); + RangeCheckChip::::configure(meta, table_column) } @@ -232,7 +238,7 @@ mod tests { } #[test] - fn test_bit() { + fn test_bit_64() { let value = pallas::Base::from(rand::random::()); let circuit = MyCircuit:: { value: Value::known(value) }; let prover = MockProver::run(8, &circuit, vec![]).unwrap();