package octez-protocol-alpha-libs

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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) Stdlib.result
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) Stdlib.result
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_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
OCaml

Innovation. Community. Security.