Status quo (today):
Execute a block → txs run → state changes.
Which accounts were read? Which slots changed?
You discover that *during* execution — or by replaying traces.
Nothing in the header promises it upfront.
Execute a block → txs run → state changes.
Which accounts were read? Which slots changed?
You discover that *during* execution — or by replaying traces.
Nothing in the header promises it upfront.