fixed assignment of sum

Signed-off-by: Sally MacFarlane <[email protected]>
Consensys · Apr 26, 2023 · ccbdd7b · ccbdd7b
1 parent 06179c9
commit ccbdd7b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/net/consensys/linea/zktracer/module/alu/mul/MulData.java b/src/main/java/net/consensys/linea/zktracer/module/alu/mul/MulData.java
@@ -338,7 +338,7 @@ public void setHsAndBitsFromBaseThetas(BaseTheta aBaseTheta, BaseTheta bBaseThet
     long beta = getOverflow(sum, 3, "beta OOB");
 
     prod = aBaseThetaInts[0].multiply(bBaseThetaInts[0]);
-    sum = sum.add(prod); // sum := a0 * b0
+    sum = prod; // sum := a0 * b0
 
     prod = UInt256.fromBytes(hBytes.get(0)).shiftLeft(64);
     sum = sum.add(prod); // sum += (h0 << 64)