package tezos-protocol-015-PtLimaPt

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-17.3.tar.gz

sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680

sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

doc/tezos-protocol-015-PtLimaPt.raw/Tezos_raw_protocol_015_PtLimaPt/Sc_rollup_commitment_repr/index.html

Module `Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_commitment_repr`Source

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

Source

val versioned_encoding : 
  versioned Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t

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

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_015_PtLimaPt.Format.formatter -> t -> unit

Sourceval encoding : t Tezos_protocol_environment_015_PtLimaPt.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.

Source

val genesis_info_encoding : 
  genesis_info Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t

package tezos-protocol-015-PtLimaPt

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-015-PtLimaPt.raw/Tezos_raw_protocol_015_PtLimaPt/Sc_rollup_commitment_repr/index.html

Module Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_commitment_reprSource

Module `Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_commitment_repr`Source