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