Implement EIP-5920: PAY

[benaadams]

https://eips.ethereum.org/EIPS/eip-5920

Changes

• Implement the PAY opcode

Types of changes

What types of changes does your code introduce?

• New feature (a non-breaking change that adds functionality)

Testing

Requires testing

• Yes
• No

If yes, did you write tests?

• Yes
• No

[Copilot]

Pull Request Overview

This pull request implements EIP-5920 by introducing the PAY opcode into the EVM. Key changes include adding an IsEip5920Enabled flag in several spec interfaces and classes, registering the PAY opcode in the opcode lookup table, and providing a full PAY instruction implementation.

Reviewed Changes

Copilot reviewed 7 out of 7 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
src/Nethermind/Nethermind.Specs/ReleaseSpec.cs	Added IsEip5920Enabled property.
src/Nethermind/Nethermind.Specs.Test/OverridableReleaseSpec.cs	Added forwarding of the IsEip5920Enabled flag.
src/Nethermind/Evm/Instructions/EvmInstructions.cs	Registers the PAY opcode when enabled.
src/Nethermind/Evm/Instructions/EvmInstructions.Call.cs	Implements the PAY instruction logic.
src/Nethermind/Evm/Instruction.cs	Adds PAY enum entry.
src/Nethermind/Core/Specs/ReleaseSpecDecorator.cs	Adds IsEip5920Enabled property for spec decoration.
src/Nethermind/Core/Specs/IReleaseSpec.cs	Introduces IsEip5920Enabled in the spec interface.

Comments suppressed due to low confidence (1)

src/Nethermind/Nethermind.Evm/Instructions/EvmInstructions.Call.cs:417

• [nitpick] For consistency with other checks in the method, consider using !transferValue.IsZero instead of transferValue != 0.

else if (spec.ClearEmptyAccountWhenTouched && transferValue != 0 && state.IsDeadAccount(target))