An optimistic rollup assumes its transactions are valid and lets anyone prove otherwise; a ZK-rollup proves every batch up front. The gap shows in withdrawal wait, cost, EVM fit and L2BEAT stage.