Summary from the Osaka(rc4) tracer PR

https://github.com/Consensys/linea-monorepo/pull/1774/files#r2565069360

Remove modules:
BLS                 = 0
POINT_EVAL          = 0

Add new modules:
PRECOMPILE_P256_VERIFY_EFFECTIVE_CALLS              = 128

Rename modules:
PrecompileBlsC1MembershipChecks
-->  PrecompileBlsC1MembershipCalls

Update module limits:
# increase the limit to 1024
PRECOMPILE_ECADD_EFFECTIVE_CALLS 256 -> 1024

# from 0 to
PRECOMPILE_BLS_POINT_EVALUATION_EFFECTIVE_CALLS     = 1
PRECOMPILE_POINT_EVALUATION_FAILURE_EFFECTIVE_CALLS = 2
PRECOMPILE_BLS_G1_ADD_EFFECTIVE_CALLS               = 8
PRECOMPILE_BLS_G1_MSM_EFFECTIVE_CALLS               = 4
PRECOMPILE_BLS_G2_ADD_EFFECTIVE_CALLS               = 8
PRECOMPILE_BLS_G2_MSM_EFFECTIVE_CALLS               = 4
PRECOMPILE_BLS_PAIRING_CHECK_MILLER_LOOPS           = 8
PRECOMPILE_BLS_FINAL_EXPONENTIATIONS                = 2
PRECOMPILE_BLS_MAP_FP_TO_G1_EFFECTIVE_CALLS         = 4
PRECOMPILE_BLS_MAP_FP2_TO_G2_EFFECTIVE_CALLS        = 4
PRECOMPILE_BLS_C1_MEMBERSHIP_CALLS                  = 8
PRECOMPILE_BLS_C2_MEMBERSHIP_CALLS                  = 8
PRECOMPILE_BLS_G1_MEMBERSHIP_CALLS                  = 8
PRECOMPILE_BLS_G2_MEMBERSHIP_CALLS                  = 8

Etc:
Update mismatches:
set BLS_REFERENCE_TABLE = 512
in config_default.go and trace_limit.go (this has been 512 in prod environment)

set PRECOMPILE_MODEXP_EFFECTIVE_CALLS_4096 to 2 instead of 1

Author: gusiri

prover/config/config-devnet-full.toml

@@ -1,5 +1,5 @@
 environment = "devnet"
-version = "6.0.8"                              # TODO @gbotrel hunt all version definitions.
+version = "6.1.3"                              # TODO @gbotrel hunt all version definitions.
 assets_dir = "./prover-assets"
 log_level = 4                                  # TODO @gbotrel will be refactored with new logger.
 
@@ -71,7 +71,7 @@ PRECOMPILE_SHA2_BLOCKS = 200
 PRECOMPILE_RIPEMD_BLOCKS = 0
 PRECOMPILE_MODEXP_EFFECTIVE_CALLS = 32
 PRECOMPILE_MODEXP_EFFECTIVE_CALLS_4096 = 1
-PRECOMPILE_ECADD_EFFECTIVE_CALLS = 256
+PRECOMPILE_ECADD_EFFECTIVE_CALLS = 1024
 PRECOMPILE_ECMUL_EFFECTIVE_CALLS = 40
 PRECOMPILE_ECPAIRING_FINAL_EXPONENTIATIONS = 16
 PRECOMPILE_ECPAIRING_MILLER_LOOPS = 64
@@ -167,28 +167,47 @@ U24 = 262144
 U23 = 262144
 U20 = 262144
 
