Succinct Zero-Knowledge Batch Proofs for Set Accumulators