Linking for completeness: ethereum/EIPs#9590

Just want to highlight the following

• A new EELS PR with EIP-5920 implementation for Osaka is up

• I would like to add the following to the list of relevant test cases

  • Trying to transfer non-zero value in static context
  • Trying to transfer zero value in static context
  • Trying to transfer zero value to a non-existent account
  • Trying to transfer higher value than the balance to a non-existent account

Wanted to drop a quick note here from the EIP (this has been in there for a long time):

PAY cannot be implemented on networks with empty accounts (see EIP-7523).

This is nice, because it means we don't have to deal with "touched" accounts and cleaning up the whole mess a la EIP-161. And this thus saves us rather big and nasty test situations.

The only thing we should strictly check though (in a simple test) is that if you PAY with 0 that if this gets used on a non-existing account, it will also leave it as non-existing account (and thus not leave an empty account in the trie).