temp change: flip the sign on mul in plonk; this temp change may be d…

…iscarded
Bitcoin-Wildlife-Sanctuary · Aug 9, 2024 · 9253ad8 · 9253ad8
1 parent 6040353
commit 9253ad8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crates/prover/src/examples/plonk/mod.rs b/crates/prover/src/examples/plonk/mod.rs
@@ -52,7 +52,7 @@ impl FrameworkComponent for PlonkComponent {
         let b_val = eval.next_trace_mask();
         let c_val = eval.next_trace_mask();
 
-        eval.add_constraint(c_val - op * (a_val + b_val) + (E::F::one() - op) * a_val * b_val);
+        eval.add_constraint(c_val - op * (a_val + b_val) - (E::F::one() - op) * a_val * b_val);
 
         logup.push_lookup(
             &mut eval,