linea-tracer icon indicating copy to clipboard operation
linea-tracer copied to clipboard

Tests for Shomei <> State Manager <> HUB integration

Open OlivierBBB opened this issue 10 months ago • 0 comments

We require a test doing the following

  • prepopulate state with account B such that
    • B has the ability to SELFDESTRUCT
    • its address is produced using the CREATE2 recipe of some other account A
    • optionally B pre-populated with storage value v ≠ 0x00 at storage key k ≠ 0x00
  • transactions
// transaction 1:
message call transaction to B

either:
- no pre-warming
- pre-warm storage key k of account B

either:
- don't touch storage
- read storage key k
- write to storage key k
  - v -> 0
  - v -> v
  - v -> v' ≠ 0x00

DO trigger its SELFDESTRUCT

// transaction 2:
message call transaction to A

either:
- no pre-warming
- pre-warm storage key k of account B

message call transaction to A

CREATE2 deploying B

CALL B and either:
- don't touch storage
- read storage key k
- write to storage key k
  - 0 -> v
  - 0 -> 0

either:
- trigger its SELFDESTRUCT
- don't SELFDESTRUCT

RETURN to A

either:
- REVERT
- no REVERT

OlivierBBB avatar May 22 '25 13:05 OlivierBBB