package hacl-star

  1. Overview
  2. Docs

Module SharedFunctors.Make_EdDSASource

Parameters

module Impl : sig ... end

Signature

Sourceval secret_to_public : SharedDefs.CBytes.t -> SharedDefs.CBytes.t -> unit
Sourceval expand_keys : SharedDefs.CBytes.t -> SharedDefs.CBytes.t -> unit