Shanghai test vectors

[winsvega]

Follow chfast suggestion make a test vector file with test ID that is also referenced in the test itself
A list of testID - test description in one file like changelog, and each test must mention corresponging ID in its info comment section

• check that Shanghai block rejected before transition (Shanghai transition tests #1123)
• check that Merge block rejected after transition (Shanghai transition tests #1123)
• check that Block without withdrawals root header field but with withdrawals in the body gets rejected after transition (Shanghai transition tests #1123)
• check that if withdrawals root does not match the withdrawals body block rejected (withdrawals tests #1124)
• check that Shanghai block without withdrawals rlp body is rejected as incomplete (withdrawals tests #1124)
• check what happens if withdrawals RLP body fields are in wrong order (equvivalent to testing the bounds)
• check if withdrawals rlp body is not presented as List (withdrawals tests #1124)

Withdrawals

      "index": "0x00",
      "validatorIndex", "0x00",
      "address": "0xabc...",
      "amount": "0x00...",

what a the ranges of this fields. check the bounds

• index is 2**64 (withdrawals tests #1124)
• index experimental out of rlp bound for the fields (more than 2**256) (withdrawals tests #1124)
• validatorIndex is 2**64 (withdrawals tests #1124)
• validatorIndex experimental out of rlp bound for the fields (more than 2**256) (withdrawals tests #1124)
• address is less 20 bytes (withdrawals tests #1124)
• address is more 20 bytes (withdrawals tests #1124)
• address is bigint ((withdrawals tests #1124)
• amount it 2**64 or high (withdrawals tests #1124)
• amount is bigint (withdrawals tests #1124)
• amount is 0 (withdrawals tests #1124)
• withdrawals body has more elements than 4 (more withdrawals tests #1129)
• withdrawals body has less elements than 4 (more withdrawals tests #1129)
• what if there are two identical indexes in the block withdrawals list of items (more withdrawals tests #1129)
• what if there are two identical validator indexes (more withdrawals tests #1129)?
• can two different withdrawals happen to the same address? (equal or different validator index) (more withdrawals tests #1129)
• withdrawal with 0x00 amouont. does not change anything? (more withdrawals tests #1129)
• 0x00 amount does not touch an account? (more withdrawals tests #1129)
• what if the fields in rlp comes mixed, wrong order? there order must be verified. (verified by above)
• what if withdrawl happen to address, but in the same block smth happen to this addresss

1. it suicide 2) it gets fund from another transaction 3) it sends fund 4) it is being created or reverted

check that eth_getBlockBy rpc requests report withdrawals in the block if they should

• check that if withdrawal happened to address A and in the same call a staticcall happened on A, the static call works fine

• check interactions with EIP 2929 (https://eips.ethereum.org/EIPS/eip-2929)

• SLOAD, CALL, BALANCE, EXT and SELFDESTRUCT called for account that received withdrawal warm up