From 1c0d2c9365f1dcec88abc5a71b6d7e529ce4149f Mon Sep 17 00:00:00 2001 From: Lorenzo Gentile Date: Mon, 9 Sep 2024 19:04:15 +0200 Subject: [PATCH 1/2] fix(exp): use CT_MAX_CMPTN_MODEXP_LOG Signed-off-by: Lorenzo Gentile --- exp/constraints.lisp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/exp/constraints.lisp b/exp/constraints.lisp index dab5982b..e1a347d5 100644 --- a/exp/constraints.lisp +++ b/exp/constraints.lisp @@ -208,7 +208,7 @@ (eq! MSB TRIM_BYTE))))) (defconstraint most-significant-byte-end (:perspective computation :guard IS_MODEXP_LOG) - (if-eq CT 15 + (if-eq CT CT_MAX_CMPTN_MODEXP_LOG (if-zero TANZB_ACC (vanishes! MSB)))) From 8787a7467e8f7803f4d835239df60c9f9f278987 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Olivier=20B=C3=A9gassat?= <38285177+OlivierBBB@users.noreply.github.com> Date: Mon, 9 Sep 2024 19:18:45 +0200 Subject: [PATCH 2/2] Update constraints.lisp MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Olivier Bégassat <38285177+OlivierBBB@users.noreply.github.com> --- exp/constraints.lisp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/exp/constraints.lisp b/exp/constraints.lisp index e1a347d5..76d60689 100644 --- a/exp/constraints.lisp +++ b/exp/constraints.lisp @@ -208,7 +208,7 @@ (eq! MSB TRIM_BYTE))))) (defconstraint most-significant-byte-end (:perspective computation :guard IS_MODEXP_LOG) - (if-eq CT CT_MAX_CMPTN_MODEXP_LOG + (if-eq CT CT_MAX (if-zero TANZB_ACC (vanishes! MSB))))