Implement RecordAccessTracer
required by record
and startStateDiffRecording
to correctly record storage reads and writes(note that write is also recorded as a read).
for startStateDiffRecording
we need to record the AccountAccess
during every CALL
, CREATE
or SELFDESTRUCT
.
for the approximate impl take a look at pallet-revive's own CallTracer
and foundry-zksync
's crates::zksync::core::vm::storage_recorder.rs/storage_view.rs