S (signature_lib.Signature

module Impl : Snarky_backendless.Snark_intf.S

type curve

type curve_var

type curve_scalar

type curve_scalar_var

module Shifted : sig ... end

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

module Signature : sig ... end

module Private_key : sig ... end

module Public_key : sig ... end

module Checked : sig ... end

val compress : curve -> 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