Going back to this scheme, would it work with our current design of private vs public functions? Today private functions can only enqueue public functions, but they cannot depend on their results. We could design it so an enqueued public function that reverts then reverts the whole tx, but that means that fee payments done in the private part of the tx (assuming we go full AA) would also get reverted, leaving the sequencer with their hands empty…