Checked (signature_lib.Signature_lib.Schnorr.Legacy.Checked)

val compress : 
  Snark_params.Tick.Inner_curve.var ->
  Snark_params.Tick.Boolean.var list Snark_params.Tick.Checked.t

val verifies : 
  (module Snark_params.Tick.Inner_curve.Checked.Shifted.S with type t = 't) ->
  Signature.var ->
  Public_key.var ->
  Message.Legacy.var ->
  Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.t

val assert_verifies : 
  (module Snark_params.Tick.Inner_curve.Checked.Shifted.S with type t = 't) ->
  Signature.var ->
  Public_key.var ->
  Message.Legacy.var ->
  unit Snark_params.Tick.Checked.t