-PRECOMPILE_BLS_POINT_EVALUATION_EFFECTIVE_CALLS     = 0
-PRECOMPILE_POINT_EVALUATION_FAILURE_EFFECTIVE_CALLS = 0
-PRECOMPILE_BLS_G1_ADD_EFFECTIVE_CALLS               = 0
-PRECOMPILE_BLS_G1_MSM_EFFECTIVE_CALLS               = 0
-PRECOMPILE_BLS_G2_ADD_EFFECTIVE_CALLS               = 0
-PRECOMPILE_BLS_G2_MSM_EFFECTIVE_CALLS               = 0
-PRECOMPILE_BLS_PAIRING_CHECK_MILLER_LOOPS           = 0
-PRECOMPILE_BLS_FINAL_EXPONENTIATIONS                = 0
-PRECOMPILE_BLS_MAP_FP_TO_G1_EFFECTIVE_CALLS         = 0
-PRECOMPILE_BLS_MAP_FP2_TO_G2_EFFECTIVE_CALLS        = 0
-PRECOMPILE_BLS_C1_MEMBERSHIP_CHECKS                 = 0
-PRECOMPILE_BLS_C2_MEMBERSHIP_CALLS                  = 0
-PRECOMPILE_BLS_G1_MEMBERSHIP_CALLS                  = 0
-PRECOMPILE_BLS_G2_MEMBERSHIP_CALLS                  = 0
+PRECOMPILE_BLS_POINT_EVALUATION_EFFECTIVE_CALLS     = 1
+PRECOMPILE_POINT_EVALUATION_FAILURE_EFFECTIVE_CALLS = 2
+PRECOMPILE_BLS_G1_ADD_EFFECTIVE_CALLS               = 8
+PRECOMPILE_BLS_G1_MSM_EFFECTIVE_CALLS               = 4
+PRECOMPILE_BLS_G2_ADD_EFFECTIVE_CALLS               = 8
+PRECOMPILE_BLS_G2_MSM_EFFECTIVE_CALLS               = 4
+PRECOMPILE_BLS_PAIRING_CHECK_MILLER_LOOPS           = 8
+PRECOMPILE_BLS_FINAL_EXPONENTIATIONS                = 2
+PRECOMPILE_BLS_MAP_FP_TO_G1_EFFECTIVE_CALLS         = 4
+PRECOMPILE_BLS_MAP_FP2_TO_G2_EFFECTIVE_CALLS        = 4
+PRECOMPILE_BLS_C1_MEMBERSHIP_CALLS                  = 8
+PRECOMPILE_BLS_C2_MEMBERSHIP_CALLS                  = 8
+PRECOMPILE_BLS_G1_MEMBERSHIP_CALLS                  = 8
+PRECOMPILE_BLS_G2_MEMBERSHIP_CALLS                  = 8
 
-BLS                 = 0
-POINT_EVAL          = 0
 BLS_DATA                = 4096
 RLP_UTILS               = 131072
 POWER_REFERENCE_TABLE   = 32
 BLS_REFERENCE_TABLE     = 512
 
+# Start of new Osaka modules
+PRECOMPILE_P256_VERIFY_EFFECTIVE_CALLS = 128
+
+BIT_XOAN_U2   = 262144
+BIT_XOAN_U4   = 262144
+BIT_XOAN_U8   = 262144
+BIT_XOAN_U16  = 262144
+BIT_XOAN_U32  = 262144
+BIT_XOAN_U64  = 262144
+BIT_XOAN_U128 = 262144
+BIT_XOAN_U256 = 262144
+BYTE_16       = 262144
+BYTE_32       = 262144
+BYTE_64       = 262144
+BYTE_128      = 262144
+BYTE_256      = 262144
+SIGNEXTEND    = 262144
+MAX3_U128     = 262144
+MAXLOG        = 262144
+# End of new Osaka modules
+
 [traces_limits_large]
 ADD = 524288
 BIN = 524288
@@ -224,8 +243,8 @@ PRECOMPILE_ECRECOVER_EFFECTIVE_CALLS = 256
 PRECOMPILE_SHA2_BLOCKS = 400
 PRECOMPILE_RIPEMD_BLOCKS = 0
 PRECOMPILE_MODEXP_EFFECTIVE_CALLS = 64
-PRECOMPILE_MODEXP_EFFECTIVE_CALLS_4096 = 1
-PRECOMPILE_ECADD_EFFECTIVE_CALLS = 512
+PRECOMPILE_MODEXP_EFFECTIVE_CALLS_4096 = 2
+PRECOMPILE_ECADD_EFFECTIVE_CALLS = 2048
 PRECOMPILE_ECMUL_EFFECTIVE_CALLS = 80
 PRECOMPILE_ECPAIRING_FINAL_EXPONENTIATIONS = 32
 PRECOMPILE_ECPAIRING_MILLER_LOOPS = 128
