feat: eanble zkevm.bin for old replay tests (#602)

Signed-off-by: F Bojarski <[email protected]>

Author: letypequividelespoubelles

.gitignore

@@ -1,5 +1,6 @@
 zkevm.bin
 zkevm.go.bin
 zkevm_for_reference_tests.bin
+zkevm_for_old_replay_tests.bin
 zkevm.go
 *.swp

Makefile

@@ -10,20 +10,27 @@ BIN := bin
 
 BLAKE2f_MODEXP_DATA := blake2fmodexpdata
 
-# with gaslimit for ethereum file
-BLOCKDATA_FOR_REFERENCE_TESTS := $(wildcard blockdata/*.lisp) \
-				 $(wildcard blockdata/processing/*.lisp) \
-				 $(wildcard blockdata/processing/gaslimit/common.lisp) \
-				 $(wildcard blockdata/processing/gaslimit/ethereum.lisp) \
-				 $(wildcard blockdata/lookups/*.lisp)
-
-# with gaslimit for linea file
+# constraints used in prod for LINEA, with linea block gas limit
 BLOCKDATA_FOR_LINEA := $(wildcard blockdata/*.lisp) \
 		       $(wildcard blockdata/processing/*.lisp) \
 		       $(wildcard blockdata/processing/gaslimit/common.lisp) \
 		       $(wildcard blockdata/processing/gaslimit/linea.lisp) \
 		       $(wildcard blockdata/lookups/*.lisp)
 
+# with gaslimit for old replay tests (ie without the constraint BLOCK_GAS_LIMIT = LINEA_BLOCK_GAS_LIMIT = 2 000 000 000)
+BLOCKDATA_FOR_OLD_REPLAY_TESTS := $(wildcard blockdata/*.lisp) \
+				 $(wildcard blockdata/processing/*.lisp) \
+				 $(wildcard blockdata/processing/gaslimit/common.lisp) \
+				 $(wildcard blockdata/processing/gaslimit/old_replay_test.lisp) \
+				 $(wildcard blockdata/lookups/*.lisp)
+
+# with gaslimit for ethereum file (used for reference tests)
+BLOCKDATA_FOR_REFERENCE_TESTS := $(wildcard blockdata/*.lisp) \
+				 $(wildcard blockdata/processing/*.lisp) \
+				 $(wildcard blockdata/processing/gaslimit/common.lisp) \
+				 $(wildcard blockdata/processing/gaslimit/ethereum.lisp) \
+				 $(wildcard blockdata/lookups/*.lisp)
+
 BLOCKHASH := blockhash
 
 CONSTANTS := constants/constants.lisp
@@ -111,6 +118,42 @@ ZKEVM_MODULES := ${CONSTANTS} \
 zkevm.bin: ${ZKEVM_MODULES}
 	${GO_CORSET_COMPILE} -o $@ ${ZKEVM_MODULES}
 
+# Corset is order sensitive - to compile, we load the constants first
+ZKEVM_MODULES_FOR_OLD_REPLAY_TESTS := ${CONSTANTS} \
+					 ${ALU} \
+				     ${BIN} \
+				     ${BLAKE2f_MODEXP_DATA} \
+				     ${BLOCKDATA_FOR_OLD_REPLAY_TESTS} \
+				     ${BLOCKHASH} \
+				     ${EC_DATA} \
+				     ${EUC} \
+				     ${EXP} \
+				     ${GAS} \
+				     ${HUB} \
+				     ${LIBRARY} \
+				     ${LOG_DATA} \
+				     ${LOG_INFO} \
+				     ${MMIO} \
+				     ${MMU} \
+				     ${MXP} \
+				     ${OOB} \
+				     ${RLP_ADDR} \
+				     ${RLP_TXN} \
+				     ${RLP_TXRCPT} \
+				     ${ROM} \
+				     ${ROM_LEX} \
+				     ${SHAKIRA_DATA} \
+				     ${SHIFT} \
+				     ${STP} \
+				     ${TABLES} \
+				     ${TRM} \
+				     ${TXN_DATA} \
+				     ${WCP}
+
+
+zkevm_for_reference_tests.bin: ${ZKEVM_MODULES_FOR_OLD_REPLAY_TESTS}
+	${GO_CORSET_COMPILE} -o $@ ${ZKEVM_MODULES_FOR_OLD_REPLAY_TESTS}
+
 # Corset is order sensitive - to compile, we load the constants first
 ZKEVM_MODULES_FOR_REFERENCE_TESTS := ${CONSTANTS} \
 					 ${ALU} \
@@ -144,5 +187,5 @@ ZKEVM_MODULES_FOR_REFERENCE_TESTS := ${CONSTANTS} \
 				     ${WCP}
 
 
-zkevm_for_reference_tests.bin: ${ZKEVM_MODULES_FOR_REFERENCE_TESTS}
+zkevm_for_old_replay_tests.bin: ${ZKEVM_MODULES_FOR_REFERENCE_TESTS}
 	${GO_CORSET_COMPILE} -o $@ ${ZKEVM_MODULES_FOR_REFERENCE_TESTS}

blockdata/processing/gaslimit/old_replay_test.lisp

@@ -0,0 +1,4 @@
+(module blockdata)
+
+(defconst GAS_LIMIT_MINIMUM LINEA_GAS_LIMIT_MINIMUM)
+(defconst GAS_LIMIT_MAXIMUM LINEA_GAS_LIMIT_MAXIMUM)