Module Make_ECDSA_generic.Noalloc

val sign : sk:bytes -> msg:bytes -> k:bytes -> signature:bytes -> bool