Inbox_merkelized_payload_hashes (tezos-protocol-018-Proxford.Tezos_raw_protocol_018_Proxford.Alpha_context.Sc_rollup.Inbox_merkelized_payload

module Hash : 
  Tezos_protocol_environment_018_Proxford.S.HASH
    with type t =
           Tezos_protocol_environment_018_Proxford.Smart_rollup.Merkelized_payload_hashes_hash.t

type t

val encoding : t Tezos_protocol_environment_018_Proxford.Data_encoding.t

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

val equal : t -> t -> bool

val hash : t -> Hash.t

val get_payload_hash : t -> Inbox_message.Hash.t

val get_index : t -> Tezos_protocol_environment_018_Proxford.Z.t

type merkelized_and_payload = {

merkelized : t;
payload : Inbox_message.serialized;

}

module History : sig ... end

val genesis_no_history : Inbox_message.serialized -> t

val genesis : 
  History.t ->
  Inbox_message.serialized ->
  (History.t * t) Tezos_protocol_environment_018_Proxford.Error_monad.tzresult

val add_payload : 
  History.t ->
  t ->
  Inbox_message.serialized ->
  (History.t * t) Tezos_protocol_environment_018_Proxford.Error_monad.tzresult

type proof = private t list

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

val proof_encoding : 
  proof Tezos_protocol_environment_018_Proxford.Data_encoding.t

val produce_proof : 
  History.t ->
  index:Tezos_protocol_environment_018_Proxford.Z.t ->
  t ->
  (merkelized_and_payload * proof) option

val verify_proof : 
  proof ->
  (t * t) Tezos_protocol_environment_018_Proxford.Error_monad.tzresult

module Internal_for_tests : sig ... end