Merge pull request privacy-scaling-explorations#81 from han0110/fix/e…

…valuation Negate the subtrahend when processing `Expression::Sum`
pinkiebell · Jun 21, 2022 · f586922 · f586922
2 parents 1fc6770 + 3966f4e
commit f586922
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 {