Module Make_ECDSA.Noalloc

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