Module `Sc_rollup_helpers.Node_inbox`Source

Sourcetype 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

Source

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.tztrace) result

Source

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

Source

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

Source

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

Source

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

Source

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

Source

val produce_inclusion_proof : 
  t ->
  Tezos_raw_protocol_alpha__Alpha_context.Sc_rollup.Inbox.history_proof ->
  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.history_proof)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-protocol-alpha-libs.test-helpers/Tezos_alpha_test_helpers/Sc_rollup_helpers/Node_inbox/index.html

Module `Sc_rollup_helpers.Node_inbox`Source

package octez-protocol-alpha-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-protocol-alpha-libs.test-helpers/Tezos_alpha_test_helpers/Sc_rollup_helpers/Node_inbox/index.html

Module Sc_rollup_helpers.Node_inboxSource

Module `Sc_rollup_helpers.Node_inbox`Source