package tezos-protocol-013-PtJakart

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

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.
Sourcemodule Address : sig ... end

A smart-contract rollup has an address starting with "scr1".

Sourcemodule Internal_for_tests : sig ... end

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.

Sourcemodule Commitment : sig ... end

A commitment represents a claim about the state of the Inbox and PVM at some Inbox level.

A smart contract rollup is identified by its address.

A Staker is an implicit account, identified by its public key hash.

The data model uses an index of these addresses.

Sourcemodule Kind : sig ... end

A smart contract rollup has a kind, which assigns meaning to rollup operations.