Enforce that a field value is on the rhs of a multiplication

AztecProtocol · Jan 3, 2024 · f336884 · f336884
1 parent a1733e2
commit f336884
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/bberg/src/relation_builder.rs b/bberg/src/relation_builder.rs
@@ -371,8 +371,11 @@ fn craft_expression<T: FieldElement>(
                     Expression::Number(_) => (degree, format!("(-{} + {})", rhs, lhs)),
                     _ => (degree, format!("({} - {})", lhs, rhs)),
                 },
-
-                AlgebraicBinaryOperator::Mul => (ld + rd, format!("({} * {})", lhs, rhs)),
+                AlgebraicBinaryOperator::Mul => match lhe.as_ref() {
+                    // BBerg hack, we do not want a field on the lhs of an expression
+                    Expression::Number(_) => (ld + rd, format!("({} * {})", rhs, lhs)),
+                    _ => (ld + rd, format!("({} * {})", lhs, rhs)),
+                },
                 _ => unimplemented!("{:?}", expr),
             }
         }