Module `Make_EdDSA.Noalloc`

val secret_to_public : sk:bytes -> pk:bytes -> unit

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

val expand_keys : sk:bytes -> ks:bytes -> unit

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