Skip to content

Conversation

gballet
Copy link
Member

@gballet gballet commented Aug 20, 2025

This is the result of a discussion with Felix during the Stateless Implementer's Call #38: we decided to simplify the rules by saying that any access occurring during a syscall will not add anything to the witness.

@github-actions github-actions bot added c-update Modifies an existing proposal s-draft This EIP is a Draft t-core labels Aug 20, 2025
@eth-bot
Copy link
Collaborator

eth-bot commented Aug 20, 2025

✅ All reviewers have approved.

@eth-bot eth-bot changed the title eip-4762: don't charge gas in syscalls Update EIP-4762: don't charge gas in syscalls Aug 20, 2025
@@ -52,7 +52,7 @@ process this access event:
(address, 0, BASIC_DATA_LEAF_KEY)
```

Note: a non-value-bearing `SELFDESTRUCT`, `*CALL` or `CALLCODE`, targeting a precompile or a system contract, will not cause the `BASIC_DATA_LEAF_KEY` to be added to the witness.
Note: a non-value-bearing `SELFDESTRUCT`, `*CALL` or `CALLCODE`, targeting a precompile, will not cause the `BASIC_DATA_LEAF_KEY` to be added to the witness. Similarly, system calls will not add the basic data leaf to the witness.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Similarly, system calls will not add the basic data leaf to the witness.

I think this should be moved as a point 5, instead. it doesn't make sense for it to be a note.

@@ -68,7 +68,7 @@ When calling `EXTCODEHASH`, process the access event:
(address, 0, CODEHASH_LEAF_KEY)
```

Note that precompiles and system contracts are excluded, as their hashes are known to the client.
Note that precompiles are excluded, as their hashes are known to the client.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think this was removed incorrectly? code hashes are indeed known to clients as the contract is immutable after deployment.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
c-update Modifies an existing proposal s-draft This EIP is a Draft t-core
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants