STP test vectors

[OlivierBBB]

We need to test the STP module thoroughly. For this should test all possible combinations of the following parameters

Test dimensions

• instruction is CALL, CALLCODE or [DELEGATECALL/STATICCALL]
  • DELEGATECALL/STATICCALL are indistinguishable from the pov of pricing AFAICT and can't transfer value
  • CALL and CALLCODE can transfer value
  • CALL can lead to the creation of an account, none of the other CALL-type instructions can
• CALL or CALLCODE transfers value / transfers no value
• target address exists / does not exist in the state prior to the CALL [matters only for CALL]
• target address is warm / cold [matters for every instruction]
• STP raises outOfGasException / does not

We further need to check the value of our computations for

• GAS_UPFRONT
• GAS_STIPEND column in the nonzero value case, zero value case
• GAS_PAID_OUT_OF_POCKET if gas parameter is
  • 0
  • normal size (few thousands, say)
  • huge ~ 1<<128
  • truly huge: 1<<128, 1<<128 + 1, ~ 1<<256

Ideally we would replace our hand made computations with Besu stuff ...

Test scenarios

This leads to

• CALL: 2 * 2 * 2 * 2 = 16 possible STP scenarios
• CALLCODE: 8 possible STP scenarios
• DELEGATECALL/STATICCALL: 4 possible STP scenarios