Not to go off on a tangent here, but I’d appreciate if you could point me to any technical writeups or other resources about this.
In my mental model, the user would sign multiple transactions for multiple rollups, then submit these to the (shared) sequencer. Then, how can the sequencer guarantee that they’ll either all execute or all revert? And since reverts are essentially triggered by information outside the EVM (by a previous revert on another rollup), how does this fit into normal EVM semantics?