feat: update trace-limits and besu images (#1129)

* feat: update trace-limits and besu images

* update prover image

* feat: update trace-limits ROM to the power of 2

* feat: update trace-limits to be at max 2147483647

---------

Co-authored-by: gusiri <dreamerty@postech.ac.kr>
This commit is contained in:
jonesho
2025-06-11 00:09:20 +08:00
committed by GitHub
parent f15e39987e
commit 0b863e2a6e
10 changed files with 123 additions and 185 deletions

View File

@@ -1,61 +0,0 @@
[traces-limits]
#
# Arithmetization module limits
#
ADD = 524288
BIN = 262144
BLAKE_MODEXP_DATA = 16384
BLOCK_DATA = 1024
BLOCK_HASH = 512
EC_DATA = 262144
EUC = 65536
EXP = 8192
EXT = 1048576
GAS = 65536
HUB = 2097152
LOG_DATA = 65536
LOG_INFO = 4096
MMIO = 4194304
MMU = 4194304
MOD = 131072
MUL = 65536
MXP = 524288
OOB = 262144
RLP_ADDR = 4096
RLP_TXN = 131072
RLP_TXN_RCPT = 65536
ROM = 4194304
ROM_LEX = 1024
SHAKIRA_DATA = 32768
SHF = 65536
STP = 16384
TRM = 32768
TXN_DATA = 8192
WCP = 262144
#
# Reference table limits
#
BIN_REFERENCE_TABLE = 262144
SHF_REFERENCE_TABLE = 4096
INSTRUCTION_DECODER = 512
#
# Precompiles limits
#
PRECOMPILE_ECRECOVER_EFFECTIVE_CALLS = 128
PRECOMPILE_SHA2_BLOCKS = 671
PRECOMPILE_RIPEMD_BLOCKS = 671
PRECOMPILE_MODEXP_EFFECTIVE_CALLS = 4
PRECOMPILE_ECADD_EFFECTIVE_CALLS = 16384
PRECOMPILE_ECMUL_EFFECTIVE_CALLS = 32
PRECOMPILE_ECPAIRING_FINAL_EXPONENTIATIONS = 16
PRECOMPILE_ECPAIRING_G2_MEMBERSHIP_CALLS = 64
PRECOMPILE_ECPAIRING_MILLER_LOOPS = 64
PRECOMPILE_BLAKE_EFFECTIVE_CALLS = 600
PRECOMPILE_BLAKE_ROUNDS = 600
#
# Block-specific limits
#
BLOCK_KECCAK = 8192
BLOCK_L1_SIZE = 1000000
BLOCK_L2_L1_LOGS = 16
BLOCK_TRANSACTIONS = 200

View File

@@ -2,60 +2,60 @@
# #
# Arithmetization module limits # Arithmetization module limits
# #
ADD = 524288 ADD = 262144
BIN = 262144 BIN = 262144
BLAKE_MODEXP_DATA = 16384 BLAKE_MODEXP_DATA = 16384
BLOCK_DATA = 1024 BLOCK_DATA = 4096
BLOCK_HASH = 512 BLOCK_HASH = 2048
EC_DATA = 262144 EC_DATA = 65536
EUC = 65536 EUC = 65536
EXP = 8192 EXP = 65536
EXT = 1048576 EXT = 524288
GAS = 65536 GAS = 65536
HUB = 2097152 HUB = 2097152
LOG_DATA = 65536 LOG_DATA = 65536
LOG_INFO = 4096 LOG_INFO = 4096
MMIO = 4194304 MMIO = 2097152
MMU = 4194304 MMU = 1048576
MOD = 131072 MOD = 131072
MUL = 65536 MUL = 65536
MXP = 524288 MXP = 524288
OOB = 262144 OOB = 262144
RLP_ADDR = 4096 RLP_ADDR = 4096
RLP_TXN = 131072 RLP_TXN = 131072
RLP_TXN_RCPT = 65536 RLP_TXN_RCPT = 65536
ROM = 4194304 ROM = 8388608 # Note: set as 6291456 in production as workaround
ROM_LEX = 1024 ROM_LEX = 1024
SHAKIRA_DATA = 32768 SHAKIRA_DATA = 65536
SHF = 65536 SHF = 262144
STP = 16384 STP = 16384
TRM = 32768 TRM = 32768
TXN_DATA = 8192 TXN_DATA = 8192
WCP = 262144 WCP = 262144
# #
# Reference table limits, set to UInt.MAX_VALUE # Reference table limits, set to Integer.MAX_VALUE
# #
BIN_REFERENCE_TABLE = 4294967295 BIN_REFERENCE_TABLE = 2147483647
SHF_REFERENCE_TABLE = 4294967295 SHF_REFERENCE_TABLE = 2147483647
INSTRUCTION_DECODER = 4294967295 INSTRUCTION_DECODER = 2147483647
# #
# Precompiles limits # Precompiles limits
# #
PRECOMPILE_ECRECOVER_EFFECTIVE_CALLS = 128 PRECOMPILE_ECRECOVER_EFFECTIVE_CALLS = 128
PRECOMPILE_SHA2_BLOCKS = 671 PRECOMPILE_SHA2_BLOCKS = 200
PRECOMPILE_RIPEMD_BLOCKS = 671 PRECOMPILE_RIPEMD_BLOCKS = 0
PRECOMPILE_MODEXP_EFFECTIVE_CALLS = 4 PRECOMPILE_MODEXP_EFFECTIVE_CALLS = 32
PRECOMPILE_ECADD_EFFECTIVE_CALLS = 16384 PRECOMPILE_ECADD_EFFECTIVE_CALLS = 1024
PRECOMPILE_ECMUL_EFFECTIVE_CALLS = 32 PRECOMPILE_ECMUL_EFFECTIVE_CALLS = 40
PRECOMPILE_ECPAIRING_FINAL_EXPONENTIATIONS = 16 PRECOMPILE_ECPAIRING_FINAL_EXPONENTIATIONS = 16
PRECOMPILE_ECPAIRING_G2_MEMBERSHIP_CALLS = 64 PRECOMPILE_ECPAIRING_G2_MEMBERSHIP_CALLS = 64
PRECOMPILE_ECPAIRING_MILLER_LOOPS = 64 PRECOMPILE_ECPAIRING_MILLER_LOOPS = 64
PRECOMPILE_BLAKE_EFFECTIVE_CALLS = 600 PRECOMPILE_BLAKE_EFFECTIVE_CALLS = 0
PRECOMPILE_BLAKE_ROUNDS = 600 PRECOMPILE_BLAKE_ROUNDS = 0
# #
# Block-specific limits # Block-specific limits
# #
BLOCK_KECCAK = 8192 BLOCK_KECCAK = 8192
BLOCK_L1_SIZE = 1000000 BLOCK_L1_SIZE = 1000000
BLOCK_L2_L1_LOGS = 16 BLOCK_L2_L1_LOGS = 16
BLOCK_TRANSACTIONS = 200 BLOCK_TRANSACTIONS = 300

View File

@@ -107,8 +107,7 @@ run {
"config/common/smart-contract-errors.toml", "config/common/smart-contract-errors.toml",
"--gas-price-cap-time-of-day-multipliers", "--gas-price-cap-time-of-day-multipliers",
"config/common/gas-price-cap-time-of-day-multipliers.toml", "config/common/gas-price-cap-time-of-day-multipliers.toml",
"config/coordinator/coordinator-config-v2.toml", "config/coordinator/coordinator-config-v2.toml"
"config/coordinator/coordinator-config-v2-override-local-dev.toml"
] ]
} }

