Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Closed
wants to merge 3 commits into from
+8 −7
Closed

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

Changes from 2 commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
91310c2
Update EIP-7702: Do not allow authorization nonce equal to 2**64 - 1
gumb0 Sep 25, 2024
494f64a
Move the nonce overflow check to transaction processing
gumb0 Sep 26, 2024
264d266
Check nonce for overflow before looking up authority account
gumb0 Sep 30, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 4 additions & 3 deletions EIPS/eip-7702.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -71,9 +71,10 @@ At the start of executing the transaction, after incrementing the sender's nonce
3. Add `authority` to `accessed_addresses` (as defined in [EIP-2929](./eip-2929.md).)
4. Verify the code of `authority` is either empty or already delegated.
5. Verify the nonce of `authority` is equal to `nonce`.
6. Add `PER_EMPTY_ACCOUNT_COST - PER_AUTH_BASE_COST` gas to the global refund counter if `authority` exists in the trie.
7. Set the code of `authority` to be `0xef0100 || address`. This is a delegation designation.
8. Increase the nonce of `authority` by one.
6. Verify the nonce of `authority` is less than `2**64 - 1`.
lightclient marked this conversation as resolved.
Show resolved Hide resolved
7. Add `PER_EMPTY_ACCOUNT_COST - PER_AUTH_BASE_COST` gas to the global refund counter if `authority` exists in the trie.
8. Set the code of `authority` to be `0xef0100 || address`. This is a delegation designation.
9. Increase the nonce of `authority` by one.

If any of the above steps fail, immediately stop processing that tuple and continue to the next tuple in the list. It will in the case of multiple tuples for the same authority, set the code using the address in the last valid occurrence.

Expand Down
Loading