MakeRedDSA (mavkit-libs.Mec.Signature.RedDSA.MakeRedDSA)

Parameters

module Ec : sig ... end

module Param : sig ... end

type secret_key = Ec.Scalar.t

type public_key = Ec.t

type signature

val signature_to_bytes : signature -> Stdlib.Bytes.t

val sign : secret_key -> Stdlib.Bytes.t -> signature

val sign_deterministic : 
  Stdlib.Bytes.t ->
  secret_key ->
  Stdlib.Bytes.t ->
  signature

val verify : public_key -> Stdlib.Bytes.t -> signature -> bool