Hades (mavkit-libs.Mec.Permutation.Hades)

module type PARAMETERS = sig ... end

module Make
  (Param : PARAMETERS)
  (Scalar : Mavryk_bls12_381.Ff_sig.PRIME) : 
  sig ... end

Build an HADES SP network based on the parameters and a scalar field