package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

Dune Dependency

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

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-16.0.tar.gz

sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55

sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b

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

Module `Sc_rollup_commitment_repr.V1`Source

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

More formally, a commitment is a claim that:

assuming the PVM and Inbox are in a state implied by predecessor
the PVM consumes all the messages until inbox_level (not included) from the inbox ;
the PVM advances to the state compressed_state over number_of_ticks ticks.

Commitments are disjoint. The next correct commitment is a function of the previous machine state and Inbox.

compressed_state and number_of_ticks can be proven/disproven by PVM execution, or equivalently, by an interactive proof game between conflicting parties, such that a correct executor always wins the game.

Sourcetype t = {

compressed_state : Sc_rollup_repr.State_hash.t;
inbox_level : Raw_level_repr.t;
predecessor : Hash.t;
number_of_ticks : Sc_rollup_repr.Number_of_ticks.t;

}

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

Sourceval encoding : t Tezos_protocol_environment_alpha.Data_encoding.t

Sourceval hash_uncarbonated : t -> Hash.t

Source

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

compressed_state = genesis_state_hash
inbox_level = origination_level
predecessor = Hash.zero
number_of_messages = Sc_rollup_repr.Number_of_messages.min_value
number_of_ticks = Sc_rollup_repr.Number_of_ticks.min_value

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 = {

level : Raw_level_repr.t;
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.