Make_EdDSA_generic (hacl-star.Hacl_star.SharedFunctors.Make_EdDSA

Parameters

module C : SharedDefs.Buffer

module Impl : sig ... end

type bytes = C.t

val verify : pk:bytes -> msg:bytes -> signature:bytes -> bool

module Noalloc : sig ... end

val secret_to_public : sk:bytes -> bytes

val sign : sk:bytes -> msg:bytes -> bytes

val expand_keys : sk:bytes -> bytes

val sign_expanded : ks:bytes -> msg:bytes -> bytes