@@ -239,24 +258,125 @@ BLOCK_TRANSACTIONS = 300
 BIN_REFERENCE_TABLE = 262144
 INSTRUCTION_DECODER = 512
 
-PRECOMPILE_BLS_POINT_EVALUATION_EFFECTIVE_CALLS     = 0
-PRECOMPILE_POINT_EVALUATION_FAILURE_EFFECTIVE_CALLS = 0
-PRECOMPILE_BLS_G1_ADD_EFFECTIVE_CALLS               = 0
-PRECOMPILE_BLS_G1_MSM_EFFECTIVE_CALLS               = 0
-PRECOMPILE_BLS_G2_ADD_EFFECTIVE_CALLS               = 0
-PRECOMPILE_BLS_G2_MSM_EFFECTIVE_CALLS               = 0
-PRECOMPILE_BLS_PAIRING_CHECK_MILLER_LOOPS           = 0
-PRECOMPILE_BLS_FINAL_EXPONENTIATIONS                = 0
-PRECOMPILE_BLS_MAP_FP_TO_G1_EFFECTIVE_CALLS         = 0
-PRECOMPILE_BLS_MAP_FP2_TO_G2_EFFECTIVE_CALLS        = 0
-PRECOMPILE_BLS_C1_MEMBERSHIP_CHECKS                 = 0
-PRECOMPILE_BLS_C2_MEMBERSHIP_CALLS                  = 0
-PRECOMPILE_BLS_G1_MEMBERSHIP_CALLS                  = 0
-PRECOMPILE_BLS_G2_MEMBERSHIP_CALLS                  = 0
+BIT_SHL256 = 524288
+BIT_SHL256_U7 = 524288
+BIT_SHL256_U6 = 524288
+BIT_SHL256_U5 = 524288
+BIT_SHL256_U4 = 524288
+BIT_SHL256_U3 = 524288
+BIT_SHL256_U2 = 524288
+BIT_SHL256_U1 = 524288
+BIT_SHR256 = 524288
+BIT_SHR256_U7 = 524288
+BIT_SHR256_U6 = 524288
+BIT_SHR256_U5 = 524288
+BIT_SHR256_U4 = 524288
+BIT_SHR256_U3 = 524288
+BIT_SHR256_U2 = 524288
+BIT_SHR256_U1 = 524288
+BIT_SAR256 = 524288
+BIT_SAR256_U7 = 524288
+BIT_SAR256_U6 = 524288
+BIT_SAR256_U5 = 524288
+BIT_SAR256_U4 = 524288
+BIT_SAR256_U3 = 524288
+BIT_SAR256_U2 = 524288
+BIT_SAR256_U1 = 524288
+CALL_GAS_EXTRA = 524288
+FILL_BYTES_BETWEEN = 524288
+GAS_OUT_OF_POCKET = 524288
+LOG2 = 524288
+LOG2_U128 = 524288
+LOG2_U64 = 524288
+LOG2_U32 = 524288
+LOG2_U16 = 524288
+LOG2_U8 = 524288
+LOG2_U4 = 524288
+LOG2_U2 = 524288
+LOG256 = 524288
+LOG256_U128 = 524288
+LOG256_U64 = 524288
+LOG256_U32 = 524288
+LOG256_U16 = 524288
+MIN256_64 = 524288
+SET_BYTE256 = 524288
+SET_BYTE128 = 524288
+SET_BYTE64 = 524288
+SET_BYTE32 = 524288
+SET_BYTE16 = 524288
+
+U128 = 524288
+U127 = 524288
+U126 = 524288
+U125 = 524288
+U124 = 524288
+U123 = 524288
+U120 = 524288
+U119 = 524288
+U112 = 524288
+U111 = 524288
+U96 = 524288
+U95 = 524288
+U64 = 524288
+U63 = 524288
+U62 = 524288
+U61 = 524288
+U60 = 524288
+U59 = 524288
+U58 = 524288
+U56 = 524288
+U55 = 524288
+U48 = 524288
+U47 = 524288
+U36 = 524288
+U32 = 524288
+U31 = 524288
+U30 = 524288
+U29 = 524288
+U28 = 524288
+U27 = 524288
+U26 = 524288
+U24 = 524288
+U23 = 524288
+U20 = 524288
+
+PRECOMPILE_BLS_POINT_EVALUATION_EFFECTIVE_CALLS     = 2
+PRECOMPILE_POINT_EVALUATION_FAILURE_EFFECTIVE_CALLS = 4
+PRECOMPILE_BLS_G1_ADD_EFFECTIVE_CALLS               = 16
+PRECOMPILE_BLS_G1_MSM_EFFECTIVE_CALLS               = 8
+PRECOMPILE_BLS_G2_ADD_EFFECTIVE_CALLS               = 16
+PRECOMPILE_BLS_G2_MSM_EFFECTIVE_CALLS               = 8
+PRECOMPILE_BLS_PAIRING_CHECK_MILLER_LOOPS           = 16
+PRECOMPILE_BLS_FINAL_EXPONENTIATIONS                = 4
+PRECOMPILE_BLS_MAP_FP_TO_G1_EFFECTIVE_CALLS         = 8
+PRECOMPILE_BLS_MAP_FP2_TO_G2_EFFECTIVE_CALLS        = 8
+PRECOMPILE_BLS_C1_MEMBERSHIP_CALLS                  = 16
+PRECOMPILE_BLS_C2_MEMBERSHIP_CALLS                  = 16
+PRECOMPILE_BLS_G1_MEMBERSHIP_CALLS                  = 16
+PRECOMPILE_BLS_G2_MEMBERSHIP_CALLS                  = 16
 