View File

@@ -2,7 +2,7 @@ services:
l1-el-node: l1-el-node:
container_name: l1-el-node container_name: l1-el-node
hostname: l1-el-node hostname: l1-el-node
image: consensys/linea-besu-package:${BESU_PACKAGE_TAG:-beta-v2.1-rc16.2-20250521124830-4d89458} image: consensys/linea-besu-package:${BESU_PACKAGE_TAG:-beta-v2.1-rc16.2-20250521134911-f6cb0f2}
profiles: [ "l1", "debug", "external-to-monorepo" ] profiles: [ "l1", "debug", "external-to-monorepo" ]
depends_on: depends_on:
l1-node-genesis-generator: l1-node-genesis-generator:

View File

@@ -5,7 +5,7 @@ services:
sequencer: sequencer:
hostname: sequencer hostname: sequencer
container_name: sequencer container_name: sequencer
image: consensys/linea-besu-package:${BESU_PACKAGE_TAG:-beta-v2.1-rc16.2-20250521124830-4d89458} image: consensys/linea-besu-package:${BESU_PACKAGE_TAG:-beta-v2.1-rc16.2-20250521134911-f6cb0f2}
profiles: [ "l2", "l2-bc", "debug", "external-to-monorepo" ] profiles: [ "l2", "l2-bc", "debug", "external-to-monorepo" ]
ports: ports:
- "8545:8545" - "8545:8545"
@@ -37,7 +37,7 @@ services:
- ./config/linea-local-dev-genesis-PoA-besu.json/:/var/lib/besu/genesis.json:ro - ./config/linea-local-dev-genesis-PoA-besu.json/:/var/lib/besu/genesis.json:ro
- ./config/linea-besu-sequencer/key:/var/lib/besu/key:ro - ./config/linea-besu-sequencer/key:/var/lib/besu/key:ro
- ./config/linea-besu-sequencer/log4j.xml:/var/lib/besu/log4j.xml:ro - ./config/linea-besu-sequencer/log4j.xml:/var/lib/besu/log4j.xml:ro
- ../config/common/traces-limits-besu-v2.toml:/var/lib/besu/traces-limits.toml:ro - ../config/common/traces-limits-v2.toml:/var/lib/besu/traces-limits.toml:ro
networks: networks:
l1network: l1network:
linea: linea:
@@ -79,7 +79,7 @@ services:
l2-node-besu: l2-node-besu:
hostname: l2-node-besu hostname: l2-node-besu
container_name: l2-node-besu container_name: l2-node-besu
image: consensys/linea-besu-package:${BESU_PACKAGE_TAG:-beta-v2.1-rc16.2-20250521124830-4d89458} image: consensys/linea-besu-package:${BESU_PACKAGE_TAG:-beta-v2.1-rc16.2-20250521134911-f6cb0f2}
profiles: [ "l2", "l2-bc", "debug", "external-to-monorepo" ] profiles: [ "l2", "l2-bc", "debug", "external-to-monorepo" ]
depends_on: depends_on:
sequencer: sequencer:
@@ -113,7 +113,7 @@ services:
- ./config/linea-besu-sequencer/deny-list.txt:/var/lib/besu/deny-list.txt:ro - ./config/linea-besu-sequencer/deny-list.txt:/var/lib/besu/deny-list.txt:ro
- ./config/l2-node-besu/log4j.xml:/var/lib/besu/log4j.xml:ro - ./config/l2-node-besu/log4j.xml:/var/lib/besu/log4j.xml:ro
- ./config/linea-local-dev-genesis-PoA-besu.json/:/var/lib/besu/genesis.json:ro - ./config/linea-local-dev-genesis-PoA-besu.json/:/var/lib/besu/genesis.json:ro
- ../config/common/traces-limits-besu-v2.toml:/var/lib/besu/traces-limits.toml:ro - ../config/common/traces-limits-v2.toml:/var/lib/besu/traces-limits.toml:ro
- ../tmp/local/:/data/:rw - ../tmp/local/:/data/:rw
networks: networks:
l1network: l1network:
@@ -123,7 +123,7 @@ services:
traces-node: traces-node:
hostname: traces-node hostname: traces-node
container_name: traces-node container_name: traces-node
image: consensys/linea-besu-package:${BESU_PACKAGE_TAG:-beta-v2.1-rc16.2-20250521124830-4d89458} image: consensys/linea-besu-package:${BESU_PACKAGE_TAG:-beta-v2.1-rc16.2-20250521134911-f6cb0f2}
profiles: [ "l2", "l2-bc", "debug", "external-to-monorepo" ] profiles: [ "l2", "l2-bc", "debug", "external-to-monorepo" ]
depends_on: depends_on:
sequencer: sequencer:
@@ -160,7 +160,7 @@ services:
prover-v3: # prover compatible with the traces from zkbesu prover-v3: # prover compatible with the traces from zkbesu
container_name: prover-v3 container_name: prover-v3
hostname: prover-v3 hostname: prover-v3
image: consensys/linea-prover:${PROVER_TAG:-8a0bcc8} image: consensys/linea-prover:${PROVER_TAG:-56c4809}
platform: linux/amd64 platform: linux/amd64
# to avoid spinning up on CI for now # to avoid spinning up on CI for now
profiles: [ "l2" ] profiles: [ "l2" ]
@@ -285,7 +285,7 @@ services:
- l1network - l1network
zkbesu-shomei: zkbesu-shomei:
image: consensys/linea-besu-package:${BESU_PACKAGE_TAG:-beta-v2.1-rc16.2-20250521124830-4d89458} image: consensys/linea-besu-package:${BESU_PACKAGE_TAG:-beta-v2.1-rc16.2-20250521134911-f6cb0f2}
hostname: zkbesu-shomei hostname: zkbesu-shomei
container_name: zkbesu-shomei container_name: zkbesu-shomei
profiles: [ "l2", "l2-bc", "external-to-monorepo" ] profiles: [ "l2", "l2-bc", "external-to-monorepo" ]
@@ -502,7 +502,7 @@ services:
ipv4_address: 10.10.10.205 ipv4_address: 10.10.10.205
zkbesu-shomei-sr: zkbesu-shomei-sr:
image: consensys/linea-besu-package:${BESU_PACKAGE_TAG:-beta-v2.1-rc16.2-20250521124830-4d89458} image: consensys/linea-besu-package:${BESU_PACKAGE_TAG:-beta-v2.1-rc16.2-20250521134911-f6cb0f2}
hostname: zkbesu-shomei-sr hostname: zkbesu-shomei-sr
container_name: zkbesu-shomei-sr container_name: zkbesu-shomei-sr
profiles: [ "external-to-monorepo", "staterecovery" ] profiles: [ "external-to-monorepo", "staterecovery" ]

