EIP 7702 Implement SetCode transactions #2755
Open
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| @@ -40,6 +40,7 @@ def _assert_exit_code_zero(pattern: Pattern) -> None: | |||
| return | |||
|
|
|||
| pretty = kore_print(pattern, definition_dir=kdist.get('evm-semantics.llvm'), output=PrintOutput.PRETTY) | |||
| print(pretty) | |||
There was a problem hiding this comment.
Is this intended or a statement that was added for debugging?
| @@ -117,7 +117,7 @@ To do so, we'll extend sort `JSON` with some EVM specific syntax, and provide a | |||
| syntax EthereumCommand ::= loadTx ( Account ) [symbol(loadTx)] | |||
| // -------------------------------------------------------------- | |||
| rule <k> loadTx(_) => startTx ... </k> | |||
| <statusCode> _ => EVMC_OUT_OF_GAS </statusCode> | |||
There was a problem hiding this comment.
This change looks good, but I think this tule was removed in https://github.com/runtimeverification/evm-semantics/pull/2756/files. Which one is the latest version, I think the EIP-7623's one?
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Add EIP-7702 SetCode Transaction Type Implementation
Adding support for a new transaction type that can include signed authorizations from various accounts. Each authorization lets you set a special code (
0xEF0100 || address) for said authorized account, which points to another account/SC. Later, whenever anyone interacts with the authorized account, instead of just sending funds, the system runs the contract code that was pointed to (address).Changes include:
Key Components:
SetCodetransaction type with prefix0x04SetCodeTxdata structure with authorization listSetCodeauthority lists#isValidDelegation, and fetch the code of the delegated account.Notable Changes:
#loadAuthoritiesand#addAuthorityoperations for processingCextrafunction when computing the cost of a call to also check if there is a delegation and if the delegated account is warm.TODO:
Need to implement delegation resolution inCALL*/`operationsRun conformance tests