GitHunt
LO

LoFiRes/ocaml-psi

Private Set Intersection protocols

Build Status

Private Set Intersection protocols

PSI is a collection of Private Set Intersection protocols.

The following PSI protocols are implemented:

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

Contributors

GNU Affero General Public License v3.0
Created October 25, 2019
Updated May 19, 2024