View File

@@ -2,21 +2,21 @@
# #
# Arithmetization module limits # Arithmetization module limits
# #
ADD = 524288 ADD = 262144
BIN = 262144 BIN = 262144
BLAKE_MODEXP_DATA = 16384 BLAKE_MODEXP_DATA = 16384
BLOCK_DATA = 1024 BLOCK_DATA = 4096
BLOCK_HASH = 512 BLOCK_HASH = 2048
EC_DATA = 262144 EC_DATA = 65536
EUC = 65536 EUC = 65536
EXP = 8192 EXP = 65536
EXT = 1048576 EXT = 524288
GAS = 65536 GAS = 65536
HUB = 2097152 HUB = 2097152
LOG_DATA = 65536 LOG_DATA = 65536
LOG_INFO = 4096 LOG_INFO = 4096
MMIO = 4194304 MMIO = 2097152
MMU = 4194304 MMU = 1048576
MOD = 131072 MOD = 131072
MUL = 65536 MUL = 65536
MXP = 524288 MXP = 524288
@@ -24,38 +24,38 @@ OOB = 262144
RLP_ADDR = 4096 RLP_ADDR = 4096
RLP_TXN = 131072 RLP_TXN = 131072
RLP_TXN_RCPT = 65536 RLP_TXN_RCPT = 65536
ROM = 4194304 ROM = 6291456
ROM_LEX = 1024 ROM_LEX = 1024
SHAKIRA_DATA = 32768 SHAKIRA_DATA = 65536
SHF = 65536 SHF = 262144
STP = 16384 STP = 16384
TRM = 32768 TRM = 32768
TXN_DATA = 8192 TXN_DATA = 8192
WCP = 262144 WCP = 262144
# #
# Reference table limits # Reference table limits, set to Integer.MAX_VALUE
# #
BIN_REFERENCE_TABLE = 262144 BIN_REFERENCE_TABLE = 2147483647
SHF_REFERENCE_TABLE = 4096 SHF_REFERENCE_TABLE = 2147483647
INSTRUCTION_DECODER = 512 INSTRUCTION_DECODER = 2147483647
# #
# Precompiles limits # Precompiles limits
# #
PRECOMPILE_ECRECOVER_EFFECTIVE_CALLS = 128 PRECOMPILE_ECRECOVER_EFFECTIVE_CALLS = 128
PRECOMPILE_SHA2_BLOCKS = 671 PRECOMPILE_SHA2_BLOCKS = 200
PRECOMPILE_RIPEMD_BLOCKS = 671 PRECOMPILE_RIPEMD_BLOCKS = 0
PRECOMPILE_MODEXP_EFFECTIVE_CALLS = 4 PRECOMPILE_MODEXP_EFFECTIVE_CALLS = 32
PRECOMPILE_ECADD_EFFECTIVE_CALLS = 16384 PRECOMPILE_ECADD_EFFECTIVE_CALLS = 1024
PRECOMPILE_ECMUL_EFFECTIVE_CALLS = 32 PRECOMPILE_ECMUL_EFFECTIVE_CALLS = 40
PRECOMPILE_ECPAIRING_FINAL_EXPONENTIATIONS = 16 PRECOMPILE_ECPAIRING_FINAL_EXPONENTIATIONS = 16
PRECOMPILE_ECPAIRING_G2_MEMBERSHIP_CALLS = 64 PRECOMPILE_ECPAIRING_G2_MEMBERSHIP_CALLS = 64
PRECOMPILE_ECPAIRING_MILLER_LOOPS = 64 PRECOMPILE_ECPAIRING_MILLER_LOOPS = 64
PRECOMPILE_BLAKE_EFFECTIVE_CALLS = 600 PRECOMPILE_BLAKE_EFFECTIVE_CALLS = 0
PRECOMPILE_BLAKE_ROUNDS = 600 PRECOMPILE_BLAKE_ROUNDS = 0
# #
# Block-specific limits # Block-specific limits
# #
BLOCK_KECCAK = 8192 BLOCK_KECCAK = 8192
BLOCK_L1_SIZE = 1000000 BLOCK_L1_SIZE = 1000000
BLOCK_L2_L1_LOGS = 16 BLOCK_L2_L1_LOGS = 16
BLOCK_TRANSACTIONS = 200 BLOCK_TRANSACTIONS = 300

