mec.permutation
Mec_permutation.Marvellous
Marvellous Strategy, based on Design of Symmetric-Key Primitives for Advanced Cryptographic Protocols
mec
mec.Curve
mec.CurveSig
mec.curve
mec.digestif
mec.hash
mec.signature
mec.utils
mec_curve_utils
module type PARAMETERS = sig ... end
module Make (Param : PARAMETERS) (Scalar : Ff_sig.PRIME) : sig ... end