-BLS                 = 0
-POINT_EVAL          = 0
 BLS_DATA                = 8192
 RLP_UTILS               = 262144
 POWER_REFERENCE_TABLE   = 32
 BLS_REFERENCE_TABLE     = 512
+
+# Start of new Osaka modules
+PRECOMPILE_P256_VERIFY_EFFECTIVE_CALLS = 256
+
+BIT_XOAN_U2   = 524288
+BIT_XOAN_U4   = 524288
+BIT_XOAN_U8   = 524288
+BIT_XOAN_U16  = 524288
+BIT_XOAN_U32  = 524288
+BIT_XOAN_U64  = 524288
+BIT_XOAN_U128 = 524288
+BIT_XOAN_U256 = 524288
+BYTE_16       = 524288
+BYTE_32       = 524288
+BYTE_64       = 524288
+BYTE_128      = 524288
+BYTE_256      = 524288
+SIGNEXTEND    = 524288
+MAX3_U128     = 524288
+MAXLOG        = 524288
+# End of new Osaka modules

prover/config/config-mainnet-limitless.toml

@@ -1,5 +1,5 @@
 environment = "mainnet"
-version = "6.1.1"                              # TODO @gbotrel hunt all version definitions.
+version = "6.1.3"                              # TODO @gbotrel hunt all version definitions.
 assets_dir = "./prover-assets"
 log_level = 4                                  # TODO @gbotrel will be refactored with new logger.
 
@@ -76,7 +76,7 @@ PRECOMPILE_SHA2_BLOCKS = 200
 PRECOMPILE_RIPEMD_BLOCKS = 0
 PRECOMPILE_MODEXP_EFFECTIVE_CALLS = 32
 PRECOMPILE_MODEXP_EFFECTIVE_CALLS_4096 = 1
-PRECOMPILE_ECADD_EFFECTIVE_CALLS = 256
+PRECOMPILE_ECADD_EFFECTIVE_CALLS = 1024
 PRECOMPILE_ECMUL_EFFECTIVE_CALLS = 40
 PRECOMPILE_ECPAIRING_FINAL_EXPONENTIATIONS = 16
 PRECOMPILE_ECPAIRING_MILLER_LOOPS = 64
@@ -172,28 +172,47 @@ U24 = 262144
 U23 = 262144
 U20 = 262144
 
