feat: impose linea block gas limit (#600)

Signed-off-by: F Bojarski <[email protected]>
Consensys · Feb 26, 2025 · 6d52fce · 6d52fce
1 parent da8d1d7
commit 6d52fce
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 2 deletions.
diff --git a/blockdata/columns.lisp b/blockdata/columns.lisp
@@ -14,7 +14,7 @@
  (INST                :byte :display :opcode)
  (COINBASE_HI         :i32)
  (COINBASE_LO         :i128)
- (BLOCK_GAS_LIMIT     :i64)
+ (BLOCK_GAS_LIMIT     :i32)
  (BASEFEE             :i64)
  (FIRST_BLOCK_NUMBER  :i48)
  (REL_BLOCK           :i16)

diff --git a/blockdata/processing/gaslimit/linea.lisp b/blockdata/processing/gaslimit/linea.lisp
@@ -2,3 +2,6 @@
 
 (defconst GAS_LIMIT_MINIMUM LINEA_GAS_LIMIT_MINIMUM)
 (defconst GAS_LIMIT_MAXIMUM LINEA_GAS_LIMIT_MAXIMUM)
+
+(defconstraint block-gas-limit-value (:guard IS_GASLIMIT)
+    (eq! BLOCK_GAS_LIMIT LINEA_BLOCK_GAS_LIMIT))
diff --git a/constants/constants.lisp b/constants/constants.lisp
@@ -227,7 +227,6 @@
   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;  LINEA MISC ;;
   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;             ;;
   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-  LINEA_BLOCK_GAS_LIMIT                     61000000
   LINEA_CHAIN_ID                            0xe708
   LINEA_GOERLI_CHAIN_ID                     0xe704
   LINEA_SEPOLIA_CHAIN_ID                    0xe705
@@ -240,6 +239,7 @@
   ETHEREUM_GAS_LIMIT_MAXIMUM                0xffffffffffffffff ;; maxUint64
   LINEA_GAS_LIMIT_MINIMUM                   61000000
   LINEA_GAS_LIMIT_MAXIMUM                   2000000000
+  LINEA_BLOCK_GAS_LIMIT                     LINEA_GAS_LIMIT_MAXIMUM
   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;               ;;
   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; SIZE / LENGTH ;;