blob: 781e7930f808a65d4c9ad168a114ac96fe2bf0a7 (plain
This library provides OCaml bindings to the [Monocypher](https://monocypher.org/) cryptographic library. Bindings are created using the [Ctypes](https://github.com/ocamllabs/ocaml-ctypes) library.
Currently only a small sub-set of Monocypher functions are available in the OCaml library (Blake2b, IETF ChaCha20 and Ed25519). Contributions to add bindings to the other Monocypher functions are very welcome! Please contact the maintainer by [mail](mailto:firstname.lastname@example.org).
# Why Monocypher?
Monocypher provides "Boring crypto that simply works". In particular it provides primitives required for [DROMEDAR](https://gitlab.com/public.dream/dromedar/dromedar):
- Blake2b cryptographic hash
- ChaCha20 stream cypher
- Ed25519 for public key signatures
Monocypher is portable, easy to build and include in projects (see also [Why Monocypher?](https://monocypher.org/why)).
# Related Software
HACL* is a formally verified cryptographic library that provides automatically generated OCaml bindings. All necessary primitives (Blake2b, ChaCha20, Ed25519) are provided by HACL*.
However, it does not seem trivial to build HACL* directly from source (F*). One needs to rely on pre-generated C and OCaml artifacts. This library can be built completely from source code.
Furthermore, HACL* is considerably larger than Monocypher.
mirage-crypto is a mostly OCaml implementation (with some C) of cryptographic primitives. It is maintained by the MirageOS community.
Unfortunately, mirage-crypto does not provide all necessary primitives I needed (Blake2b and Ed25519 are missing).
If in the future the necessary crypto primitive are added to mirage-crypto it would make sense to deprecate ocaml-monocypher.
vbmithr/ocaml-monocypher does not use the Ctypes library for creating the binding. This requires some C hacking.
As the OCaml C stubs are directly in the `monocypher.c` file it is hard to update to a newer version of Monocypher. This library uses the Ctypes library to automatically generate bindings to C.
This library was initialy developed for [DREAM](https://dream.public.cat/) project and has been supported trough [NGI Pointer](https://pointer.ngi.eu/).
[CC0-1.0](./LICENSES/CC0-1.0.txt) or [BSD-2-Clause](./LICENSE/BSD-2-Clause.txt) (same as Monocypher).