Theory and Practice of Bloom Filters for Distributed Systems | Synapse