Update EIP-7928: Clarify anti-dos measure for invalid, bloated BALs

Merged by EIP-Bot.

Author: nerolation

EIPS/eip-7928.md

@@ -561,6 +561,23 @@ Validating access lists and balance diffs adds validation overhead but is essent
 
 Increased block size impacts propagation but overhead (~70 KiB average) is reasonable for performance gains.
 
+### Early Rejection of Malicious BALs
+
+Since `storage_reads` entries are not mapped to specific transaction indices, their validity can only be confirmed after executing all transactions. A malicious proposer could exploit this by declaring phantom storage reads that are never accessed, forcing clients into unnecessary I/O prefetching and significant data download while the block remains unrejectable until completion.
+
+To mitigate this, clients SHOULD enforce a gas-budget feasibility check at transaction boundaries. Let:
+
+- `R_remaining` = number of declared storage reads not yet accessed
+- `G_remaining` = remaining block gas
+
+The following invariant must hold:
+
+```
+G_remaining >= R_remaining * 2000
+```
+
+Where 2000 is the minimum gas cost for a storage read (via [EIP-2930](./eip-2930.md) access lists: 1900 upfront + 100 warm read). If this check fails, the block can be rejected immediately as invalid, since insufficient gas remains to access the declared reads. This check SHOULD be performed periodically (e.g., every 8 transactions) to enable early rejection without impacting parallel execution.
+
 ## Copyright
 
 Copyright and related rights waived via [CC0](../LICENSE.md).