Step_verifier (pickles.Pickles.Step

module Challenge : sig ... end

module Digest : sig ... end

module Scalar_challenge : sig ... end

module Pseudo : sig ... end

module Inner_curve : sig ... end

module Other_field : sig ... end

val assert_n_bits : 
  n:int ->
  Pasta_bindings.Fp.t Snarky_backendless.Cvar.t ->
  unit

type field := Step_main_inputs.Impl.Field.t

type snark_field := field Snarky_backendless.Cvar.t

type ('a, 'b) vector := ( 'a, 'b ) Pickles_types.Vector.t

val finalize_other_proof : 
  (module Pickles_types.Nat.Add.Intf with type n = 'b) ->
  step_uses_lookup:Pickles_types.Plonk_types.Opt.Flag.t ->
  step_domains:
    [ `Known of ( Pickles_base.Domains.t, 'branches ) Pickles_types.Vector.t
    | `Side_loaded ] ->
  sponge:Step_main_inputs.Sponge.t ->
  prev_challenges:
    ( ( Step_main_inputs.Impl.Field.t, 'a ) Pickles_types.Vector.t, 'b )
      Pickles_types.Vector.t ->
  ( Step_main_inputs.Impl.Field.t,
    Step_main_inputs.Impl.field Snarky_backendless.Cvar.t
      Kimchi_backend_common.Scalar_challenge.t,
    Step_main_inputs.Impl.Field.t Pickles_types.Shifted_value.Type1.t,
    ( ( Step_main_inputs.Impl.field Snarky_backendless.Cvar.t
          Kimchi_backend_common.Scalar_challenge.t,
        Step_main_inputs.Impl.Field.t Pickles_types.Shifted_value.Type1.t )
        Composition_types.Step.Proof_state.Deferred_values.Plonk.In_circuit.Lookup.t,
      Step_main_inputs.Impl.Boolean.var )
      Composition_types.Opt.t,
    ( Step_main_inputs.Impl.field Snarky_backendless.Cvar.t
        Kimchi_backend_common.Scalar_challenge.t
        Composition_types.Bulletproof_challenge.t,
      'c )
      Pickles_types.Vector.t,
    Step_main_inputs.Impl.Field.Constant.t
      Composition_types.Branch_data.Checked.t )
    Composition_types.Wrap.Proof_state.Deferred_values.In_circuit.t ->
  ( Step_main_inputs.Impl.Field.t,
    Step_main_inputs.Impl.Field.t Core_kernel.Array.t,
    Step_main_inputs.Impl.Boolean.var )
    Pickles_types.Plonk_types.All_evals.In_circuit.t ->
  Step_main_inputs.Impl.Boolean.var
  * ( Step_main_inputs.Impl.field Snarky_backendless.Cvar.t, 'c )
      Pickles_types.Vector.t

val hash_messages_for_next_step_proof : 
  index:
    Step_main_inputs.Inner_curve.t Pickles_types.Plonk_verification_key_evals.t ->
  ( 's -> Step_main_inputs.Impl.Field.t array ) ->
  ( ( 'a,
      's,
      ( Inner_curve.t, 'b ) Pickles_types.Vector.t,
      ( ( Step_main_inputs.Impl.Field.t, 'c ) Pickles_types.Vector.t, 'b )
        Pickles_types.Vector.t )
      Composition_types.Step.Proof_state.Messages_for_next_step_proof.t ->
    Step_main_inputs.Impl.Field.t )
    Core_kernel.Staged.t

val hash_messages_for_next_step_proof_opt : 
  index:
    Step_main_inputs.Inner_curve.t Pickles_types.Plonk_verification_key_evals.t ->
  ( 's -> Step_main_inputs.Impl.Field.t array ) ->
  Step_main_inputs.Sponge.t
  * ( ( 'a,
        's,
        ( Inner_curve.t, 'b ) Pickles_types.Vector.t,
        ( ( Step_main_inputs.Impl.Field.t, 'c ) Pickles_types.Vector.t, 'b )
          Pickles_types.Vector.t )
        Composition_types.Step.Proof_state.Messages_for_next_step_proof.t ->
      widths:'d ->
      max_width:'e ->
      proofs_verified_mask:
        ( Step_main_inputs.Impl.Field.t Snarky_backendless.Boolean.t, 'b )
          Pickles_types.Vector.t ->
      Step_main_inputs.Impl.Field.t )
      Core_kernel.Staged.t

val verify : 
  proofs_verified:(module Pickles_types.Nat.Add.Intf with type n = 'a) ->
  is_base_case:Step_main_inputs.Impl.Boolean.var ->
  sg_old:( Impls.Step.Field.t Tuple_lib.Double.t, 'a ) Pickles_types.Vector.t ->
  sponge_after_index:Step_main_inputs.Sponge.t ->
  lookup_parameters:
    ( Limb_vector.Challenge.Constant.t,
      Step_main_inputs.Impl.field Limb_vector.Challenge.t,
      'b Pickles_types.Hlist0.Id.t,
      Step_main_inputs.Impl.Field.t Pickles_types.Shifted_value.Type1.t
        Pickles_types.Hlist0.Id.t )
      Composition_types.Wrap.Lookup_parameters.t ->
  proof:Pickles__Wrap_proof.Checked.t ->
  wrap_domain:
    [ `Known of Pickles_base.Domain.t
    | `Side_loaded of
      Step_main_inputs.Impl.field
        Composition_types.Branch_data.Proofs_verified.One_hot.Checked.t ] ->
  wrap_verification_key:
    Step_main_inputs.Inner_curve.t Pickles_types.Plonk_verification_key_evals.t ->
  ( Step_main_inputs.Impl.field Limb_vector.Challenge.t,
    Step_main_inputs.Impl.field Limb_vector.Challenge.t
      Composition_types.Scalar_challenge.t,
    Step_main_inputs.Impl.Field.t Pickles_types.Shifted_value.Type1.t,
    ( ( Step_main_inputs.Impl.field Limb_vector.Challenge.t
          Composition_types.Scalar_challenge.t
          Pickles_types.Hlist0.Id.t,
        Step_main_inputs.Impl.Field.t Pickles_types.Shifted_value.Type1.t
          Pickles_types.Hlist0.Id.t )
        Composition_types.Wrap.Proof_state.Deferred_values.Plonk.In_circuit.Lookup.t,
      Step_main_inputs.Impl.field Snarky_backendless.Cvar.t
        Snarky_backendless.Snark_intf.Boolean0.t )
      Pickles_types.Plonk_types.Opt.t,
    Step_main_inputs.Impl.field Snarky_backendless.Cvar.t,
    Step_main_inputs.Impl.field Snarky_backendless.Cvar.t,
    Step_main_inputs.Impl.field Snarky_backendless.Cvar.t,
    ( Step_main_inputs.Impl.field Limb_vector.Challenge.t
        Kimchi_backend_common.Scalar_challenge.t
        Composition_types.Bulletproof_challenge.t,
      Pickles_types.Nat.z Backend.Tick.Rounds.plus_n )
      Pickles_types.Vector.t
      Pickles_types.Hlist0.Id.t,
    Step_main_inputs.Impl.field Composition_types.Branch_data.Checked.t )
    Composition_types.Wrap.Statement.In_circuit.t ->
  ( Step_main_inputs.Impl.Field.t,
    Step_main_inputs.Impl.Field.t Kimchi_backend_common.Scalar_challenge.t,
    Other_field.t Pickles_types.Shifted_value.Type2.t,
    'c,
    ( Step_main_inputs.Impl.Field.t Kimchi_backend_common.Scalar_challenge.t
        Composition_types.Bulletproof_challenge.t,
      'd )
      Pickles_types.Vector.t,
    Step_main_inputs.Impl.Field.t,
    'e )
    Composition_types.Step.Proof_state.Per_proof.In_circuit.t ->
  Step_main_inputs.Impl.Boolean.var