Right now only (address, slot) is specified for the src chain, and the tool will generate a proof rooted on the latest settled (resolved) L2 output for the src chain. But the (address, slot) we want to prove may only exist at or above a certain block height.
Supplying a specific block height is not realistic because L2 outputs only settle sparsely so we can only provide a min and max.
Note that it is possible that some L2 state is never captured in an L2 output that settles to the L1.
We could also add a flag for expected l2 storage value, so that the proof works regardless of settled L2 block as long as the proven value is the one we want to prove.
Right now only (address, slot) is specified for the src chain, and the tool will generate a proof rooted on the latest settled (resolved) L2 output for the src chain. But the (address, slot) we want to prove may only exist at or above a certain block height.
Supplying a specific block height is not realistic because L2 outputs only settle sparsely so we can only provide a min and max.
Note that it is possible that some L2 state is never captured in an L2 output that settles to the L1.
We could also add a flag for expected l2 storage value, so that the proof works regardless of settled L2 block as long as the proven value is the one we want to prove.