Make (signature_lib.Signature

Parameters

module Impl : Snarky_backendless.Snark_intf.S

module Curve : sig ... end

module Message : 
  Message_intf
    with type boolean_var := Impl.Boolean.var
     and type curve_scalar_var := Curve.Scalar.var
     and type curve_scalar := Curve.Scalar.t
     and type curve := Curve.t
     and type curve_var := Curve.var
     and type field := Impl.Field.t
     and type field_var := Impl.Field.Var.t
     and type 'a checked := 'a Impl.Checked.t

Signature

module Signature : sig ... end

module Private_key : sig ... end

module Public_key : sig ... end

module Checked : sig ... end

val compress : Curve.t -> bool list

val sign : 
  ?signature_kind:Mina_signature_kind.t ->
  Private_key.t ->
  Message.t ->
  Signature.t

val verify : 
  ?signature_kind:Mina_signature_kind.t ->
  Signature.t ->
  Public_key.t ->
  Message.t ->
  bool