Inbox (tezos-protocol-alpha.Tezos_raw_protocol_alpha.Alpha_context.Sc

module Skip_list : Tezos_protocol_environment_alpha.Skip_list.S

module Hash : 
  Tezos_protocol_environment_alpha.S.HASH
    with type t = Tezos_protocol_environment_alpha.Smart_rollup.Inbox_hash.t

type level_proof = {

hash : Inbox_merkelized_payload_hashes.Hash.t;
level : Raw_level.t;

}

type history_proof = (level_proof, Hash.t) Skip_list.cell

type t = {

level : Raw_level.t;
old_levels_messages : history_proof;

}

val pp : Tezos_protocol_environment_alpha.Format.formatter -> t -> unit

val encoding : t Tezos_protocol_environment_alpha.Data_encoding.t

val equal : t -> t -> bool

val inbox_level : t -> Raw_level.t

val old_levels_messages : t -> history_proof

val history_proof_encoding : 
  history_proof Tezos_protocol_environment_alpha.Data_encoding.t

val equal_history_proof : history_proof -> history_proof -> bool

val pp_history_proof : 
  Tezos_protocol_environment_alpha.Format.formatter ->
  history_proof ->
  unit

val hash : t -> Hash.t

val current_witness : t -> Inbox_merkelized_payload_hashes.Hash.t

module History : 
  Bounded_history_repr.S with type key = Hash.t and type value = history_proof

type serialized_proof

val serialized_proof_encoding : 
  serialized_proof Tezos_protocol_environment_alpha.Data_encoding.t

val add_all_messages : 
  first_block:bool ->
  dal_attested_slots_messages:Inbox_message.internal_inbox_message list ->
  predecessor_timestamp:Tezos_protocol_environment_alpha.Time.t ->
  predecessor:Tezos_protocol_environment_alpha.Block_hash.t ->
  History.t ->
  t ->
  Inbox_message.t list ->
  (Inbox_merkelized_payload_hashes.History.t
   * History.t
   * t
   * Inbox_merkelized_payload_hashes.t
   * Inbox_message.t list)
    Tezos_protocol_environment_alpha.Error_monad.tzresult

val add_messages_no_history : 
  Inbox_message.serialized list ->
  Inbox_merkelized_payload_hashes.t ->
  Inbox_merkelized_payload_hashes.t
    Tezos_protocol_environment_alpha.Error_monad.tzresult

val take_snapshot : t -> history_proof

type proof

val pp_proof : 
  Tezos_protocol_environment_alpha.Format.formatter ->
  proof ->
  unit

val to_serialized_proof : proof -> serialized_proof

val of_serialized_proof : serialized_proof -> proof option

val verify_proof : 
  (Raw_level.t * Tezos_protocol_environment_alpha.Z.t) ->
  history_proof ->
  proof ->
  inbox_message option Tezos_protocol_environment_alpha.Error_monad.tzresult

val produce_proof : 
  get_payloads_history:
    (Inbox_merkelized_payload_hashes.Hash.t ->
      Inbox_merkelized_payload_hashes.History.t
        Tezos_protocol_environment_alpha.Lwt.t) ->
  get_history:
    (Hash.t -> history_proof option Tezos_protocol_environment_alpha.Lwt.t) ->
  history_proof ->
  (Raw_level.t * Tezos_protocol_environment_alpha.Z.t) ->
  (proof * inbox_message option)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val finalize_inbox_level_no_history : 
  t ->
  Inbox_merkelized_payload_hashes.t ->
  t

val init_witness_no_history : Inbox_merkelized_payload_hashes.t

val add_info_per_level_no_history : 
  predecessor_timestamp:Tezos_protocol_environment_alpha.Time.t ->
  predecessor:Tezos_protocol_environment_alpha.Block_hash.t ->
  Inbox_merkelized_payload_hashes.t ->
  Inbox_merkelized_payload_hashes.t

val genesis : 
  predecessor_timestamp:Tezos_protocol_environment_alpha.Time.t ->
  predecessor:Tezos_protocol_environment_alpha.Block_hash.t ->
  Raw_level.t ->
  t

module Internal_for_tests : sig ... end

val add_external_messages : 
  context ->
  string list ->
  context Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val add_internal_message : 
  context ->
  Inbox_message.internal_inbox_message ->
  context Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val add_deposit : 
  context ->
  payload:Script.expr ->
  sender:Contract_hash.t ->
  source:public_key_hash ->
  destination:rollup ->
  context Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val finalize_inbox_level : 
  context ->
  context Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val add_level_info : 
  predecessor:Tezos_protocol_environment_alpha.Block_hash.t ->
  context ->
  context Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val get_inbox : 
  context ->
  (t * context) Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t