digestif

AuthorsEyyüb Sari <eyyub.sari@epitech.eu> and Romain Calascibetta <romain.calascibetta@gmail.com>
LicenseMIT
Homepagehttps://github.com/mirage/digestif
Issue Trackerhttps://github.com/mirage/digestif/issues
MaintainersEyyüb Sari <eyyub.sari@epitech.eu> and Romain Calascibetta <romain.calascibetta@gmail.com>
Dependencies
&base-bigarray
base-bytes
jbuilder
Availableocaml-version >= "4.03.0"
PublishedJul 24, 2018
Source [http] https://github.com/mirage/digestif/releases/download/v0.6.1/digestif-0.6.1.tbz
9100e0067018123634d3959eb37fdbd2
StatisticsInstalled 35 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/digestif/digestif.0.6.1/opam

Hash algorithms in C and OCaml

Build Status

Digestif is a toolbox which implements hashes:

  • SHA1
  • SHA224
  • SHA256
  • SHA384
  • SHA512
  • BLAKE2B
  • BLAKE2S
  • RIPEMD160

Digestif uses a trick about linking and let the end-user to choose which implementation he wants to use. We provide 2 implementations:

  • C implementation with digestif.c
  • OCaml implementation with digestif.ocaml

Both are well-tested. However, OCaml implementation is slower than the C implementation.

API

For each hash, we implement the same API which is referentially transparent. Then, on the top of these, we reflect functions (like digesti or hmaci) with GADT - however, conversion from GADT to hash type is not possible (but you can destruct GADT to a string).

Build Requirements

  • OCaml >= 4.03.0 (may be less but need test)
  • base-bytes meta-package
  • Bigarray module (provided by the standard library of OCaml)
  • dime to build the project

If you want to compile the test program, you need:

  • alcotest

Credits

This work is from the nocrypto library and the Vincent hanquez's work in ocaml-sha.

All credits appear in the begin of files and this library is motivated by two reasons:

  • delete the dependancy with nocrypto if you don't use the encryption (and common) part
  • aggregate all hashes functions in one library
Necessary for
noise