package tezos-protocol-alpha

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Sc_rollup_commitment_repr/index.html

Module Tezos_raw_protocol_alpha.Sc_rollup_commitment_reprSource

Sourcemodule Hash : sig ... end
Sourcemodule V1 : sig ... end

A commitment represents a claim about the state of the Inbox and PVM at some Inbox level.

Versioning, see Sc_rollup_data_version_sig.S for more information.

include Sc_rollup_data_version_sig.S with type t = V1.t
Sourcetype versioned
Sourceval of_versioned : versioned -> V1.t
Sourceval to_versioned : V1.t -> versioned
include module type of V1 with type t = V1.t
Sourcetype t = V1.t = {
  1. compressed_state : Sc_rollup_repr.State_hash.t;
  2. inbox_level : Raw_level_repr.t;
  3. predecessor : Hash.t;
  4. number_of_ticks : Sc_rollup_repr.Number_of_ticks.t;
}
Sourceval hash_uncarbonated : t -> Hash.t
Sourceval genesis_commitment : origination_level:Raw_level_repr.t -> genesis_state_hash:Sc_rollup_repr.State_hash.t -> t

genesis_commitment ~origination_level ~genesis_state_hash is the commitment that the protocol "publish" and "cement" when originating a new rollup. Each rollup have a different genesis_commitment because the compressed_state is computed after the boot sector is set. It has the following values:

where Sc_rollup_repr.Number_of_messages.min_value and Sc_rollup_repr.Number_of_ticks.min_value are equal to zero.

See Sc_rollup_storage.originate for the usage.

Sourcetype genesis_info = {
  1. level : Raw_level_repr.t;
  2. commitment_hash : Hash.t;
}

The genesis of a rollup is characterized by the Tezos level of the rollup origination, and the hash of the commitment computed by the protocol to specialize the PVM initial state with the provided boot sector.