fix(logdata): useless constraints (#194)

Consensys · May 28, 2024 · 89a0345 · 89a0345
1 parent e4a3e05
commit 89a0345
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/logdata/columns.lisp b/logdata/columns.lisp
@@ -3,7 +3,7 @@
 (defcolumns 
   (ABS_LOG_NUM_MAX :i24)
   (ABS_LOG_NUM :i24)
-  (LOGS_DATA :binary@prove)
+  (LOGS_DATA :binary)
   (SIZE_TOTAL :i32)
   (SIZE_ACC :i32)
   (SIZE_LIMB :byte)

diff --git a/logdata/constraints.lisp b/logdata/constraints.lisp
@@ -59,7 +59,7 @@
 
 (defconstraint log-constancies ()
   (begin (log-constancy SIZE_TOTAL)
-         (log-constancy LOGS_DATA)))
+         (debug (log-constancy LOGS_DATA))))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;                         ;;