From 207dfea72edc4e3c47fe53b38e8ab04e61bd733a Mon Sep 17 00:00:00 2001 From: Tsvetan Dimitrov Date: Thu, 11 Jan 2024 13:51:24 +0200 Subject: [PATCH] feat(modexp): add columns --- Makefile | 3 +++ modexp/columns.lisp | 11 +++++++++++ modexp/constraints.lisp | 0 3 files changed, 14 insertions(+) create mode 100644 modexp/columns.lisp create mode 100644 modexp/constraints.lisp diff --git a/Makefile b/Makefile index 6b5ca59f..04b718dd 100644 --- 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 := modexp/ + ZKEVM_MODULES := ${ALU} \ ${BIN} \ ${EC_DATA} \ @@ -92,6 +94,7 @@ ZKEVM_MODULES := ${ALU} \ ${LOG_DATA} \ ${LOG_INFO} \ ${MEMORY} \ + ${MODEXP} \ ${MXP} \ ${PUB_DATA} \ ${RLP_ADDR} \ diff --git a/modexp/columns.lisp b/modexp/columns.lisp new file mode 100644 index 00000000..2e5bb663 --- /dev/null +++ b/modexp/columns.lisp @@ -0,0 +1,11 @@ +(module modexp) + +(defcolumns + STAMP + (CT :byte) + (RDCN :i32) + BEMR + (INDEX :byte :display :dec) + (LIMB :display :bytes) + (BYTES :byte)) + diff --git a/modexp/constraints.lisp b/modexp/constraints.lisp new file mode 100644 index 00000000..e69de29b