From a0629fbf49e9c3960a2e883ccd30c2351f7d3fd5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Olivier=20B=C3=A9gassat?= Date: Fri, 9 Aug 2024 01:48:46 +0200 Subject: [PATCH] fix(types): accumulation happens over 8 rows, i64 accumulators suffice --- alu/mul/columns.lisp | 32 ++++++++++++++++---------------- 1 file changed, 16 insertions(+), 16 deletions(-) diff --git a/alu/mul/columns.lisp b/alu/mul/columns.lisp index 5aab2c26..5002e064 100644 --- 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)