fix: negate the subtrahend when processing Expression::Sum in `Eval…

…uator::add_expression`
privacy-scaling-explorations · Jun 21, 2022 · 3966f4e · 3966f4e
1 parent bb8070e
commit 3966f4e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/halo2_proofs/src/plonk/evaluation.rs b/halo2_proofs/src/plonk/evaluation.rs
@@ -404,7 +404,7 @@ impl<C: CurveAffine> Evaluator<C> {
                         let result_a = self.add_expression(a);
                         let result_b = self.add_expression(b_int);
                         if result_a == ValueSource::Constant(0) {
-                            result_b
+                            self.add_calculation(Calculation::Negate(result_b))
                         } else if result_b == ValueSource::Constant(0) {
                             result_a
                         } else {