Commit sugestion

Co-authored-by: Arthur Paulino <arthurleonardo.ap@gmail.com>
argumentcomputer · Sep 21, 2023 · d566c94 · d566c94
1 parent 4297ff2
commit d566c94
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lem/circuit.rs b/src/lem/circuit.rs
@@ -156,7 +156,7 @@ fn allocate_img_for_slot<F: LurkField, CS: ConstraintSystem<F>>(
                 let b_num = &preallocated_preimg[1];
                 let a_is_negative = allocate_is_negative(cs.namespace(|| "a_is_negative"), a_num)?;
                 let b_is_negative = allocate_is_negative(cs.namespace(|| "b_is_negative"), b_num)?;
-                // (same_sign * diff_is_neg) || (!same_sign * a_is_neg)
+                // (same_sign && diff_is_neg) || (!same_sign && a_is_neg)
                 let same_sign =
                     Boolean::xor(cs.namespace(|| "same_sign"), &a_is_negative, &b_is_negative)?
                         .not();