
##
# This file specifies prover limit by each EVM module
# WARN: The prover/arithmetization team has the owneship of this.
# Changing this values may compromise the system.
# issue: https://github.com/Consensys/zkevm-monorepo/issues/525
##

[traces-limits]
#
# Arithmetization module limits
#
ADD                 = 70
BIN                 = 262144
BLAKE_MODEXP_DATA   = 262144
BLOCK_DATA          = 26
BLOCK_HASH          = 6
EC_DATA             = 4096
EUC                 = 16384 # can probably be lower
EXP                 = 32760
EXT                 = 20
GAS                 = 262144
HUB                 = 52
MMIO                = 1048576
MMU                 = 524288
MOD                 = 20
MUL                 = 20
MXP                 = 20
PHONEY_RLP          = 65536 # can probably get lower
ROM                 = 2402
ROM_LEX             = 20
SHF                 = 20
TX_RLP              = 131072
TRM                 = 120
WCP                 = 306
LOG_DATA            = 20
LOG_INFO            = 20
RLP_ADDR            = 20
RLP_TXN             = 1300
RLP_TXN_RCPT        = 100
TXN_DATA            = 30
SHAKIRA_DATA        = 262144
STP                 = 20
OOB                 = 262144

#
# Block-specific limits
#
BLOCK_KECCAK   = 8192
BLOCK_L1_SIZE   = 1000000
BLOCK_L2_L1_LOGS = 16
BLOCK_TRANSACTIONS       = 200 # max number of tx in an L2 block

#
# Fixed size, static tables
#
BIN_REFERENCE_TABLE = 262144 # contains 3 * 256^2 + 256 data rows + 1 padding row
SHF_REFERENCE_TABLE = 4096   # contains 9 * 256         data rows + 1 padding row
INSTRUCTION_DECODER = 512    # contains 256             data rows + 1 padding row

#
# Precompiles limits
#
PRECOMPILE_ECRECOVER_EFFECTIVE_CALLS        = 10000
PRECOMPILE_SHA2_BLOCKS                      = 10000
PRECOMPILE_RIPEMD_BLOCKS                    = 10000
PRECOMPILE_ECPAIRING_MILLER_LOOPS           = 10000
PRECOMPILE_MODEXP_EFFECTIVE_CALLS           = 10000
PRECOMPILE_ECADD_EFFECTIVE_CALLS            = 10000
PRECOMPILE_ECMUL_EFFECTIVE_CALLS            = 10000
PRECOMPILE_ECPAIRING_FINAL_EXPONENTIATIONS  = 10000
PRECOMPILE_ECPAIRING_G2_MEMBERSHIP_CALLS    = 10000
PRECOMPILE_ECPAIRING_MILLER_LOOPS           = 10000
PRECOMPILE_BLAKE_EFFECTIVE_CALLS            = 0
PRECOMPILE_BLAKE_ROUNDS                     = 0