Too Long; Didn't Read
StarkWare has introduced the concept of L2 interoperability, i.e., transferring funds between L2s with as little friction as possible on L1 during the transfer. Different L2 solutions have different interoperability methods. StarkEx defined a primitive called Conditional Transaction[a], where a transaction is validated or not depending on whether its preconditions for that transaction are met. In StarkEx's zkRollup solution, if a conditional transaction is included in a batch of transactions, it will ensure that its associated transaction is registered, otherwise, the entire batch will be rolled back.