Side_loaded_verification_key (pickles_base.Pickles_base.Side_loaded_verification

module Poly : sig ... end

val wrap_index_to_input : 
  ( 'gs -> 'f array ) ->
  'gs Pickles_types.Plonk_verification_key_evals.t ->
  'f Random_oracle_input.Chunked.t

val index_to_field_elements : 
  'a Pickles_types.Plonk_verification_key_evals.t ->
  g:( 'a -> 'b Core_kernel.Array.t ) ->
  'b Core_kernel.Array.t

val to_input : 
  field_of_int:( int -> 'a ) ->
  ( 'a * 'a, Mina_wire_types.Pickles_base.Proofs_verified.V1.t, 'b ) Poly.t ->
  'a Random_oracle_input.Chunked.t

val max_log2_degree : int

val bits : len:int -> int -> bool list

module Repr : sig ... end

module Width : sig ... end

module Domains : sig ... end

module Max_branches : sig ... end

Max_branches is mostly an alias for Pickles_types.Nat.N8