Skip to content

lofirepo/ocaml-psi

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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