package bls12-381-hash

OCaml implementation of BLS12-381

Use with caution before release 1.0.0

This library provides a fast implementation of:

• an instantiation of Poseidon providing a security of 128 bits. See the documentation for more information on the used parameters.

• an instantiation of Rescue providing a security of 128 bits. See the documentation for more information on the used parameters.

• an instantiation of Anemoi providing a security of 128 bits. See the documentation for more information on the used parameters.

Install

Use a local switch for development

opam switch create ./ 4.14.0
dune build

Install in an existing local switch

# for the latest published version in ocaml/opam-repository
opam install bls12-381-hash
# for the dev version
opam pin add bls12-381-hash.dev git+https://gitlab.com/dannywillems/ocaml-bls12-381-hash\#main

Run tests

dune runtest

To get the coverage:

dune runtest --instrument-with bisect_ppx --force
bisect-ppx-report html

Run the benchmarks

Install core_bench:

opam install core_bench

See files listed in the directory benchmark and execute it with dune exec. For instance:

dune exec ./benchmark/bench_anemoi.exe

Documentation

opam install odoc
dune build @doc