EIP7702 Test Ideas

[winsvega]

7702 thoughts:

• pointer to contract to pointer to contract loop
• pointer to pointer
• push pointer bytes to memory and try to create/create2/tx deploy (btw push eof bytes and create?)
  -- attempt to create fails, no contract is created
• normal tx do not interact with pointers?
  -- Other normal tx can interact with previously assigned pointers
• context opcodes, ext context opcodes logic when dealing with pointer account
  -- Balance and storage is of a pointer account, the rest seems to be of a target
• pointer to precompile/sys
• pointer to eof
• access list interactions (check the disconunt of hot addresses if its in the accesslist or not + if set as a pointer)
• pointer to static, check static context activated
• static call to pointer to contract check static context is active
• same as above but with reentry to first contract
• contract with storage calls pointer to some contract, check storage modifications. Check tstore modificstions.
• if I call pointer -> contract, set/load storage x. then in the same tx, call contract directly. will it be hot call price? will storage load in contract be hot or cold?
• same as above but with reentry check storage/tstorage and no loop (reentry stops)
• check reverts of account data when used multiple pointers and accounts had storages, created new, then all of it reverts
• check that new transaction type is rejected before fork transition block X

Test scenarios option:

• pointer to contract that revert/oog/suicide/return/errors with exception
• callcode* pointer style account

More from Marius:

• Tests for 7702 with pre-deployed delegations that are not of the correct size (should never happen, but we should have tests for it)

[winsvega]

From @MariusVanDerWijden

• We should have a test for signature malleability in 7702
• Also 7702 will change the speed of extcodesize, we should test whether this will be a problem

We should have a test, where a contract calls a delegation that delegates to a delegation and we check the gas of that. In our gas calculation, we only check for the delegation prefix

So we should charge for the resoulution of the second delegation, even if the second delegation will fail. I'm wondering if there can be consensus issues there

same for extcodecopy, extcodesize, extcodehash

[winsvega]

what if I have account A
now I point it to contract B
run some logic, it changes the storage of my account A
then I revoke the pointer, now I have EOA account with the storage
now I point it to contract C
run some logic. logic of contract C can now read of my storage in accoutn A ?
what if contract C has some critical data it reads from it's storage ?