package tezos-protocol-013-PtJakart
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-16.0.tar.gz
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
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.