Update EIP-8141: pin the initial accessed_addresses set for frame transactions

[Marchhill]

The spec currently doesn't specify the initial warm set for frame-transaction processing, which lets gas_used diverge on the first tx.sender access (some clients charge it COLD, EIP-2929/3651 warm it). This pins accessed_addresses to the EIP-2929/EIP-3651 set (tx.sender, coinbase, precompiles) minus any frame target, whose warm/cold access is already charged within each frame's own gas limit per the Rationale. Also: fixed linting.

[eth-bot]

File EIPS/eip-8141.md

Requires 1 more review from Authors: @derekchiang, @drortirosh, @fjl, @forshtat, @lightclient, @nerolation, @shahafn, @svlachakis, @vbuterin, @yoavw

[AnkushinDaniil]

The exception reads as a subtraction from the set, which makes it ambiguous exactly where the sets overlap. A frame with target = None resolves to tx.sender, and nothing stops a frame from targeting the coinbase or a precompile, so "except that no frame target is pre-warmed" can be read as removing those from the initial set. Phrasing it as "being a frame target does not warm an address" would leave the 2929 and 3651 entries untouched.

The payer looks like the same divergence class and is not covered here. APPROVE(APPROVE_PAYMENT) collects max_cost from an address the protocol did not touch before, and the spec does not say whether that collection warms it. A later frame doing BALANCE(payer) or calling into a paymaster then costs 100 or 2600 depending on the client. The sponsored flow in the Rationale hits this on the post op frame, so it is not a corner case.

ORIGIN ends up warm or cold depending on frame mode: it is tx.sender in a SENDER frame and ENTRY_POINT elsewhere, and the latter is deliberately not pre-warmed. 2929 warms the origin because the protocol touched it, so this is a real departure and worth stating rather than leaving to inference.

accessed_storage_keys is left unpinned. There is no access list here so the empty set is the only sensible reading, but the same sentence may as well say it.

[github-actions]

The commit d20e4c3 (as a parent of 02ecbef) contains errors.
Please inspect the Run Summary for details.