Merkle trees are used in ZK-rollups to securely summarize and verify batches of transactions. They ensure that transactions are tamper-proof and allow for efficient verification of the transaction history without needing to store all transaction data on-chain.