Step (pickles.Pickles.Impls.Step)

module Impl : sig ... end

include module type of Impl

module R1CS_constraint_system : sig ... end

type field = Backend.Tick.Field.t

module Bigint : sig ... end

module Constraint : sig ... end

module Typ : sig ... end

module Boolean : sig ... end

module Field : sig ... end

module As_prover : sig ... end

module Proof_inputs : sig ... end

module Internal_Basic : sig ... end

module Bitstring_checked : sig ... end

module Handle : sig ... end

type response = Snarky_backendless.Request.response

val unhandled : response

type request = Snarky_backendless.Request.request =

| With : {

request : 'a Snarky_backendless.Request.t;

respond : 'a Snarky_backendless.Request.Response.t -> response;

} -> request

module Handler : sig ... end

val assert_ : ?label:string -> Constraint.t -> unit

val assert_all : ?label:string -> Constraint.t list -> unit

val assert_r1cs : ?label:string -> Field.t -> Field.t -> Field.t -> unit

val assert_square : ?label:string -> Field.t -> Field.t -> unit

val as_prover : ( unit -> unit ) As_prover.t -> unit

val next_auxiliary : unit -> int

val request_witness : 
  ( 'var, 'value ) Typ.t ->
  ( unit -> 'value Snarky_backendless.Request.t ) As_prover.t ->
  'var

val perform : ( unit -> unit Snarky_backendless.Request.t ) As_prover.t -> unit

val request : 
  ?such_that:( 'var -> unit ) ->
  ( 'var, 'value ) Typ.t ->
  'value Snarky_backendless.Request.t ->
  'var

val exists : 
  ?request:( unit -> 'value Snarky_backendless.Request.t ) As_prover.t ->
  ?compute:( unit -> 'value ) As_prover.t ->
  ( 'var, 'value ) Typ.t ->
  'var

val exists_handle : 
  ?request:( unit -> 'value Snarky_backendless.Request.t ) As_prover.t ->
  ?compute:( unit -> 'value ) As_prover.t ->
  ( 'var, 'value ) Typ.t ->
  ( 'var, 'value ) Handle.t

val handle : ( unit -> 'a ) -> Handler.t -> 'a

val handle_as_prover : 
  ( unit -> 'a ) ->
  ( unit -> Handler.t As_prover.t ) ->
  'a

val if_ : 
  Boolean.var ->
  typ:( 'var, 'a ) Typ.t ->
  then_:'var ->
  else_:'var ->
  'var

val with_label : string -> ( unit -> 'a ) -> 'a

val make_checked : ( unit -> 'a ) -> 'a Internal_Basic.Checked.t

val constraint_system : 
  input_typ:( 'input_var, 'input_value ) Typ.t ->
  return_typ:( 'a, 'b ) Typ.t ->
  ( 'input_var -> unit -> 'a ) ->
  R1CS_constraint_system.t

val generate_witness : 
  input_typ:( 'input_var, 'input_value ) Typ.t ->
  return_typ:( 'a, 'b ) Typ.t ->
  ( 'input_var -> unit -> 'a ) ->
  'input_value ->
  Proof_inputs.t

val generate_public_input : 
  ( 'input_var, 'input_value ) Typ.t ->
  'input_value ->
  Field.Constant.Vector.t

val generate_witness_conv : 
  f:( Proof_inputs.t -> 'r_value -> 'out ) ->
  input_typ:( 'input_var, 'input_value ) Typ.t ->
  return_typ:( 'r_var, 'r_value ) Typ.t ->
  ( 'input_var -> unit -> 'r_var ) ->
  'input_value ->
  'out

val run_unchecked : ( unit -> 'a ) -> 'a

val run_and_check : 
  ( unit -> ( unit -> 'a ) As_prover.t ) ->
  'a Core_kernel.Or_error.t

module Run_and_check_deferred (M : sig ... end) : sig ... end

val check : ( unit -> 'a ) -> unit Core_kernel.Or_error.t

val constraint_count : 
  ?weight:( Constraint.t -> int ) ->
  ?log:( ?start:bool -> string -> int -> unit ) ->
  ( unit -> 'a ) ->
  int

val set_constraint_logger : 
  ( ?at_label_boundary:([ `End | `Start ] * string) ->
    Constraint.t option ->
    unit ) ->
  unit

val clear_constraint_logger : unit -> unit

val in_prover : unit -> bool

val in_checked_computation : unit -> bool

val constant : ( 'var, 'value ) Typ.t -> 'value -> 'var

val run_checked : 'a Internal_Basic.Checked.t -> 'a

module Number : sig ... end

module Enumerable (M : sig ... end) : sig ... end

module Verification_key = Backend.Tick.Verification_key

module Proving_key = Backend.Tick.Proving_key

module Digest : sig ... end

module Challenge : sig ... end

module Keypair : sig ... end

module Other_field : sig ... end

val input : 
  proofs_verified:'a Pickles_types.Nat.t ->
  wrap_rounds:'b Pickles_types.Nat.t ->
  uses_lookup:Pickles_types.Plonk_types.Opt.Flag.t ->
  ( ( ( ( Impl.Field.t,
          Impl.Field.t Composition_types.Scalar_challenge.t,
          Other_field.t Pickles_types.Shifted_value.Type2.t,
          ( ( Impl.Field.t Composition_types.Scalar_challenge.t
                Pickles_types.Hlist0.Id.t,
              Other_field.t Pickles_types.Shifted_value.Type2.t
                Pickles_types.Hlist0.Id.t )
              Composition_types.Step.Proof_state.Deferred_values.Plonk.In_circuit.Lookup.t,
            Impl.field Snarky_backendless.Cvar.t
              Snarky_backendless.Snark_intf.Boolean0.t )
            Pickles_types.Plonk_types.Opt.t,
          ( Impl.field Snarky_backendless.Cvar.t
              Kimchi_backend_common.Scalar_challenge.t
              Composition_types.Bulletproof_challenge.t,
            'b )
            Pickles_types.Vector.t
            Pickles_types.Hlist0.Id.t,
          Impl.field Snarky_backendless.Cvar.t,
          Impl.field Snarky_backendless.Cvar.t
            Snarky_backendless.Snark_intf.Boolean0.t )
          Composition_types.Step.Proof_state.Per_proof.In_circuit.t,
        'a )
        Pickles_types.Vector.t,
      Impl.field Snarky_backendless.Cvar.t Pickles_types.Hlist0.Id.t,
      ( Impl.field Snarky_backendless.Cvar.t, 'a ) Pickles_types.Vector.t
        Pickles_types.Hlist0.Id.t )
      Composition_types.Step.Statement.t,
    ( ( ( Challenge.Constant.t,
          Challenge.Constant.t Composition_types.Scalar_challenge.t,
          Other_field.Constant.t Pickles_types.Shifted_value.Type2.t,
          ( Challenge.Constant.t Composition_types.Scalar_challenge.t
              Pickles_types.Hlist0.Id.t,
            Other_field.Constant.t Pickles_types.Shifted_value.Type2.t
              Pickles_types.Hlist0.Id.t )
            Composition_types.Step.Proof_state.Deferred_values.Plonk.In_circuit.Lookup.t
            option,
          ( Limb_vector.Challenge.Constant.t
              Kimchi_backend_common.Scalar_challenge.t
              Composition_types.Bulletproof_challenge.t,
            'b )
            Pickles_types.Vector.t
            Pickles_types.Hlist0.Id.t,
          ( Limb_vector.Constant.Hex64.t, Composition_types.Digest.Limbs.n )
            Pickles_types.Vector.vec,
          bool )
          Composition_types.Step.Proof_state.Per_proof.In_circuit.t,
        'a )
        Pickles_types.Vector.t,
      ( Limb_vector.Constant.Hex64.t, Composition_types.Digest.Limbs.n )
        Pickles_types.Vector.vec
        Pickles_types.Hlist0.Id.t,
      ( ( Limb_vector.Constant.Hex64.t, Composition_types.Digest.Limbs.n )
          Pickles_types.Vector.vec,
        'a )
        Pickles_types.Vector.t
        Pickles_types.Hlist0.Id.t )
      Composition_types.Step.Statement.t,
    Impl.field )
    Composition_types.Spec.ETyp.t