Permutation.MarvellousMarvellous Strategy, based on Design of Symmetric-Key Primitives for Advanced Cryptographic Protocols
module type PARAMETERS = sig ... endmodule Make
(Param : PARAMETERS)
(Scalar : Mavryk_bls12_381.Ff_sig.PRIME) :
sig ... end