mec.hash
Mec_hash.Poseidon_core
mec
mec.Curve
mec.CurveSig
mec.curve
mec.digestif
mec.permutation
mec.signature
mec.utils
mec_curve_utils
module type PARAMETERS = sig ... end
module type STRATEGY = sig ... end
A HADES strategy, for a constant length construction
module type HASH = sig ... end
module Make (C : PARAMETERS) (Scalar : Ff_sig.PRIME) : sig ... end