Ring_sig (transaction_snark_tests.Transaction_snark_tests.Ring

module Impl = Pickles.Impls.Step

module Inner_curve = Snark_params.Tick.Inner_curve

module Nat = Pickles_types.Nat

module Local_state = Mina_state.Local_state

module Zkapp_command_segment = Transaction_snark.Zkapp_command_segment

module Statement = Transaction_snark.Statement

val check_sig : 
  Snark_params.Tick.Inner_curve.var ->
  Snark_params.Tick.Field.Var.t Random_oracle.Input.Chunked.t ->
  (Snark_params.Tick.Field.Var.t * Snark_params.Tick.Inner_curve.Scalar.var) ->
  Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.t

val verify_sig : 
  Crypto_params.Tick.Inner_curve.t list ->
  Snark_params.Tick.Field.Var.t Random_oracle.Input.Chunked.t ->
  (Snark_params.Tick.Field.Var.t * Snark_params.Tick.Inner_curve.Scalar.var) ->
  unit Snark_params.Tick.Checked.t

val check_witness : 
  Crypto_params.Tick.Inner_curve.t list ->
  Snark_params.Tick.Field.Var.t Random_oracle.Input.Chunked.t ->
  (Snark_params.Tick.Field.Var.t * Snark_params.Tick.Inner_curve.Scalar.var) ->
  ( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t

type Snarky_backendless.Request.t +=

| Sigma : Signature_lib.Schnorr.Chunked.Signature.t Snarky_backendless.Request.t

val ring_sig_rule : 
  Signature_lib.Schnorr.Chunked.Public_key.t list ->
  ( unit,
    unit,
    unit,
    unit,
    Mina_base.Zkapp_statement.Checked.t,
    'a,
    unit,
    'b,
    unit,
    'c )
    Pickles.Inductive_rule.t