Rollups are blockchains that post their blocks to an L1, so their state can be fully reconstructed from data on L1. ZK Rollups operate under a guilty-until-proven-innocent model where blocks posted on L1 are assumed to be invalid until the presence of a validity-proof.