ZK Rollups are definitely “on a blockchain” and exist as any other smart contract application, like USDC. What they move off-chain is the computation and data storage of a transaction, but verified zk proofs result in the same security guarantees as any other contract on the underlying L1.