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

val compute_updated_constants : 
  (module Mavryk_bls12_381.Ff_sig.PRIME with type t = 'a) ->
  int ->
  int ->
  int ->
  int ->
  'a array ->
  'a array array ->
  'a array * 'a array * 'a array * 'a array

Update the constants for the linear trick

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