mec.permutation
Make.Param
mec
mec.Curve
mec.CurveSig
mec.curve
mec.digestif
mec.hash
mec.signature
mec.utils
mec_curve_utils
val width : int
The state size
val rounds : int
The number of rounds
val round_constants : string array
The round constants, given in decimal representation
val mds_matrix : string array array
The MDS matrix, given in decimal representation
val alpha : Z.t
val alphainv : Z.t