package mec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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

Parameters

module Param : PARAMETERS
module Scalar : Ff_sig.PRIME

Signature

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

OCaml

Innovation. Community. Security.