Update EIP-7702: Do not allow authorization nonce equal to 2**64 - 1

[gumb0]

It is important to not allow authorization.nonce == 2**64 - 1, because in this case incrementing authority nonce will result in nonce overflowing 64 bit, which is not allowed since EIP-2681

Alternative to adding this to the transaction validity rules could be additional check during delegation setting, but it is simpler this way (fewer checks) and more aligned with existing transaction types validity. It is checked at authorization list processing now.

[eth-bot]

File EIPS/eip-7702.md

Requires 1 more reviewers from @adietrichs, @lightclient, @SamWilsn, @vbuterin

[lightclient]

but it is simpler this way (fewer checks) and more aligned with existing transaction types validity.

Is this true? I feel like add bounds outside of basic type widths might add more complexity since it isn't natively part of decoding (e.g. value too big for type!).

[gumb0]

but it is simpler this way (fewer checks) and more aligned with existing transaction types validity.

Is this true? I feel like add bounds outside of basic type widths might add more complexity since it isn't natively part of decoding (e.g. value too big for type!).

I guess you're right, it's probably the same number of checks, so either extra check at transaction validity, or one at processing authorizations. I don't mind it either way.

[gumb0]

I changed it now to be checked at authorization list processing.

[lightclient]

LGTM. Needs a rebase - I just did in in #8938. Closing