package tezos-protocol-013-PtJakart
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
doc/tezos-protocol-013-PtJakart.raw/Tezos_raw_protocol_013_PtJakart/Sc_rollup_repr/index.html
Module Tezos_raw_protocol_013_PtJakart.Sc_rollup_reprSource
The basic components of an optimistic rollup for smart-contracts.
An optimistic rollup for smart-contracts is made of two main components:
- a proof generating virtual machine (PVM), which provides the essential semantics for the rollup operations to be validated by the layer 1 in case of dispute about a commitment ;
- a database which maintains the cemented operations of the rollup as well as the potentially-disputed operations.
Number of messages consumed by a single commitment. This represents a claim about the shape of the Inbox, which can be disputed as part of a commitment dispute.
Number of ticks computed by a single commitment. This represents a claim about the state of the PVM, which can be disputed as part of a commitment dispute.
A commitment represents a claim about the state of the Inbox and PVM at some Inbox level.
Source
module Staker :
Tezos_protocol_environment_013_PtJakart.S.SIGNATURE_PUBLIC_KEY_HASH
with type t =
Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.tA Staker is an implicit account, identified by its public key hash.
The data model uses an index of these addresses.