Module RedDSA.MakeRedDSASource

Parameters

module Ec : sig ... end
module Param : sig ... end

Signature

Sourcetype secret_key = Ec.Scalar.t
Sourcetype public_key = Ec.t
Sourcetype signature
Sourceval signature_to_bytes : signature -> Bytes.t
Sourceval sign_deterministic : Bytes.t -> secret_key -> Bytes.t -> signature
Sourceval verify : public_key -> Bytes.t -> signature -> bool