refactor(tests): add checklist marker for eip7883 (#2098)

* refactor: add checklist marker for eip7883

* doc: update eip checklist template

* refactor: update modexp test and add checklist marker

* chore: update checklist rules

* refactor: enhance modexp checklist descriptions for clarity

* refactor: update coverage table and check gas usage

* fix rebase issue

* chore: remove outdated entry from modexp checklist

* refactor: expand modexp checklist with external coverage entries

* refactor: adjust gas usage assertion for only Osaka fork

* refactor: overwrite id and add comment

Author: LouisTsai-Csie

docs/writing_tests/checklist_templates/eip_testing_checklist_template.md

@@ -409,8 +409,8 @@ If the precompile requires a minimum value (fee) to execute, either constant or
 
 If the precompile does not require any minimum value (fee) to execute.
 
-| ID                                               | Description                   | Status | Tests |
-| ------------------------------------------------ | ----------------------------- | ------ | ----- |
+| ID                                             | Description                                                      | Status | Tests |
+| ---------------------------------------------- | ---------------------------------------------------------------- | ------ | ----- |
 | `precompile/test/value_transfer/no_fee` | Sending non-zero value does not cause an exception (unless otherwise specified by the EIP). | | |
 
 #### Out-of-bounds checks

tests/osaka/eip7883_modexp_gas_increase/conftest.py

@@ -119,8 +119,14 @@ def gas_measure_contract(
     assert call_opcode in [Op.CALL, Op.CALLCODE, Op.DELEGATECALL, Op.STATICCALL]
     value = [0] if call_opcode in [Op.CALL, Op.CALLCODE] else []
 
+    gas_used = (
+        precompile_gas + precompile_gas_modifier
+        if precompile_gas_modifier != float("inf")
+        else Environment().gas_limit
+    )
+
     call_code = call_opcode(
-        precompile_gas + precompile_gas_modifier,
+        gas_used,
         Spec.MODEXP_ADDRESS,
         *value,
         0,

tests/osaka/eip7883_modexp_gas_increase/eip_checklist_external_coverage.txt

@@ -0,0 +1,3 @@
+precompile/test/call_contexts/set_code = Covered in EIP-7702 cases
+precompile/test/inputs/max_values = Covered in osaka/eip7823_modexp_upper_bounds
+precompile/test/out_of_bounds/max = Covered in osaka/eip7823_modexp_upper_bounds

tests/osaka/eip7883_modexp_gas_increase/eip_checklist_not_applicable.txt

@@ -0,0 +1,24 @@
+precompile/test/value_transfer/fee/under = No value is required
+precompile/test/value_transfer/fee/exact = No value is required
+precompile/test/value_transfer/fee/over = No value is required
+precompile/test/input_lengths/static/correct = The Modexp input length is not static
+precompile/test/input_lengths/static/too_short = The Modexp input length is not static
+precompile/test/input_lengths/static/too_long = The Modexp input length is not static
+precompile/test/input_lengths/dynamic/too_short = there would be no padding for precompile
+precompile/test/gas_usage/constant/oog = The Modexp gas cost is dynamic
+precompile/test/gas_usage/constant/exact = The Modexp gas cost is dynamic
+precompile/test/fork_transition/before/invalid_input = Modexp is not new precompile, it is still valid befork fork activation
+precompile/test/fork_transition/before/zero_gas = Modexp is not new precompile, it is still valid befork fork activation
+precompile/test/fork_transition/before/cold = Modexp is not new precompile, it is still valid befork fork activation
+gas_cost_changes/test/out_of_gas = No Out-of-gas scenario in Modexp
+system_contract = EIP does not include a new system contract
+opcode = EIP does not introduce a new opcode
+removed_precompile = EIP does not remove a precompile
+transaction_type = EIP does not introduce a new transaction type
+block_header_field = EIP does not add any new block header fields
+gas_refunds_changes = EIP does not introduce any gas refund changes
+blob_count_changes = EIP does not introduce any blob count changes
+execution_layer_request = EIP does not introduce an execution layer request
+new_transaction_validity_constraint = EIP does not introduce a new transaction validity constraint
+modified_transaction_validity_constraint = EIP does not introduce a modified transaction validity constraint
+block_body_field = EIP does not add any new block body fields