Mec - Mini Elliptic Curve library

DO NOT USE IN PRODUCTION

Mec provides elliptic curve and finite field based cryptographic primitives and protocols.

The library characteristics are:

• written purely in OCaml. No C or assembly code
• implementations are modular, focusing on parameters readability for the different primitive instantiations
• can be used to generate test vectors
• can be used to create new primitive instantiations
• can be compiled in JavaScript to be run in web-browsers, if the performance is not important
• provides tools to generate secure parameters, like for Poseidon hash function
• can be used to prototype primitives or protocols

Do not use this library if:

• performance is important. Mec is not meant to be efficient, and maybe will never be.
• you want to compare the performance between different cryptographic primitives. As performance is not important in the implementation, it won't make sense to compare.

Here some suggestions of libraries you can use to get better performances:

• ocaml-bls12-381 provides the instance BLS12-381 and also Poseidon128 as implemented here
• hacl-star provides different elliptic curves.