-PRECOMPILE_BLS_POINT_EVALUATION_EFFECTIVE_CALLS     = 0
-PRECOMPILE_POINT_EVALUATION_FAILURE_EFFECTIVE_CALLS = 0
-PRECOMPILE_BLS_G1_ADD_EFFECTIVE_CALLS               = 0
-PRECOMPILE_BLS_G1_MSM_EFFECTIVE_CALLS               = 0
-PRECOMPILE_BLS_G2_ADD_EFFECTIVE_CALLS               = 0
-PRECOMPILE_BLS_G2_MSM_EFFECTIVE_CALLS               = 0
-PRECOMPILE_BLS_PAIRING_CHECK_MILLER_LOOPS           = 0
-PRECOMPILE_BLS_FINAL_EXPONENTIATIONS                = 0
-PRECOMPILE_BLS_MAP_FP_TO_G1_EFFECTIVE_CALLS         = 0
-PRECOMPILE_BLS_MAP_FP2_TO_G2_EFFECTIVE_CALLS        = 0
-PRECOMPILE_BLS_C1_MEMBERSHIP_CHECKS                 = 0
-PRECOMPILE_BLS_C2_MEMBERSHIP_CALLS                  = 0
-PRECOMPILE_BLS_G1_MEMBERSHIP_CALLS                  = 0
-PRECOMPILE_BLS_G2_MEMBERSHIP_CALLS                  = 0
+PRECOMPILE_BLS_POINT_EVALUATION_EFFECTIVE_CALLS     = 1
+PRECOMPILE_POINT_EVALUATION_FAILURE_EFFECTIVE_CALLS = 2
+PRECOMPILE_BLS_G1_ADD_EFFECTIVE_CALLS               = 8
+PRECOMPILE_BLS_G1_MSM_EFFECTIVE_CALLS               = 4
+PRECOMPILE_BLS_G2_ADD_EFFECTIVE_CALLS               = 8
+PRECOMPILE_BLS_G2_MSM_EFFECTIVE_CALLS               = 4
+PRECOMPILE_BLS_PAIRING_CHECK_MILLER_LOOPS           = 8
+PRECOMPILE_BLS_FINAL_EXPONENTIATIONS                = 2
+PRECOMPILE_BLS_MAP_FP_TO_G1_EFFECTIVE_CALLS         = 4
+PRECOMPILE_BLS_MAP_FP2_TO_G2_EFFECTIVE_CALLS        = 4
+PRECOMPILE_BLS_C1_MEMBERSHIP_CALLS                  = 8
+PRECOMPILE_BLS_C2_MEMBERSHIP_CALLS                  = 8
+PRECOMPILE_BLS_G1_MEMBERSHIP_CALLS                  = 8
+PRECOMPILE_BLS_G2_MEMBERSHIP_CALLS                  = 8
 
-BLS                 = 0
-POINT_EVAL          = 0
 BLS_DATA                = 4096
 RLP_UTILS               = 131072
 POWER_REFERENCE_TABLE   = 32
 BLS_REFERENCE_TABLE     = 512
 
+# Start of new Osaka modules
+PRECOMPILE_P256_VERIFY_EFFECTIVE_CALLS = 128
+
+BIT_XOAN_U2   = 262144
+BIT_XOAN_U4   = 262144
+BIT_XOAN_U8   = 262144
+BIT_XOAN_U16  = 262144
+BIT_XOAN_U32  = 262144
+BIT_XOAN_U64  = 262144
+BIT_XOAN_U128 = 262144
+BIT_XOAN_U256 = 262144
+BYTE_16       = 262144
+BYTE_32       = 262144
+BYTE_64       = 262144
+BYTE_128      = 262144
+BYTE_256      = 262144
+SIGNEXTEND    = 262144
+MAX3_U128     = 262144
+MAXLOG        = 262144
+# End of new Osaka modules
+
 [traces_limits_large]
 ADD = 524288
 BIN = 524288
@@ -229,8 +248,8 @@ PRECOMPILE_ECRECOVER_EFFECTIVE_CALLS = 256
 PRECOMPILE_SHA2_BLOCKS = 400
 PRECOMPILE_RIPEMD_BLOCKS = 0
 PRECOMPILE_MODEXP_EFFECTIVE_CALLS = 64
-PRECOMPILE_MODEXP_EFFECTIVE_CALLS_4096 = 1
-PRECOMPILE_ECADD_EFFECTIVE_CALLS = 512
+PRECOMPILE_MODEXP_EFFECTIVE_CALLS_4096 = 2
+PRECOMPILE_ECADD_EFFECTIVE_CALLS = 2048
 PRECOMPILE_ECMUL_EFFECTIVE_CALLS = 80
 PRECOMPILE_ECPAIRING_FINAL_EXPONENTIATIONS = 32
 PRECOMPILE_ECPAIRING_MILLER_LOOPS = 128
@@ -326,24 +345,43 @@ U24 = 524288
 U23 = 524288
 U20 = 524288
 
-PRECOMPILE_BLS_POINT_EVALUATION_EFFECTIVE_CALLS     = 0
-PRECOMPILE_POINT_EVALUATION_FAILURE_EFFECTIVE_CALLS = 0
-PRECOMPILE_BLS_G1_ADD_EFFECTIVE_CALLS               = 0
-PRECOMPILE_BLS_G1_MSM_EFFECTIVE_CALLS               = 0
-PRECOMPILE_BLS_G2_ADD_EFFECTIVE_CALLS               = 0
-PRECOMPILE_BLS_G2_MSM_EFFECTIVE_CALLS               = 0
-PRECOMPILE_BLS_PAIRING_CHECK_MILLER_LOOPS           = 0
-PRECOMPILE_BLS_FINAL_EXPONENTIATIONS                = 0
-PRECOMPILE_BLS_MAP_FP_TO_G1_EFFECTIVE_CALLS         = 0
-PRECOMPILE_BLS_MAP_FP2_TO_G2_EFFECTIVE_CALLS        = 0
-PRECOMPILE_BLS_C1_MEMBERSHIP_CHECKS                 = 0
-PRECOMPILE_BLS_C2_MEMBERSHIP_CALLS                  = 0
-PRECOMPILE_BLS_G1_MEMBERSHIP_CALLS                  = 0
-PRECOMPILE_BLS_G2_MEMBERSHIP_CALLS                  = 0
+PRECOMPILE_BLS_POINT_EVALUATION_EFFECTIVE_CALLS     = 2
+PRECOMPILE_POINT_EVALUATION_FAILURE_EFFECTIVE_CALLS = 4
+PRECOMPILE_BLS_G1_ADD_EFFECTIVE_CALLS               = 16
+PRECOMPILE_BLS_G1_MSM_EFFECTIVE_CALLS               = 8
+PRECOMPILE_BLS_G2_ADD_EFFECTIVE_CALLS               = 16
+PRECOMPILE_BLS_G2_MSM_EFFECTIVE_CALLS               = 8
+PRECOMPILE_BLS_PAIRING_CHECK_MILLER_LOOPS           = 16
+PRECOMPILE_BLS_FINAL_EXPONENTIATIONS                = 4
+PRECOMPILE_BLS_MAP_FP_TO_G1_EFFECTIVE_CALLS         = 8
+PRECOMPILE_BLS_MAP_FP2_TO_G2_EFFECTIVE_CALLS        = 8
+PRECOMPILE_BLS_C1_MEMBERSHIP_CALLS                  = 16
+PRECOMPILE_BLS_C2_MEMBERSHIP_CALLS                  = 16
+PRECOMPILE_BLS_G1_MEMBERSHIP_CALLS                  = 16
+PRECOMPILE_BLS_G2_MEMBERSHIP_CALLS                  = 16
 
-BLS                 = 0
-POINT_EVAL          = 0
 BLS_DATA                = 8192
 RLP_UTILS               = 262144
 POWER_REFERENCE_TABLE   = 32
 BLS_REFERENCE_TABLE     = 512
+
+# Start of new Osaka modules
+PRECOMPILE_P256_VERIFY_EFFECTIVE_CALLS = 256
+
+BIT_XOAN_U2   = 524288
+BIT_XOAN_U4   = 524288
+BIT_XOAN_U8   = 524288
+BIT_XOAN_U16  = 524288
+BIT_XOAN_U32  = 524288
+BIT_XOAN_U64  = 524288
+BIT_XOAN_U128 = 524288
+BIT_XOAN_U256 = 524288
+BYTE_16       = 524288
+BYTE_32       = 524288
+BYTE_64       = 524288
+BYTE_128      = 524288
+BYTE_256      = 524288
+SIGNEXTEND    = 524288
+MAX3_U128     = 524288
+MAXLOG        = 524288
+# End of new Osaka modules