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-7709: specify how all system contracts should behave post-verkle #8697

Closed
wants to merge 2 commits into from
+4 −2
Closed

Update EIP-7709: specify how all system contracts should behave post-verkle #8697

Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
d99d267
eip-7709: specify how all system contracts should behave post-verkle
gballet Jun 28, 2024
fd352f2
fix nit
gballet Sep 19, 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
6 changes: 4 additions & 2 deletions EIPS/eip-7709.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -56,6 +56,8 @@ However the entire semantics and after effects of the `SLOAD` operation needs to
* `SLOAD` after effects on the slot (warming the slot)
* `SLOAD` accesses added to execution witnesses if Verkle ([EIP-6800](./eip-6800.md) and [EIP-4762](./eip-4762.md)) is activated

System contracts execution is no longer favored over direct state updates. It it considered a protocol violation if an alternate network or testnet activates [EIP-4788](./eip-4788.md), EIP-2935, [EIP-7002](./eip-7002.md), or any other eip using system contracts, without deploying the corresponding contract.
Copy link
Contributor

Choose a reason for hiding this comment

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

should we move this line in 6800? this is just one such system contract

gballet marked this conversation as resolved.
Show resolved Hide resolved

### Activation

This EIP specifies the transition to the new logic assuming that [EIP-2935](./eip-2935.md) has been activated:
Expand All @@ -69,9 +71,9 @@ The current proposal is to activate this EIP with Verkle to allow for stateless

As described above, if the `arg` to be resolved is within the correct window, the corresponding `SLOAD` charges and accesses are to be applied for the slot `arg % HISTORY_SERVE_WINDOW`. Note that the `HISTORY_SERVE_WINDOW` and `BLOCKHASH_SERVE_WINDOW` are different.

### Reading from the System contract
### System contracts execution and witness content

Even if the clients choose to resolve `BLOCKHASH` through system call to [EIP-2935](./eip-2935.md) contract, the gas cost for the system code execution (and also the code witnesses if Verkle activated) is not applied. Only the effect of `SLOAD` is applied as described above.
Even if the clients choose to resolve `BLOCKHASH` through system call to [EIP-2935](./eip-2935.md) contract, the gas cost for the system code execution (and also the code witnesses if Verkle activated) is not applied. Only the effect of `SLOAD` or `SSTORE` are applied as described above.

## Rationale

Expand Down
Loading