From 8c23fe0017a5f31671414e6c30ad18eb89a30625 Mon Sep 17 00:00:00 2001 From: Sally MacFarlane Date: Thu, 4 Jul 2024 13:04:05 +1000 Subject: [PATCH] update arithmetization to 0.1.5-rc4 (#36) * update arithmetization to 1.5.0-rc4 Signed-off-by: Sally MacFarlane * update module limits files Signed-off-by: Sally MacFarlane * ordering and add missing modules Signed-off-by: Sally MacFarlane * added missing modules blake_modexp_data and shakira_data and gas Signed-off-by: Sally MacFarlane * rename rlp txnrcpt Signed-off-by: Sally MacFarlane * Update module limit files and fix test Signed-off-by: Gabriel-Trintinalia --------- Signed-off-by: Sally MacFarlane Signed-off-by: Gabriel-Trintinalia Co-authored-by: Gabriel-Trintinalia --- .../EstimateGasModuleLimitOverflowTest.java | 2 +- ...SendRawTransactionSimulationCheckTest.java | 2 +- .../src/test/resources/moduleLimits.toml | 116 ++++++++++-------- .../src/test/resources/noModuleLimits.toml | 61 ++++----- .../test/resources/strictModuleLimits.toml | 44 ++++--- .../resources/txOverflowModuleLimits.toml | 48 ++++---- gradle.properties | 2 +- .../test/resources/sequencer/line-limits.toml | 73 +++++------ 8 files changed, 178 insertions(+), 170 deletions(-) diff --git a/acceptance-tests/src/test/java/linea/plugin/acc/test/rpc/linea/EstimateGasModuleLimitOverflowTest.java b/acceptance-tests/src/test/java/linea/plugin/acc/test/rpc/linea/EstimateGasModuleLimitOverflowTest.java index 10f669bb..3ab2ff20 100644 --- a/acceptance-tests/src/test/java/linea/plugin/acc/test/rpc/linea/EstimateGasModuleLimitOverflowTest.java +++ b/acceptance-tests/src/test/java/linea/plugin/acc/test/rpc/linea/EstimateGasModuleLimitOverflowTest.java @@ -58,6 +58,6 @@ public void estimateGasFailsForExceedingModuleLineCountTest() throws Exception { final var respLinea = reqLinea.execute(minerNode.nodeRequests()); assertThat(respLinea.getCode()).isEqualTo(-32000); assertThat(respLinea.getMessage()) - .isEqualTo("Transaction line count for module SHF=32 is above the limit 20"); + .isEqualTo("Transaction line count for module SHF=31 is above the limit 20"); } } diff --git a/acceptance-tests/src/test/java/linea/plugin/acc/test/rpc/linea/EthSendRawTransactionSimulationCheckTest.java b/acceptance-tests/src/test/java/linea/plugin/acc/test/rpc/linea/EthSendRawTransactionSimulationCheckTest.java index 8534fe99..02120594 100644 --- a/acceptance-tests/src/test/java/linea/plugin/acc/test/rpc/linea/EthSendRawTransactionSimulationCheckTest.java +++ b/acceptance-tests/src/test/java/linea/plugin/acc/test/rpc/linea/EthSendRawTransactionSimulationCheckTest.java @@ -78,7 +78,7 @@ public void transactionOverModuleLineCountNotAccepted() throws Exception { assertThat(signedTxContractInteractionResp.hasError()).isTrue(); assertThat(signedTxContractInteractionResp.getError().getMessage()) - .isEqualTo("Transaction line count for module ADD=2018 is above the limit 70"); + .isEqualTo("Transaction line count for module ADD=2017 is above the limit 70"); assertThat(getTxPoolContent()).isEmpty(); diff --git a/acceptance-tests/src/test/resources/moduleLimits.toml b/acceptance-tests/src/test/resources/moduleLimits.toml index 8ce66c1a..cf89dc3e 100644 --- a/acceptance-tests/src/test/resources/moduleLimits.toml +++ b/acceptance-tests/src/test/resources/moduleLimits.toml @@ -9,63 +9,77 @@ # # Arithmetization module limits # -ADD = 7000 +ADD = 524288 BIN = 262144 -BIN_RT = 262144 -EC_DATA = 4096 -EUC = 16384 # can probably be lower -EXP = 32760 -EXT = 32768 -HUB = 2097152 -INSTRUCTION_DECODER = 512 # Ugly hack, TODO: @franklin -MMIO = 1048576 -MMU = 524288 -MMU_ID = 256 -MOD = 131072 -MUL = 65536 -MXP = 524288 -PHONEY_RLP = 65536 # can probably get lower -PUB_HASH = 32768 -PUB_HASH_INFO = 8192 -PUB_LOG = 16384 -PUB_LOG_INFO = 16384 -RLP = 128 -ROM = 1048576 -ROM_LEX = 1048576 -SHF = 65536 -SHF_RT = 262144 -TX_RLP = 131072 -TRM = 131072 +BLAKE_MODEXP_DATA = 262144 +BLOCK_DATA = 16384 +BLOCK_HASH = 1024 +EC_DATA = 512 +EUC = 262144 +EXP = 65536 +EXT = 8192 +GAS = 1 +HUB = 65536 +LOG_DATA = 65536 +LOG_INFO = 2097152 +MMIO = 65536 +MMU = 4096 +MOD = 4194304 +MUL = 2097152 +MXP = 131072 +OOB = 65536 +PUB_LOG = 524288 +PUB_LOG_INFO = 262144 +RLP_ADDR = 4096 +RLP_TXN = 131072 +RLP_TXN_RCPT = 32768 +ROM = 8388608 +ROM_LEX = 1024 +SHAKIRA_DATA = 1 +SHF = 32768 +STP = 65536 +TRM = 32768 +TXN_DATA = 8192 +TX_RLP = 8192 WCP = 262144 -LOG_DATA = 262144 -LOG_INFO = 262144 -RLP_ADDR = 262144 -RLP_TXN = 262144 -RLP_TXRCPT = 262144 -TXN_DATA = 262144 -STP = 262144 -OOB = 262144 + +# NOTE: in the original file the limits were just shy of powers of 2, e.g. ADD = 524286 +# Question: this seemed deliberate; it could be related to spillings; if so we may want +# to reduce all limits above by the corresponding spillings value (or 16 for simplicity) + # -# Block-specific limits +# Fixed size, static tables # -BLOCK_TX = 200 # max number of tx in an L2 block -BLOCK_L2L1LOGS = 16 -BLOCK_KECCAK = 8192 -BLOCK_L1SIZE = 1000000 +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 -BLOCKDATA = 13 -BLOCKHASH = 1 +# +# 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 # # Precompiles limits +# compare with https://github.com/Consensys/linea-arithmetization/issues/257 # -PRECOMPILE_ECRECOVER_EFFECTIVE_CALL = 10000 -PRECOMPILE_SHA2_BLOCKS = 10000 -PRECOMPILE_RIPEMD_BLOCKS = 10000 -PRECOMPILE_IDENTITY = 10000 -PRECOMPILE_MODEXP_EFFECTIVE_CALL = 10000 -PRECOMPILE_ECADD_EFFECTIVE_CALL = 10000 -PRECOMPILE_ECMUL_EFFECTIVE_CALL = 10000 -PRECOMPILE_ECPAIRING_EFFECTIVE_CALL = 10000 -PRECOMPILE_ECPAIRING_MILLER_LOOP = 10000 -PRECOMPILE_BLAKE2F_ROUNDS = 512 \ No newline at end of file +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_EFFECTIVE_CALLS = 16 +PRECOMPILE_ECPAIRING_MILLER_LOOPS = 64 +PRECOMPILE_BLAKE_EFFECTIVE_CALLS = 600 +PRECOMPILE_BLAKE_ROUNDS = 600 # it is possible to call BLAKE2f with r = 0; this is a nontrivial operation ... +# # Notes: +# - there are no IDENTITY related limits +# - we used to have the following limits +# * PRECOMPILE_SHA2_EFFECTIVE_CALLS = 1000000 +# * PRECOMPILE_RIPEMD_EFFECTIVE_CALLS = 1000000 +# (the values are nonsensical); +# as per Alex they are not required by the prover; diff --git a/acceptance-tests/src/test/resources/noModuleLimits.toml b/acceptance-tests/src/test/resources/noModuleLimits.toml index a55eb116..f4a0e9d5 100644 --- a/acceptance-tests/src/test/resources/noModuleLimits.toml +++ b/acceptance-tests/src/test/resources/noModuleLimits.toml @@ -12,60 +12,63 @@ ADD = 262144 BIN = 262144 BIN_RT = 262144 +BLAKE_MODEXP_DATA = 262144 +BLOCK_DATA = 13 +BLOCK_HASH = 1 EC_DATA = 4096 EUC = 16384 # can probably be lower EXP = 32760 EXT = 32768 +GAS = 262144 HUB = 2097152 -INSTRUCTION_DECODER = 512 # Ugly hack, TODO: @franklin +LOG_DATA = 262144 +LOG_INFO = 262144 MMIO = 1048576 MMU = 524288 -MMU_ID = 256 MOD = 131072 MUL = 65536 MXP = 524288 +OOB = 262144 PHONEY_RLP = 65536 # can probably get lower -PUB_HASH = 32768 -PUB_HASH_INFO = 8192 -PUB_LOG = 16384 -PUB_LOG_INFO = 16384 -RLP = 128 +RLP_ADDR = 262144 +RLP_TXN = 262144 +RLP_TXN_RCPT = 262144 ROM = 1048576 ROM_LEX = 1048576 +SHAKIRA_DATA = 262144 SHF = 65536 -SHF_RT = 262144 -TX_RLP = 131072 +STP = 262144 TRM = 131072 -WCP = 262144 -LOG_DATA = 262144 -LOG_INFO = 262144 -RLP_ADDR = 262144 -RLP_TXN = 262144 -RLP_TXRCPT = 262144 TXN_DATA = 262144 -STP = 262144 -OOB = 262144 -BLOCKDATA = 13 -BLOCKHASH = 1 +TX_RLP = 131072 +WCP = 262144 + +# +# 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 # # Block-specific limits # -BLOCK_TX = 200 # max number of tx in an L2 block -BLOCK_L2L1LOGS = 16 BLOCK_KECCAK = 8192 -BLOCK_L1SIZE = 1000000 +BLOCK_L1_SIZE = 1000000 +BLOCK_L2_L1_LOGS = 16 +BLOCK_TRANSACTIONS = 200 # max number of tx in an L2 block # # Precompiles limits # -PRECOMPILE_ECRECOVER_EFFECTIVE_CALL = 10000 +PRECOMPILE_ECRECOVER_EFFECTIVE_CALLS = 10000 PRECOMPILE_SHA2_BLOCKS = 10000 PRECOMPILE_RIPEMD_BLOCKS = 10000 -PRECOMPILE_IDENTITY = 10000 -PRECOMPILE_MODEXP_EFFECTIVE_CALL = 10000 -PRECOMPILE_ECADD_EFFECTIVE_CALL = 10000 -PRECOMPILE_ECMUL_EFFECTIVE_CALL = 10000 -PRECOMPILE_ECPAIRING_EFFECTIVE_CALL = 10000 +PRECOMPILE_ECPAIRING_MILLER_LOOPS = 64 +PRECOMPILE_MODEXP_EFFECTIVE_CALLS = 10000 +PRECOMPILE_ECADD_EFFECTIVE_CALLS = 10000 +PRECOMPILE_ECMUL_EFFECTIVE_CALLS = 10000 +PRECOMPILE_ECPAIRING_EFFECTIVE_CALLS = 10000 PRECOMPILE_ECPAIRING_MILLER_LOOP = 10000 -PRECOMPILE_BLAKE2F_ROUNDS = 512 \ No newline at end of file +PRECOMPILE_BLAKE_EFFECTIVE_CALLS = 10000 +PRECOMPILE_BLAKE_ROUNDS = 512 \ No newline at end of file diff --git a/acceptance-tests/src/test/resources/strictModuleLimits.toml b/acceptance-tests/src/test/resources/strictModuleLimits.toml index c0e35897..3af49b36 100644 --- a/acceptance-tests/src/test/resources/strictModuleLimits.toml +++ b/acceptance-tests/src/test/resources/strictModuleLimits.toml @@ -11,29 +11,24 @@ # ADD = 7000 BIN = 262144 -BIN_RT = 262144 +BLAKE_MODEXP_DATA = 262144 EC_DATA = 4096 EUC = 16384 # can probably be lower EXP = 32760 EXT = 32768 +GAS = 262144 HUB = 10000 -INSTRUCTION_DECODER = 512 # Ugly hack, TODO: @franklin MMIO = 1048576 MMU = 524288 -MMU_ID = 256 MOD = 131072 MUL = 65536 MXP = 524288 PHONEY_RLP = 65536 # can probably get lower -PUB_HASH = 32768 -PUB_HASH_INFO = 8192 PUB_LOG = 16384 PUB_LOG_INFO = 16384 -RLP = 128 ROM = 1048576 ROM_LEX = 1048576 SHF = 65536 -SHF_RT = 262144 TX_RLP = 131072 TRM = 131072 WCP = 262144 @@ -41,31 +36,40 @@ LOG_DATA = 262144 LOG_INFO = 262144 RLP_ADDR = 262144 RLP_TXN = 262144 -RLP_TXRCPT = 262144 +RLP_TXN_RCPT = 262144 TXN_DATA = 262144 +SHAKIRA_DATA = 262144 STP = 262144 OOB = 262144 -BLOCKDATA = 13 -BLOCKHASH = 1 +BLOCK_DATA = 13 +BLOCK_HASH = 1 # # Block-specific limits # -BLOCK_TX = 200 # max number of tx in an L2 block -BLOCK_L2L1LOGS = 16 BLOCK_KECCAK = 8192 -BLOCK_L1SIZE = 1000000 +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_CALL = 10000 +PRECOMPILE_ECRECOVER_EFFECTIVE_CALLS = 10000 PRECOMPILE_SHA2_BLOCKS = 10000 PRECOMPILE_RIPEMD_BLOCKS = 10000 -PRECOMPILE_IDENTITY = 10000 -PRECOMPILE_MODEXP_EFFECTIVE_CALL = 10000 -PRECOMPILE_ECADD_EFFECTIVE_CALL = 10000 -PRECOMPILE_ECMUL_EFFECTIVE_CALL = 10000 -PRECOMPILE_ECPAIRING_EFFECTIVE_CALL = 10000 +PRECOMPILE_ECPAIRING_MILLER_LOOPS = 64 +PRECOMPILE_MODEXP_EFFECTIVE_CALLS = 10000 +PRECOMPILE_ECADD_EFFECTIVE_CALLS = 10000 +PRECOMPILE_ECMUL_EFFECTIVE_CALLS = 10000 +PRECOMPILE_ECPAIRING_EFFECTIVE_CALLS = 10000 PRECOMPILE_ECPAIRING_MILLER_LOOP = 10000 -PRECOMPILE_BLAKE2F_ROUNDS = 512 \ No newline at end of file +PRECOMPILE_BLAKE_EFFECTIVE_CALLS = 10000 +PRECOMPILE_BLAKE_ROUNDS = 512 \ No newline at end of file diff --git a/acceptance-tests/src/test/resources/txOverflowModuleLimits.toml b/acceptance-tests/src/test/resources/txOverflowModuleLimits.toml index d2eb8abd..9f946b6a 100644 --- a/acceptance-tests/src/test/resources/txOverflowModuleLimits.toml +++ b/acceptance-tests/src/test/resources/txOverflowModuleLimits.toml @@ -12,29 +12,24 @@ # ADD = 70 BIN = 262144 -BIN_RT = 262144 +BLAKE_MODEXP_DATA = 262144 +BLOCK_DATA = 13 +BLOCK_HASH = 1 EC_DATA = 4096 EUC = 16384 # can probably be lower EXP = 32760 EXT = 20 -HUB = 33 -INSTRUCTION_DECODER = 256 # Ugly hack, TODO: @franklin +GAS = 262144 +HUB = 43 MMIO = 1048576 MMU = 524288 -MMU_ID = 256 MOD = 20 MUL = 20 MXP = 20 PHONEY_RLP = 65536 # can probably get lower -PUB_HASH = 32768 -PUB_HASH_INFO = 8192 -PUB_LOG = 16384 -PUB_LOG_INFO = 16384 -RLP = 128 ROM = 2402 ROM_LEX = 20 SHF = 20 -SHF_RT = 2305 TX_RLP = 131072 TRM = 120 WCP = 120 @@ -42,31 +37,38 @@ LOG_DATA = 20 LOG_INFO = 20 RLP_ADDR = 20 RLP_TXN = 1300 -RLP_TXRCPT = 100 +RLP_TXN_RCPT = 100 TXN_DATA = 30 +SHAKIRA_DATA = 262144 STP = 20 OOB = 262144 -BLOCKDATA = 13 -BLOCKHASH = 1 # # Block-specific limits # -BLOCK_TX = 200 # max number of tx in an L2 block -BLOCK_L2L1LOGS = 16 BLOCK_KECCAK = 8192 -BLOCK_L1SIZE = 1000000 +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_CALL = 10000 +PRECOMPILE_ECRECOVER_EFFECTIVE_CALLS = 10000 PRECOMPILE_SHA2_BLOCKS = 10000 PRECOMPILE_RIPEMD_BLOCKS = 10000 -PRECOMPILE_IDENTITY = 10000 -PRECOMPILE_MODEXP_EFFECTIVE_CALL = 10000 -PRECOMPILE_ECADD_EFFECTIVE_CALL = 10000 -PRECOMPILE_ECMUL_EFFECTIVE_CALL = 10000 -PRECOMPILE_ECPAIRING_EFFECTIVE_CALL = 10000 +PRECOMPILE_ECPAIRING_MILLER_LOOPS = 10000 +PRECOMPILE_MODEXP_EFFECTIVE_CALLS = 10000 +PRECOMPILE_ECADD_EFFECTIVE_CALLS = 10000 +PRECOMPILE_ECMUL_EFFECTIVE_CALLS = 10000 +PRECOMPILE_ECPAIRING_EFFECTIVE_CALLS = 10000 PRECOMPILE_ECPAIRING_MILLER_LOOP = 10000 -PRECOMPILE_BLAKE2F_ROUNDS = 512 \ No newline at end of file +PRECOMPILE_BLAKE_EFFECTIVE_CALLS = 10000 +PRECOMPILE_BLAKE_ROUNDS = 512 \ No newline at end of file diff --git a/gradle.properties b/gradle.properties index 0863e57a..d59bdbdc 100644 --- a/gradle.properties +++ b/gradle.properties @@ -1,6 +1,6 @@ releaseVersion=0.1.5-SNAPSHOT besuVersion=24.6-develop-752aeff -arithmetizationVersion=0.1.5-rc3 +arithmetizationVersion=0.1.5-rc4 besuArtifactGroup=io.consensys.linea-besu distributionIdentifier=linea-sequencer distributionBaseUrl=https://artifacts.consensys.net/public/linea-besu/raw/names/linea-besu.tar.gz/versions/ diff --git a/sequencer/src/test/resources/sequencer/line-limits.toml b/sequencer/src/test/resources/sequencer/line-limits.toml index e986ff65..ff0c6c25 100644 --- a/sequencer/src/test/resources/sequencer/line-limits.toml +++ b/sequencer/src/test/resources/sequencer/line-limits.toml @@ -4,77 +4,62 @@ # ADD = 524286 BIN = 262128 -BIN_RT = 262144 +BLAKE_MODEXP_DATA = 262144 +BLOCK_DATA = 13 +BLOCK_HASH = 1 EC_DATA = 4084 +EUC = 1000000 EXP = 32760 EXT = 32760 +GAS = 262144 HUB = 2097150 -INSTRUCTION_DECODER = 512 # Ugly hack, TODO: @franklin +LOG_DATA = 16384 +LOG_INFO = 16384 MMIO = 1048576 MMU = 524288 -MMU_ID = 256 MOD = 131064 MUL = 65527 MXP = 524284 PHONEY_RLP = 65536 # can probably get lower -PUB_HASH = 32768 -PUB_HASH_INFO = 8192 -OLD_PUB_HASH = 32768 -OLD_PUB_HASH_INFO = 8192 -PUB_LOG = 16384 -PUB_LOG_INFO = 49152 -RLP = 504 +OOB = 262144 +RLP_ADDR = 504 +RLP_TXN = 131072 +RLP_TXN_RCPT = 2621440 ROM = 13000000 # need to be validated if there are changes in how Besu counts the ROM. ROM_LEX = 3145728 +SHAKIRA_DATA = 262144 SHF = 65520 -SHF_RT = 4096 +STP = 2621440 +TRM = 1000000 +TXN_DATA = 2621440 TX_RLP = 110000 WCP = 262128 -LOG_DATA = 16384 -LOG_INFO = 16384 -RLP_ADDR = 504 -OOB = 262144 -BLOCKDATA = 13 -BLOCKHASH = 1 # -# These do not exist yet +# Fixed size, static tables # -RLP_TXRCPT = 2621440 -TXN_DATA = 2621440 -STP = 2621440 -TRM = 1000000 -EUC = 1000000 +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 # # Block-specific limits # -BLOCK_TX = 200 # max number of tx in an L2 block -BLOCK_L1SIZE = 108592 -BLOCK_L2L1LOGS = 16 BLOCK_KECCAK = 8192 +BLOCK_L1_SIZE = 108592 +BLOCK_L2_L1_LOGS = 16 +BLOCK_TRANSACTIONS = 200 # max number of tx in an L2 block # # Precompiles limits # -PRECOMPILE_ECRECOVER = 100 -PRECOMPILE_ECRECOVER_EFFECTIVE_CALL = 1000000 -PRECOMPILE_SHA2 = 100 +PRECOMPILE_ECRECOVER_EFFECTIVE_CALLS = 1000000 PRECOMPILE_SHA2_BLOCKS = 1000000 -PRECOMPILE_SHA2_EFFECTIVE_CALL = 1000000 -PRECOMPILE_RIPEMD = 100 # keep 100 because we don't have better limit for now -PRECOMPILE_RIPEMD_EFFECTIVE_CALL = 1000000 PRECOMPILE_RIPEMD_BLOCKS = 1000000 -PRECOMPILE_IDENTITY = 10000 # we should not need this limit -PRECOMPILE_MODEXP = 1000 # should be decreased to 4 -PRECOMPILE_MODEXP_EFFECTIVE_CALL = 1000 -PRECOMPILE_ECADD = 1000 # should be 16384 -PRECOMPILE_ECADD_EFFECTIVE_CALL = 1000000 -PRECOMPILE_ECMUL = 100 # should be 32 -PRECOMPILE_ECMUL_EFFECTIVE_CALL = 1000000 -PRECOMPILE_ECPAIRING = 100 # should be 16 #another limit is missing, is it ECPAIRING WEIGHTED? -PRECOMPILE_ECPAIRING_EFFECTIVE_CALL = 1000000 +PRECOMPILE_MODEXP_EFFECTIVE_CALLS = 1000 +PRECOMPILE_ECADD_EFFECTIVE_CALLS = 1000000 +PRECOMPILE_ECMUL_EFFECTIVE_CALLS = 1000000 +PRECOMPILE_ECPAIRING_EFFECTIVE_CALLS = 1000000 PRECOMPILE_ECPAIRING_MILLER_LOOP = 1000000 -PRECOMPILE_BLAKE2F = 512 -PRECOMPILE_BLAKE2F_ROUNDS = 1000000 -PRECOMPILE_ECPAIRING_WEIGHTED = 1000000 #should it be 64? today it's 1_000_000 to nerver trigger it. +PRECOMPILE_BLAKE_EFFECTIVE_CALLS = 600 +PRECOMPILE_BLAKE_ROUNDS = 1000000