Add EIP-7623 support to evm 1.0

[manuelmauro]

Description

Adds support for EIP-7623

[RomarQ]

For running the tests for pectra, you will need to add Fork::Pectra => Config::pectra() in

evm/jsontests/src/run.rs

Line 181 in 95762b2

let mut config = match test.fork {

If possibly only running the tests for EIP-7623

[sorpaas]

If possibly only running the tests for EIP-7623

Not sure if this is possible. It passed everything so I didn't yet added any skip_tests functionality.
As long as it doesn't break any past tests, we can wait till all Pectra is implemented and then test them together.

[manuelmauro]

For running the tests for pectra, you will need to add Fork::Pectra => Config::pectra() in

evm/jsontests/src/run.rs

Line 181 in 95762b2

let mut config = match test.fork {

If possibly only running the tests for EIP-7623

Added in c1f288a

[sorpaas]

Hmm why is this tests passing?

[manuelmauro]

Could it be because the EIP-7702 testing is mostly implemented in this framework https://github.com/ethereum/execution-spec-tests (rather then https://github.com/ethereum/tests)?

[RomarQ]

Also the https://github.com/ethereum/tests/tree/428f218d7d6f4a52544e12684afbfe6e2882ffbf submodule is pointing to a commit from 2 years ago.

[sorpaas]

Also the https://github.com/ethereum/tests/tree/428f218d7d6f4a52544e12684afbfe6e2882ffbf submodule is pointing to a commit from 2 years ago.

Yeah this is expected. At some point last year, legacy tests are removed from ethereum/tests and replaced by legacytests. Then EIP-7610 is implemented (for all hard forks). The tests of oldethtests and legacytests are actualy redundant to each other. legacytests is simply a newer version of oldethtests, with the only difference of whether it implements EIP-7610.

Mainnet clients don't care, but we still want to support non-EIP-7610 situations, so we still keep oldethtests with a commit from 2 years ago.

[manuelmauro]

For running the tests for pectra, you will need to add Fork::Pectra => Config::pectra() in

evm/jsontests/src/run.rs

Line 181 in 95762b2

let mut config = match test.fork {

If possibly only running the tests for EIP-7623

Added in c1f288a

[RomarQ]

Added some remarks, we should use saturating math operations

[sorpaas]

Ah I think I know -- The commit of legacytests doesn't yet contain any Prague tests. It's up to the last hard fork.

To test Prague we need to update legacytests or add ethereum-spec-tests.

As said in previous comment, on the other hand, oldethtests is used only for EIP-7610 and it should never be updated.

[RomarQ]

@sorpaas for using the merge queue, we need to update the workflows with a merge_group trigger.

https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue#triggering-merge-group-checks-with-github-actions

[sorpaas]

@manuelmauro Please pull master and then we can merge.