package tezos-protocol-014-PtKathma
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
doc/tezos-protocol-014-PtKathma.raw/Tezos_raw_protocol_014_PtKathma/Sc_rollup_repr/index.html
Module Tezos_raw_protocol_014_PtKathma.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.
in_memory_size sc_rollup returns the number of bytes sc_rollup uses in RAM.
Source
module Staker :
Tezos_protocol_environment_014_PtKathma.S.SIGNATURE_PUBLIC_KEY_HASH
with type t =
Tezos_protocol_environment_014_PtKathma.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.