feat(modexp-data): add contraints for MODEXP_DATA module (#70)

Resolves: #68 Signed-off-by: Tsvetan Dimitrov <tsvetan.dimitrov@consensys.net>
Consensys · Jan 18, 2024 · 9d45333 · 9d45333
1 parent 3530f1a
commit 9d45333
Show file tree

Hide file tree

Showing 4 changed files with 24 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -84,6 +84,8 @@ TXN_DATA := txn_data/columns.lisp txn_data/constraints.lisp \
 WCP := wcp/columns.lisp wcp/constraints.lisp \
 	   # wcp/hub_into_wcp.lisp \
 
+MODEXP_DATA := modexpdata/
+
 ZKEVM_MODULES := ${ALU} \
 	${BIN} \
 	${EC_DATA} \
@@ -92,6 +94,7 @@ ZKEVM_MODULES := ${ALU} \
 	${LOG_DATA} \
 	${LOG_INFO} \
 	${MEMORY} \
+	${MODEXP_DATA} \
 	${MXP} \
 	${PUB_DATA} \
 	${RLP_ADDR} \

diff --git a/modexpdata/columns.lisp b/modexpdata/columns.lisp
@@ -0,0 +1,12 @@
+(module modexpdata)
+
+(defcolumns 
+  (STAMP :byte)
+  (CT :byte)
+  (RESULT_DATA_CONTEXT :i32)
+  (BEMR :byte)
+  (PHASE :byte)
+  (INDEX :byte :display :dec)
+  (LIMB :i16 :display :bytes)
+  (BYTES :byte))
+
diff --git a/modexpdata/constants.lisp b/modexpdata/constants.lisp
@@ -0,0 +1,8 @@
+(module modexpdata)
+
+(defconst 
+  PHASE_BASE     1
+  PHASE_EXPONENT 2
+  PHASE_MODULUS  3
+  PHASE_RESULT   4)
+
diff --git a/modexpdata/constraints.lisp b/modexpdata/constraints.lisp
@@ -0,0 +1 @@
+(module modexpdata)