Module `Sc_rollup.Inbox`Source

Sourcemodule Skip_list : Skip_list_repr.S

Sourcemodule Hash : Tezos_protocol_environment_alpha.S.HASH

Sourcetype level_proof = {

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

}

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

Sourcetype t = {

level : Raw_level.t;
old_levels_messages : history_proof;

}

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

Sourceval encoding : t Tezos_protocol_environment_alpha.Data_encoding.t

Sourceval equal : t -> t -> bool

Sourceval inbox_level : t -> Raw_level.t

Sourceval old_levels_messages : t -> history_proof

Sourceval equal_history_proof : history_proof -> history_proof -> bool

Source

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

Sourceval hash : t -> Hash.t

Sourceval current_witness : t -> Inbox_merkelized_payload_hashes.Hash.t

Source

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

Sourcetype serialized_proof

Source

val serialized_proof_encoding : 
  serialized_proof Tezos_protocol_environment_alpha.Data_encoding.t

Source

val add_all_messages : 
  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

Source

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

Sourceval take_snapshot : t -> history_proof

Sourcetype inclusion_proof

Source

val inclusion_proof_encoding : 
  inclusion_proof Tezos_protocol_environment_alpha.Data_encoding.t

Source

val pp_inclusion_proof : 
  Tezos_protocol_environment_alpha.Format.formatter ->
  inclusion_proof ->
  unit

Source

val verify_inclusion_proof : 
  inclusion_proof ->
  history_proof ->
  history_proof Tezos_protocol_environment_alpha.Error_monad.tzresult

Sourcetype proof

Source

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

Sourceval to_serialized_proof : proof -> serialized_proof

Sourceval of_serialized_proof : serialized_proof -> proof option

Source

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

Source

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

Source

val finalize_inbox_level_no_history : 
  t ->
  Inbox_merkelized_payload_hashes.t ->
  t Tezos_protocol_environment_alpha.Error_monad.tzresult

Sourceval init_witness_no_history : Inbox_merkelized_payload_hashes.t

Source

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
    Tezos_protocol_environment_alpha.Error_monad.tzresult

Source

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

Sourcemodule Internal_for_tests : sig ... end

Source

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

Source

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

Source

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

Source

val add_info_per_level : 
  predecessor:Tezos_protocol_environment_alpha.Block_hash.t ->
  context ->
  context Tezos_protocol_environment_alpha.Lwt.t

Source

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Alpha_context/Sc_rollup/Inbox/index.html

Module `Sc_rollup.Inbox`Source

package tezos-protocol-alpha

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Alpha_context/Sc_rollup/Inbox/index.html

Module Sc_rollup.InboxSource

Module `Sc_rollup.Inbox`Source