Evaluated on: · Spec revision: 2025-02-14 · 4a06cae0ed
Scope at the cutoff. At the information cutoff, this draft changed only the gas-pricing algorithm for the existing ModExp precompile, building on EIP-2565. It raised the minimum charge from 200 to 500, doubled the exponent-length contribution above 32 bytes, and doubled multiplication complexity when the base or modulus exceeds 32 bytes. The interface and arithmetic algorithms remained unchanged, and existing vectors were to be reused with updated gas values.
- Evaluator
- LLMChecklist v2
- Confidence
- High
- Under-specified at assessment cutoff
- No
- Plausible range
- 8–8 (Low)
- Assessment cutoff
- 2025-02-21 · EIP revision
4a06cae0ed(2025-02-14)
Score bands · Checklist revision 2
- Low <12
- Medium 12–22
- High ≥23
28 criteria scored 0–3 (4 in exceptional cases; cross-EIP interactions is uncapped); nominal maximum 84.
Complexity profile
Each segment is one criterion's contribution to the LLM total. Hover or focus a segment for its score and rationale.
Top complexity drivers
Under-specified at assessment cutoff: No
The EIP text available at the assessment cutoff left material behavior unresolved. The affected criteria and the plausible total range record that uncertainty.
The assessor found no material behavior left unresolved by the EIP text at the cutoff.
Criterion breakdown
| Criterion | Score | Why this score | Evidence / uncertainty |
|---|---|---|---|
| Edge/boundary conditions | 2 | Multiple boundary-prone mechanisms must be checked below, at, and above their thresholds, including the interaction with the minimum charge. The branches are simple closed-form rules and no single one requires an elevated case count, matching score 2 rather than score 3. |
Confidence: Medium Uncertainty: Combining base, modulus, and exponent dimensions expands the useful test matrix, but the EIP's unchanged interface and explicit formulas keep each boundary independently tractable. |
| Cross-EIP interactions | 2 | The proposal directly modifies EIP-2565, requiring its pricing vectors and boundary expectations to be coordinated with the new formula. The interaction is limited to one existing precompile and one EIP, matching score 2 rather than a broad multi-EIP interdependency score. Interacting EIPs: EIP-2565. |
Confidence: High Interacting EIPs: EIP-2565 |
| Modified precompiles | 1 | Exactly one pre-existing precompile has its gas schedule modified without a behavior change, matching score 1. |
Confidence: High |
| EVM Gas rule changes | 1 | This updates an existing EVM gas-accounting mechanism for one precompile, matching score 1; it does not introduce a separate gas mechanism. |
Confidence: High |
| Patterns affecting pre-existing tests | 1 | A minor, localized subset of pre-existing tests that assert ModExp gas or gas-boundary outcomes must be reworked, matching score 1. The EIP does not imply broad changes across diverse test categories. |
Confidence: High Uncertainty: The package does not enumerate every pre-existing test that embeds a ModExp gas allowance, but the affected rule remains limited to one precompile. |
| Performance risks | 1 | The modified pricing needs performance calibration, but ModExp can be benchmarked in isolation and its execution algorithm is unchanged. This matches score 1 rather than a benchmark interaction score. |
Confidence: High |
Show 22 zero-score criteria
| Criterion | Score | Why this score | Evidence / uncertainty |
|---|---|---|---|
| Added opcodes | 0 | No opcode is introduced, so the score-0 anchor applies. |
|
| Modified opcodes | 0 | The proposal modifies no opcode result or behavior and does not deprecate an opcode. Gas-only changes would also be excluded by this anchor, so the score is 0. |
|
| Added precompiles | 0 | No new precompile is introduced, so the score-0 anchor applies. |
|
| Added system contracts | 0 | Repricing an existing precompile does not add a system contract, so the score-0 anchor applies. |
|
| Modified system contracts | 0 | A precompile gas-schedule update is not a direct or indirect modification to a pre-existing system contract under this anchor, so the score is 0. |
|
| State-access ordering within opcode execution | 0 | The change is confined to pricing an existing precompile and specifies no state access or change in charging order relative to a state access, so the score-0 anchor applies. |
|
| Blob gas accounting changes | 0 | No blob gas rule or mechanism is introduced or modified, which is the score-0 anchor. |
|
| State gas accounting changes | 0 | The proposal changes neither state-write gas rates nor a state-gas budget, charging site, reservoir, or spill path, so the score-0 anchor applies. |
|
| New EVM gas refund | 0 | The EIP only increases charges and introduces no gas-refund mechanism, so the score-0 anchor applies. |
|
| New transaction types | 0 | No transaction type is introduced, so the score-0 anchor applies. |
|
| New or modified transaction validity mechanisms | 0 | Execution-time precompile charging does not change transaction validity rules or intrinsic gas calculation, so the score-0 anchor applies. |
|
| New block / header fields | 0 | No block or header field is introduced, so the score-0 anchor applies. |
|
| Encoding changes (RLP/SSZ) | 0 | The EIP introduces no transaction-, block-, or interface-level encoding change, so the score-0 anchor applies. |
|
| Block syncing changes | 0 | It introduces no block RLP validation mechanism and therefore no syncing change, which is the score-0 anchor. |
|
| New fork activation mechanism | 0 | Ordinary activation of a new pricing rule is not a fork-block state or internal-variable modification under this anchor, so the score is 0. |
|
| Engine API changes | 0 | No Engine API field, endpoint, or communication mechanism is added, so the score-0 anchor applies. |
|
| Transition-tool interface changes | 0 | The repricing requires no new transition-tool field or interface mechanism, which is the score-0 anchor. |
|
| New invariant on pre-existing tests | 0 | Pre-existing tests need updated gas expectations, not a new invariant that tests unrelated to this EIP must additionally assert, so the score-0 anchor applies. |
|
| New test-framework primitives | 0 | Reusing existing vectors with new expected values requires no new framework abstraction, expectation type, modifier, or helper, so the score-0 anchor applies. |
|
| Security risks | 0 | Because the change only raises gas charges and leaves functionality intact, the written proposal introduces no mechanism that compromises an existing security invariant. The score-0 anchor applies; overpricing is a usability and calibration concern captured under performance, not a new security interaction. |
|
| Cryptography | 0 | Although modular exponentiation is useful to cryptographic applications, this EIP introduces and modifies no cryptographic mechanism; it only reprices execution. The score-0 anchor therefore applies. |
|
| Unspecified behavior requiring cross-client consensus | 0 | The assessment-time text determines the changed gas result for constructible boundary cases and preserves the existing interface and arithmetic. No new detail needs client agreement before vectors can be baselined, so the score is 0. |
Uncertainty: The draft has no reference implementation, but absence of an implementation does not create an unresolved semantic case in the explicit pricing formula. |
Assessment provenance
- Assessed EIP revision
ethereum/EIPs@4a06cae0edEIPS/eip-7883.md committed 2025-02-14 · information cutoff 2025-02-21T10:10:59Z- Rubric
- Checklist revision 2 ·
ethspecs/pm@3d8c0128c5 - Evaluator
- gpt-5.6-sol at xhigh reasoning effort · isolation
bubblewrap_one_eip_capsule_v1 - Source record
- Frozen research record
research/tasks/05-retrospective-complexity-assignment/outputs/fork-eips/osaka/eip-7883.yaml· sha25618a4a325aba4 - Supporting documents in the sealed package
supporting/eip-2565.md