ZK-rollups prove every batch correct with validity proofs before settlement. Learn how zero-knowledge circuits compress thousands of transfers securely.