octez-protocol-alpha-libs 20.1

type t = {

inbox : Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Inbox.t;
history : Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Inbox.History.t;
payloads_histories : payloads_histories;

}

val new_inbox : 
  ?genesis_predecessor_timestamp:Tezos_base.TzPervasives.Time.Protocol.t ->
  ?genesis_predecessor:Tezos_base.TzPervasives.Block_hash.t ->
  ?inbox_creation_level:
    Tezos_protocol_alpha.Protocol.Alpha_context.Raw_level.raw_level ->
  unit ->
  (t, 'a) result

val fill_inbox : 
  inbox_creation_level:
    Tezos_protocol_alpha.Protocol.Alpha_context.Raw_level.raw_level ->
  t ->
  payloads_per_level list ->
  t Tezos_base.TzPervasives.tzresult

val construct_inbox : 
  ?inbox_creation_level:
    Tezos_protocol_alpha.Protocol.Alpha_context.Raw_level.raw_level ->
  ?genesis_predecessor_timestamp:Tezos_base.TzPervasives.Time.Protocol.t ->
  ?genesis_predecessor:Tezos_base.TzPervasives.Block_hash.t ->
  payloads_per_level list ->
  (t, Tezos_base.TzPervasives.tztrace) result

val get_history : 
  Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Inbox.History.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Inbox.History.key ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Inbox.History.value
    option
    Lwt.t

val produce_proof : 
  t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Inbox.history_proof ->
  (Tezos_raw_protocol_alpha__Alpha_context.Raw_level.t
   * Tezos_protocol_environment_alpha.Z.t) ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Inbox.proof
   * Tezos_raw_protocol_alpha__Alpha_context.Sc_rollup.inbox_message option)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val produce_and_expose_proof : 
  t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Inbox.history_proof ->
  (Tezos_raw_protocol_alpha__Alpha_context.Raw_level.t
   * Tezos_protocol_environment_alpha.Z.t) ->
  ((Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Inbox.Internal_for_tests.inclusion_proof
    * Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Inbox.Internal_for_tests.payloads_proof)
   * Tezos_raw_protocol_alpha__Alpha_context.Sc_rollup.inbox_message option,
    Tezos_base.TzPervasives.tztrace)
    result
    Lwt.t

val produce_payloads_proof : 
  t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Inbox_merkelized_payload_hashes.Hash.t ->
  Tezos_protocol_environment_alpha.Z.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Inbox.Internal_for_tests.payloads_proof
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val produce_inclusion_proof : 
  t ->
  (Tezos_raw_protocol_alpha__Alpha_context.Sc_rollup.Inbox.level_proof,
    Tezos_protocol_environment_alpha.Smart_rollup.Inbox_hash.t)
    Tezos_raw_protocol_alpha__Alpha_context.Sc_rollup.Inbox.Skip_list.cell ->
  Tezos_raw_protocol_alpha__Alpha_context.Raw_level.t ->
  (Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Inbox.Internal_for_tests.inclusion_proof
   * (Tezos_raw_protocol_alpha__Alpha_context.Sc_rollup.Inbox.level_proof,
       Tezos_protocol_environment_alpha.Smart_rollup.Inbox_hash.t)
       Tezos_raw_protocol_alpha__Alpha_context.Sc_rollup.Inbox.Skip_list.cell)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

package octez-protocol-alpha-libs