fix: fix wrong constant case detection in three_bit_cond_neg_lookup

arkworks-rs · Oct 30, 2020 · e5ec2e6 · e5ec2e6
1 parent e5ac1f4
commit e5ec2e6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/fields/fp/mod.rs b/src/fields/fp/mod.rs
@@ -979,7 +979,7 @@ impl<F: PrimeField> ThreeBitCondNegLookupGadget<F> for FpVar<F> {
         debug_assert_eq!(b.len(), 3);
         debug_assert_eq!(c.len(), 4);
 
-        if !b.cs().or(b0b1.cs()).is_none() {
+        if b.cs().or(b0b1.cs()).is_none() {
             // We only have constants
 
             let lsb = usize::from(b[0].value()?);