A ZK Rollup is a rollup that proves the computational integrity of off-chain computations performed by a rollup using zero-knowledge technology through a zero-knowledge proving scheme.