Module Psi.BF

Bloom filter-based PSI

Bloom filter-based PSI

This an implementation of the Private Set Intersection protocol based on Bloom filters as described in the paper Do I know you? -- Efficient and Privacy-Preserving Common Friend-Finder Protocols and Applications

module Make : functor (Hash : Nocrypto.Hash.S) -> S.BF

Functor building an implementaticon of Bloom filter-based PSI given a Hash implementation.