View File

@@ -2,21 +2,21 @@
# #
# Arithmetization module limits # Arithmetization module limits
# #
ADD = 524288 ADD = 262144
BIN = 262144 BIN = 262144
BLAKE_MODEXP_DATA = 16384 BLAKE_MODEXP_DATA = 16384
BLOCK_DATA = 1024 BLOCK_DATA = 4096
BLOCK_HASH = 512 BLOCK_HASH = 2048
EC_DATA = 262144 EC_DATA = 65536
EUC = 65536 EUC = 65536
EXP = 8192 EXP = 65536
EXT = 1048576 EXT = 524288
GAS = 65536 GAS = 65536
HUB = 2097152 HUB = 2097152
LOG_DATA = 65536 LOG_DATA = 65536
LOG_INFO = 4096 LOG_INFO = 4096
MMIO = 4194304 MMIO = 2097152
MMU = 4194304 MMU = 1048576
MOD = 131072 MOD = 131072
MUL = 65536 MUL = 65536
MXP = 524288 MXP = 524288
@@ -24,38 +24,38 @@ OOB = 262144
RLP_ADDR = 4096 RLP_ADDR = 4096
RLP_TXN = 131072 RLP_TXN = 131072
RLP_TXN_RCPT = 65536 RLP_TXN_RCPT = 65536
ROM = 4194304 ROM = 6291456
ROM_LEX = 1024 ROM_LEX = 1024
SHAKIRA_DATA = 32768 SHAKIRA_DATA = 65536
SHF = 65536 SHF = 262144
STP = 16384 STP = 16384
TRM = 32768 TRM = 32768
TXN_DATA = 8192 TXN_DATA = 8192
WCP = 262144 WCP = 262144
# #
# Reference table limits # Reference table limits, set to Integer.MAX_VALUE
# #
BIN_REFERENCE_TABLE = 262144 BIN_REFERENCE_TABLE = 2147483647
SHF_REFERENCE_TABLE = 4096 SHF_REFERENCE_TABLE = 2147483647
INSTRUCTION_DECODER = 512 INSTRUCTION_DECODER = 2147483647
# #
# Precompiles limits # Precompiles limits
# #
PRECOMPILE_ECRECOVER_EFFECTIVE_CALLS = 128 PRECOMPILE_ECRECOVER_EFFECTIVE_CALLS = 128
PRECOMPILE_SHA2_BLOCKS = 671 PRECOMPILE_SHA2_BLOCKS = 200
PRECOMPILE_RIPEMD_BLOCKS = 671 PRECOMPILE_RIPEMD_BLOCKS = 0
PRECOMPILE_MODEXP_EFFECTIVE_CALLS = 4 PRECOMPILE_MODEXP_EFFECTIVE_CALLS = 32
PRECOMPILE_ECADD_EFFECTIVE_CALLS = 16384 PRECOMPILE_ECADD_EFFECTIVE_CALLS = 1024
PRECOMPILE_ECMUL_EFFECTIVE_CALLS = 32 PRECOMPILE_ECMUL_EFFECTIVE_CALLS = 40
PRECOMPILE_ECPAIRING_FINAL_EXPONENTIATIONS = 16 PRECOMPILE_ECPAIRING_FINAL_EXPONENTIATIONS = 16
PRECOMPILE_ECPAIRING_G2_MEMBERSHIP_CALLS = 64 PRECOMPILE_ECPAIRING_G2_MEMBERSHIP_CALLS = 64
PRECOMPILE_ECPAIRING_MILLER_LOOPS = 64 PRECOMPILE_ECPAIRING_MILLER_LOOPS = 64
PRECOMPILE_BLAKE_EFFECTIVE_CALLS = 600 PRECOMPILE_BLAKE_EFFECTIVE_CALLS = 0
PRECOMPILE_BLAKE_ROUNDS = 600 PRECOMPILE_BLAKE_ROUNDS = 0
# #
# Block-specific limits # Block-specific limits
# #
BLOCK_KECCAK = 8192 BLOCK_KECCAK = 8192
BLOCK_L1_SIZE = 1000000 BLOCK_L1_SIZE = 1000000
BLOCK_L2_L1_LOGS = 16 BLOCK_L2_L1_LOGS = 16
BLOCK_TRANSACTIONS = 200 BLOCK_TRANSACTIONS = 300

View File

@@ -15,7 +15,7 @@ max-peers=50
# For node to be a sequencer, this key has to match the key used in genesis file # For node to be a sequencer, this key has to match the key used in genesis file
node-private-key-file="/data/key" node-private-key-file="/data/key"
genesis-file="genesis/genesis.testnet-sepolia.json" # Path to the custom genesis file genesis-file="genesis/genesis.sepolia.json" # Path to the custom genesis file
sync-mode="SNAP" sync-mode="SNAP"
Xbonsai-full-flat-db-enabled=true Xbonsai-full-flat-db-enabled=true

View File

@@ -1,5 +1,5 @@
# Chain # Chain
genesis-file="genesis/genesis.testnet-sepolia.json" # Path to the custom genesis file genesis-file="genesis/genesis.sepolia.json" # Path to the custom genesis file
# data # data
data-path="/data" data-path="/data"