Up – Package index » mec » Library mec.signature » Mec_signature » Reddsa » MakeRedDSA

Module `Reddsa.MakeRedDSA`Source

Parameters

module Ec : Mec_curve_sig.Ec_sig.AffineEdwardsT

module Param : sig ... end

Sourcetype secret_key = Ec.Scalar.t

Sourcetype public_key = Ec.t

Sourcetype signature

Sourceval signature_to_bytes : signature -> Bytes.t

Sourceval sign : secret_key -> Bytes.t -> signature

Sourceval sign_deterministic : Bytes.t -> secret_key -> Bytes.t -> signature

Sourceval verify : public_key -> Bytes.t -> signature -> bool