fix: osaka ref tests (#837)

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

Author: letypequividelespoubelles

constants/constants.lisp

@@ -10,6 +10,7 @@
   EVM_CANCUN                             19
   EVM_PRAGUE                             20
   EVM_OSAKA                              21
+  EVM_AMSTERDAM                          22
   ;; Default fork
   (EVM_FORK :i8 :extern)         EVM_LONDON
   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

rlptxn/cancun/columns/shared.lisp

@@ -34,8 +34,8 @@
   ( IS_R                          :binary@prove )
   ( IS_S                          :binary@prove )
   ;; ( PHASE_END                     :binary ) ;; defcomputed column
-  ( CT                            :i16          ) ;; Linea call data is capped at 120kB < 2**17 limbs = 2**13 bytes
-  ( CT_MAX                        :i16          )
+  ( CT                            :i32          ) ;; Linea call data is capped at 120kB < 2**17 limbs = 2**13 bytes
+  ( CT_MAX                        :i32          ) ;; i16 is not enough for ref tests
   ;; ( DONE                          :binary ) ;; defcomputed column
   ( REPLAY_PROTECTION             :binary@prove )
   ( Y_PARITY                      :binary@prove )

rlptxn/cancun/constraints/generalities/indexes.lisp

@@ -1,14 +1,16 @@
 (module rlptxn)
 
-(defcomputedcolumn (INDEX_LT :i16 :fwd) 
+;;note: :i16 is not enough for ref tests
+
+(defcomputedcolumn (INDEX_LT :i32 :fwd) 
     (if-not-zero (is-first-row-of-transaction)
         ;; initialization
         0
         ;; update
         (+ (prev INDEX_LT) (* (prev LC) (prev LT)))
         ))
 
-(defcomputedcolumn (INDEX_LX :i16 :fwd) 
+(defcomputedcolumn (INDEX_LX :i32 :fwd) 
     (if-not-zero (is-first-row-of-transaction)
         ;; initialization
         0