EIP-7002: Add ExecutionLayerWithdrawalRequest for Electra

[jtraglia]

PR Description

This is still a work in progress. This PR will:

• Rename ExecutionLayerExit to ExecutionLayerWithdrawalRequest.
• Add new amount field to ExecutionLayerWithdrawalRequest.
• Update processExecutionLayerWithdrawalRequests.

Currently, the plan is to merge ExecutionLayerExit (EIP-7002) into ExecutionLayerWithdrawalRequest (EIP-7251) since it's the same concept. This can be seen in this PR by Alex Stokes:

• Add EIP-7251 to Electra ethereum/consensus-specs#3668

Sorry in advance, this PR touches a lot of files. Ideally it would be broken up into multiple PRs, but the changes are relatively simple and breaking it up would be more complicated in my opinion. But if that's desirable, it might be possible.

Documentation

• I thought about documentation and added the doc-change-required label to this PR if updates are required.

Changelog

• I thought about adding a changelog entry, and added one if I deemed necessary.

[lucassaldanha]

The OpenApi integration test is failing because we need to create a schema/ExecutionLayerWithdrawRequest.json file with the expected schema (replacing schema/ExecutionLayerExit.json)

[jtraglia]

@lucassaldanha I'm pretty sure I will need help writing computeExitEpochAndUpdateChurn. I'm not exactly sure where this function should go, probably not in MutableBeaconStateElectra though.

[lucassaldanha]

@lucassaldanha I'm pretty sure I will need help writing computeExitEpochAndUpdateChurn. I'm not exactly sure where this function should go, probably not in MutableBeaconStateElectra though.

We have a BeaconStateMutators with a specific version for different forks like BeaconStateMutatorsBellatrix. We would need a BeaconStateMutatorsElectra to start. I know @rolfyone was working on some of those I'll check with him what he is up to and get back to you.

[rolfyone]

We have a BeaconStateMutators with a specific version for different forks like BeaconStateMutatorsBellatrix. We would need a BeaconStateMutatorsElectra to start. I know @rolfyone was working on some of those I'll check with him what he is up to and get back to you.

I'll take a look

[lucassaldanha]

@lucassaldanha I'm pretty sure I will need help writing computeExitEpochAndUpdateChurn. I'm not exactly sure where this function should go, probably not in MutableBeaconStateElectra though.

@rolfyone has implemented this function and it has been merged already. Look for BeaconStateMutatorsElectra.

[jtraglia]

@lucassaldanha @rolfyone thanks for your help 😄 this should be ready for review now.

[lucassaldanha]

It looks like the naming was updated to ExecutionLayerWithdrawalRequest (using withdrawAL). So we need to update this PR to reflect this.

[jtraglia]

It looks like the naming was updated to ExecutionLayerWithdrawalRequest (using withdrawAL). So we need to update this PR to reflect this.

Ah I didn't notice that 😢 no problem, will update! Shouldn't be nearly as difficult.

[lucassaldanha]

It looks like the naming was updated to ExecutionLayerWithdrawalRequest (using withdrawAL). So we need to update this PR to reflect this.

Ah I didn't notice that 😢 no problem, will update! Shouldn't be nearly as difficult.

I just noticed it today hehe. I actually prefer the new name so won't complain about it!

The logic seems to be ok so as soon as the names are fixed we can merge it.

[lucassaldanha]

I guess we still need to rename the field in a couple of places? Some of the property tests failed.

[jtraglia]

I guess we still need to rename the field in a couple of places? Some of the property tests failed.

Ah yeah, sorry, missed some of the upper case names. Hopefully that should be it.