Bump nonce of zero-nonce storage accounts

Status history

1. Draft5 May 2026

Abstract

At the start of the designated fork block, set the nonce to 1 for a per-chain, configured list of accounts that have empty code, zero nonce, and non-empty storage. Bumping the nonce restores the invariant that zero nonce and empty code imply empty storage: the accounts then fail the EIP-684 precondition for contract creation (nonce == 0), so no runtime storage check at contract creation is needed.