Proof_state (pickles.Composition_types.Step.Proof

module Deferred_values : sig ... end

module Messages_for_next_wrap_proof =
  Wrap.Proof_state.Messages_for_next_wrap_proof

module Messages_for_next_step_proof = Wrap.Messages_for_next_step_proof

module Per_proof : sig ... end

type ('unfinalized_proofs, 'messages_for_next_step_proof) t = {

`unfinalized_proofs : 'unfinalized_proofs;`	(* A vector of the "per-proof" structures defined above, one for each proof that the step-circuit partially verifies. *)
`messages_for_next_step_proof : 'messages_for_next_step_proof;`	(* The component of the proof accumulation state that is only computed on by the "stepping" proof system, and that can be handled opaquely by any "wrap" circuits. *)

}

val to_yojson : 
  ( 'unfinalized_proofs -> Yojson.Safe.t ) ->
  ( 'messages_for_next_step_proof -> Yojson.Safe.t ) ->
  ( 'unfinalized_proofs, 'messages_for_next_step_proof ) t ->
  Yojson.Safe.t

val of_yojson : 
  ( Yojson.Safe.t -> 'unfinalized_proofs Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t ->
    'messages_for_next_step_proof Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'unfinalized_proofs, 'messages_for_next_step_proof ) t
    Ppx_deriving_yojson_runtime.error_or

include Ppx_sexp_conv_lib.Sexpable.S2
  with type ('unfinalized_proofs, 'messages_for_next_step_proof) t :=
         ( 'unfinalized_proofs, 'messages_for_next_step_proof ) t

val t_of_sexp : 
  ( Sexplib0__.Sexp.t -> 'a ) ->
  ( Sexplib0__.Sexp.t -> 'b ) ->
  Sexplib0__.Sexp.t ->
  ( 'a, 'b ) t

val sexp_of_t : 
  ( 'a -> Sexplib0__.Sexp.t ) ->
  ( 'b -> Sexplib0__.Sexp.t ) ->
  ( 'a, 'b ) t ->
  Sexplib0__.Sexp.t

val compare : 
  ( 'unfinalized_proofs -> 'unfinalized_proofs -> int ) ->
  ( 'messages_for_next_step_proof -> 'messages_for_next_step_proof -> int ) ->
  ( 'unfinalized_proofs, 'messages_for_next_step_proof ) t ->
  ( 'unfinalized_proofs, 'messages_for_next_step_proof ) t ->
  int

val to_hlist : 
  ( 'unfinalized_proofs, 'messages_for_next_step_proof ) t ->
  ( unit, 'unfinalized_proofs -> 'messages_for_next_step_proof -> unit )
    H_list.t

val of_hlist : 
  ( unit, 'unfinalized_proofs -> 'messages_for_next_step_proof -> unit )
    H_list.t ->
  ( 'unfinalized_proofs, 'messages_for_next_step_proof ) t

val spec : 
  ( 'a, 'b, 'c ) Spec.T.t ->
  ( 'd, 'e, 'c ) Spec.T.t ->
  ( ('a * ('d * unit)) Pickles_types.Hlist.HlistId.t,
    ('b * ('e * unit)) Pickles_types.Hlist.HlistId.t,
    'c )
    Spec.T.t

val to_data : 
  ( ( ( 'a, 'b, 'c, 'd, 'e Pickles_types.Hlist0.Id.t, 'f, 'g )
        Per_proof.In_circuit.t,
      'h )
      Pickles_types.Vector.t,
    'i Pickles_types.Hlist0.Id.t )
    t ->
  (( option_map:
       ( 'd ->
         f:
           ( ( 'j Pickles_types.Hlist0.Id.t, 'k Pickles_types.Hlist0.Id.t )
               Deferred_values.Plonk.In_circuit.Lookup.t ->
             ('j * ('k * unit)) Pickles_types.Hlist.HlistId.t ) ->
         'l Pickles_types.Hlist0.Id.t ) ->
     (( 'c, Pickles_types.Nat.N9.n ) Pickles_types.Vector.t
      * (( 'f, Pickles_types.Nat.N1.n ) Pickles_types.Vector.t
         * (( 'a, Pickles_types.Nat.N2.n ) Pickles_types.Vector.t
            * (( 'b, Pickles_types.Nat.N3.n ) Pickles_types.Vector.t
               * ('e
                  * (( 'g, Pickles_types.Nat.N1.n ) Pickles_types.Vector.t
                     * ('l * unit)))))))
       Pickles_types.Hlist.HlistId.t,
     'h )
     Pickles_types.Vector.t
   * ('i * unit))
    Pickles_types.Hlist.HlistId.t

val of_data : 
  (( (( 'a, Pickles_types.Nat.N9.n ) Pickles_types.Vector.t
      * (( 'b, Pickles_types.Nat.N1.n ) Pickles_types.Vector.t
         * (( 'c, Pickles_types.Nat.N2.n ) Pickles_types.Vector.t
            * (( 'd, Pickles_types.Nat.N3.n ) Pickles_types.Vector.t
               * ('e
                  * (( 'f, Pickles_types.Nat.N1.n ) Pickles_types.Vector.t
                     * ('g * unit)))))))
       Pickles_types.Hlist.HlistId.t,
     'h )
     Pickles_types.Vector.t
   * ('i * unit))
    Pickles_types.Hlist.HlistId.t ->
  ( ( option_map:
        ( 'g Pickles_types.Hlist0.Id.t ->
          f:
            ( ('j * ('k * unit)) Pickles_types.Hlist.HlistId.t ->
              ( 'j Pickles_types.Hlist0.Id.t, 'k Pickles_types.Hlist0.Id.t )
                Deferred_values.Plonk.In_circuit.Lookup.t ) ->
          'l ) ->
      ( 'c, 'd, 'a, 'l, 'e Pickles_types.Hlist0.Id.t, 'b, 'f )
        Per_proof.In_circuit.t,
      'h )
      Pickles_types.Vector.t,
    'i Pickles_types.Hlist0.Id.t )
    t

val typ : 
  'f Spec.impl ->
  ( Limb_vector.Challenge.Constant.t,
    'f Limb_vector.Challenge.t,
    'a Pickles_types.Hlist0.Id.t,
    'b Pickles_types.Hlist0.Id.t )
    Zero_values.t ->
  assert_16_bits:( 'f Snarky_backendless.Cvar.t -> unit ) ->
  ( Pickles_types.Plonk_types.Opt.Flag.t, 'n ) Pickles_types.Vector.t ->
  ( 'b,
    'a,
    'f,
    ( unit, 'f ) Snarky_backendless.Checked_runner.Simple.Types.Checked.t )
    snarky_typ ->
  ( ( ( ( 'f Limb_vector.Challenge.t,
          'f Limb_vector.Challenge.t Scalar_challenge.t,
          'b,
          ( ( 'f Limb_vector.Challenge.t Scalar_challenge.t
                Pickles_types.Hlist0.Id.t,
              'b Pickles_types.Hlist0.Id.t )
              Deferred_values.Plonk.In_circuit.Lookup.t,
            'f Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t )
            Opt.t,
          ( 'f Limb_vector.Challenge.t Scalar_challenge.t
              Bulletproof_challenge.t,
            Backend.Tock.Rounds.n )
            Pickles_types.Vector.t
            Pickles_types.Hlist0.Id.t,
          'f Snarky_backendless.Cvar.t,
          'f Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t )
          Per_proof.In_circuit.t,
        'n )
        Pickles_types.Vector.t,
      'f Snarky_backendless.Cvar.t )
      t,
    ( ( ( Limb_vector.Challenge.Constant.t,
          Limb_vector.Challenge.Constant.t Scalar_challenge.t,
          'a,
          ( Limb_vector.Challenge.Constant.t Scalar_challenge.t
              Pickles_types.Hlist0.Id.t,
            'a Pickles_types.Hlist0.Id.t )
            Deferred_values.Plonk.In_circuit.Lookup.t
            option,
          ( Limb_vector.Challenge.Constant.t Scalar_challenge.t
              Bulletproof_challenge.t,
            Backend.Tock.Rounds.n )
            Pickles_types.Vector.t
            Pickles_types.Hlist0.Id.t,
          ( Limb_vector.Constant.Hex64.t, Digest.Limbs.n )
            Pickles_types.Vector.t,
          bool )
          Per_proof.In_circuit.t,
        'n )
        Pickles_types.Vector.t,
      ( Limb_vector.Constant.Hex64.t, Digest.Limbs.n ) Pickles_types.Vector.t )
      t,
    'f )
    Snarky_backendless.Typ.t