Acessing custom return for stateful precompiles

[vch9]

Hey,

First of all I'd like to mention that I'm just discovering revm so this issue might be completely wrong, perhaps what I'm "asking" is already supported.

I'd like to implement a precompiled contract that have a very custom outcome, completely unrelated to EVM. To instantiate a bit the issue, I would like to collect a list of Withdrawal which are produced when funds are transferred to a specific precompiled contract. The withdrawal in my case is unrelated to EVM, and needs to be handled in a very specific way for a L1-L2 communication.

From my understand it's not possible to do it with revm as the outcome is rightfully limited to gas used and output. One alternative I believe would be that I rely on logs and inspect the transaction result. If revm supported it, I could let the interpreter collect these custom outcome and handle them after the execution, without having to deal with subcalls and all.

Does it make any sense to you? Do you see any value to this feature request?

Edit: I have not yet full grasped the difference between StatefulPrecompileMut and StatefulPrecompileMut, perhaps this is doable with a custom handler