Checked (mina_base.Mina_base.Zkapp

type t =
  ( Pickles.Impls.Step.Field.t Zkapp_state.V.t,
    ( Snark_params.Tick.Boolean.var,
      ( Side_loaded_verification_key.t option, Snark_params.Tick.Field.t )
        With_hash.t
        Data_as_hash.t )
      Zkapp_basic.Flagged_option.t,
    Mina_numbers.Zkapp_version.Checked.t,
    Pickles.Impls.Step.Field.t,
    Mina_numbers.Global_slot.Checked.t,
    Snark_params.Tick.Boolean.var,
    string Data_as_hash.t )
    Poly.t

val to_input' : 
  ( ( Snark_params.Tick.Field.Var.t, 'a ) Pickles_types.Vector.t,
    Snark_params.Tick.Field.Var.t,
    Mina_numbers.Zkapp_version.Checked.t,
    Snark_params.Tick.Field.Var.t,
    Mina_numbers.Global_slot.Checked.t,
    Snark_params.Tick.Boolean.var,
    Snark_params.Tick.Field.Var.t )
    Poly.t ->
  Snark_params.Tick.Field.Var.t Random_oracle.Input.Chunked.t

val to_input : t -> Snark_params.Tick.Field.Var.t Random_oracle.Input.Chunked.t

val digest_vk : 
  Pickles.Side_loaded.Verification_key.Checked.t ->
  Random_oracle.Checked.Digest.t

val digest : t -> Random_oracle.Checked.Digest.t

val digest' : 
  ( ( Snark_params.Tick.Field.Var.t, 'a ) Pickles_types.Vector.t,
    Snark_params.Tick.Field.Var.t,
    Mina_numbers.Zkapp_version.Checked.t,
    Snark_params.Tick.Field.Var.t,
    Mina_numbers.Global_slot.Checked.t,
    Snark_params.Tick.Boolean.var,
    Snark_params.Tick.Field.Var.t )
    Poly.t ->
  Random_oracle.Checked.Digest.t