Checked (signature_lib.Signature_lib.Schnorr.Make.Checked)

val compress : Curve.var -> Impl.Boolean.var list Impl.Checked.t

val verifies : 
  (module Curve.Checked.Shifted.S with type t = 't) ->
  Signature.var ->
  Public_key.var ->
  Message.var ->
  Impl.Boolean.var Impl.Checked.t

val assert_verifies : 
  (module Curve.Checked.Shifted.S with type t = 't) ->
  Signature.var ->
  Public_key.var ->
  Message.var ->
  unit Impl.Checked.t