Dsa.K_gen
K_gen can be instantiated over a hashing module to obtain an RFC6979 compliant k-generator for that hash.
K_gen
k
module H : Digestif.S
val generate : key:priv -> string -> Z.t
generate key digest deterministically takes the given private key and message digest to a k suitable for seeding the signing process.
generate key digest