mec.permutation
Mec_permutation.Hades
HADES Strategy, based on On a Generalization of Substitution-Permutation Networks: The HADES Design Strategy
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
Build an HADES SP network based on the parameters and a scalar field