Bloom filter implemented using Redis as storage backend