Why should the mainnet trust the results submitted by a Rollup?
Withdrawing from an Optimistic Rollup to the mainnet via the official bridge usually takes about 7 days. This period is reserved for challenging the results with fraud proofs.
The sequencer can determine the order of transactions. Mature Rollups also let users bypass the sequencer and force transactions through the mainnet, preventing them from being rejected for an extended period.
The networks at $ARB and $OP use Optimistic Rollups, while $STRK uses the ZK approach.