LO
LoFiRes/ocaml-psi
Private Set Intersection protocols
Private Set Intersection protocols
PSI is a collection of Private Set Intersection protocols.
The following PSI protocols are implemented:
- Naive Hash based PSI
- Bloom Filter based PSI as described in the paper
Do I know you? -- Efficient and Privacy-Preserving Common Friend-Finder Protocols and Applications
PSI is distributed under the AGPL-3.0-only license.
Installation
psi can be installed via opam:
opam install psi
Building
To build from source, generate documentation, and run tests, use dune:
dune build
dune build @doc
dune runtest -f
In addition, the following Makefile targets are available
as a shorthand for the above:
make
make build
make doc
make test
Documentation
The documentation and API reference is generated from the source interfaces.
It can be consulted online or via odig:
odig doc psi
On this page
Contributors
GNU Affero General Public License v3.0
Created October 25, 2019
Updated May 19, 2024