HadesLinearOptimisation.Make
Build an HADES SP network based on the parameters and a scalar field
module Param : PARAMETERS
module Scalar : Mavryk_bls12_381.Ff_sig.PRIME
type state
The state of the permutation
val init : Scalar.t array -> state
Initialize the state with the given input
val apply : state -> unit
Apply a complete permutation
val get : state -> Scalar.t array
Return the current scalar elements in the state