Optimistic rollups (Arbitrum, Optimism, Base) assume transactions are valid unless someone proves fraud during a challenge window — which is why withdrawing to Ethereum through the official bridge can take about a week.
ZK-rollups (zkSync, Starknet, Linea) attach a zero-knowledge proof to every batch, so the main chain can verify it immediately.