package tezos-protocol-013-PtJakart
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
number_of_messages
messages tagged withinbox_level
from the Inbox - the PVM advances to the state
compressed_state
overnumber_of_ticks
ticks
Commitments are disjoint. The next correct commitment is a function of the previous machine state and Inbox.
number_of_messages
and inbox_level
can be proven/disproven by Merkle proofs on the Inbox state.
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.
type t = {
compressed_state : State_hash.t;
inbox_level : Raw_level_repr.t;
predecessor : Commitment_hash.t;
number_of_messages : Number_of_messages.t;
number_of_ticks : Number_of_ticks.t;
}
val pp : Tezos_protocol_environment_013_PtJakart.Format.formatter -> t -> unit
val encoding : t Tezos_protocol_environment_013_PtJakart.Data_encoding.t
val hash : t -> Commitment_hash.t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>