In a smart city, real-time traffic updates could be processed in small batches for low latency, while historical data analysis uses larger batches. [[ZKP/Research/Privacy Pools for Scalability/Recursive Proofs for Batching|Recursive proofs]] ensure efficient verification, and [[ZKP/Data Marketplace/High-Level Overview/Off-Chain Storage with IPFS|IPFS handles data storage]]. For example, traffic sensors could send real-time updates that are batched and [[ZKP/Research/Privacy Pools for Scalability/Priority-Based Batching|verified quickly]] for immediate use in traffic management, while historical traffic patterns are batched in larger groups for long-term urban planning, with IPFS ensuring data availability and recursive proofs maintaining efficiency. See also: [[ZKP/Research/References|References]]