Variations on ZK Batch Membership Proofs