Bloom filters debunked: Dispelling 30 Years of bad math with Coq!
There's this rather nifty feature of modern web browsers (such as Firefox or Chrome) where the browser will automatically warn the user if they happen to navigate to a "malicious" URL:
Bloom filters debunked: Dispelling 30 Years of bad math with Coq! Warning This post was written before I began my transition. It may adopt a tone that I no longer feel is appropriate and the page may make use of design that is not consistent with the rest of the site. Bloom filters debunked: Dispelling 30 Years of bad math with Coq! 23 Jul, 2020     projects   research   coq   verification Introduction There's this rather nifty feature of modern web browsers (such as Firefox or Chrome ) where the browser will automatically warn the user if they happen to navigate
saved by
related reading
- Bloom Filters - Much, much more than a space efficient hashmap! | Ben E. C. Boyterboyter.org
- Bloom Filterssamwho.dev
- Probabilistic Data Structures and LLMsmatt-rickard.com
- Bloom filter | Docsredis.io
- A shallow dive into formal verificationvitalik.eth.limo
- Zero Knowledge Proofs: An illustrated primer – A Few Thoughts on Cryptographic Engineeringblog.cryptographyengineering.com
- p197-wang.pdfvldb.org
- Machine Learning, Kolmogorov Complexity, and Squishy Bunniestheorangeduck.com
- Binius: highly efficient proofs over binary fieldsvitalik.eth.limo
- Flock: Fast Proving for Batch Boolean Computationseprint.iacr.org
- Computer Scientists Figure Out How To Prove Lies | Quanta Magazinequantamagazine.org
- Lecture 14: Zero knowledge proofsboazbarak.org