fix(types): accumulation happens over 8 rows, i64 accumulators suffice

Consensys · Aug 8, 2024 · a0629fb · a0629fb
1 parent 9ccdf64
commit a0629fb
Showing 1 changed file with 16 additions and 16 deletions.
diff --git a/alu/mul/columns.lisp b/alu/mul/columns.lisp
@@ -16,25 +16,25 @@
     (RES_LO            :i128)
     (BITS              :binary@prove)
     ;==========================
-    (BYTE_A_3 :byte@prove)    (ACC_A_3 :i128)
-    (BYTE_A_2 :byte@prove)    (ACC_A_2 :i128)
-    (BYTE_A_1 :byte@prove)    (ACC_A_1 :i128)
-    (BYTE_A_0 :byte@prove)    (ACC_A_0 :i128)
+    (BYTE_A_3 :byte@prove)    (ACC_A_3 :i64)
+    (BYTE_A_2 :byte@prove)    (ACC_A_2 :i64)
+    (BYTE_A_1 :byte@prove)    (ACC_A_1 :i64)
+    (BYTE_A_0 :byte@prove)    (ACC_A_0 :i64)
     ;==========================
-    (BYTE_B_3 :byte@prove)    (ACC_B_3 :i128)
-    (BYTE_B_2 :byte@prove)    (ACC_B_2 :i128)
-    (BYTE_B_1 :byte@prove)    (ACC_B_1 :i128)
-    (BYTE_B_0 :byte@prove)    (ACC_B_0 :i128)
+    (BYTE_B_3 :byte@prove)    (ACC_B_3 :i64)
+    (BYTE_B_2 :byte@prove)    (ACC_B_2 :i64)
+    (BYTE_B_1 :byte@prove)    (ACC_B_1 :i64)
+    (BYTE_B_0 :byte@prove)    (ACC_B_0 :i64)
     ;==========================
-    (BYTE_C_3 :byte@prove)    (ACC_C_3 :i128)
-    (BYTE_C_2 :byte@prove)    (ACC_C_2 :i128)
-    (BYTE_C_1 :byte@prove)    (ACC_C_1 :i128)
-    (BYTE_C_0 :byte@prove)    (ACC_C_0 :i128)
+    (BYTE_C_3 :byte@prove)    (ACC_C_3 :i64)
+    (BYTE_C_2 :byte@prove)    (ACC_C_2 :i64)
+    (BYTE_C_1 :byte@prove)    (ACC_C_1 :i64)
+    (BYTE_C_0 :byte@prove)    (ACC_C_0 :i64)
     ;==========================
-    (BYTE_H_3 :byte@prove)    (ACC_H_3 :i128)
-    (BYTE_H_2 :byte@prove)    (ACC_H_2 :i128)
-    (BYTE_H_1 :byte@prove)    (ACC_H_1 :i128)
-    (BYTE_H_0 :byte@prove)    (ACC_H_0 :i128)
+    (BYTE_H_3 :byte@prove)    (ACC_H_3 :i64)
+    (BYTE_H_2 :byte@prove)    (ACC_H_2 :i64)
+    (BYTE_H_1 :byte@prove)    (ACC_H_1 :i64)
+    (BYTE_H_0 :byte@prove)    (ACC_H_0 :i64)
     ;==========================
     (EXPONENT_BIT               :binary@prove)
     (EXPONENT_BIT_ACCUMULATOR   :i8)